Content deleted Content added
m clean up, replaced: andI → and I |
Added the modeling language Lifecycle Modeling Language https://en.wikipedia.org/wiki/Lifecycle_Modeling_Language |
||
Line 28:
* [[Jackson Structured Programming]] (JSP) is a method for structured programming based on correspondences between data stream structure and program structure.
* [[Lepus3|LePUS3]] is an [[object-oriented]] visual Design Description Language and a [[formal specification]] language that is suitable primarily for modeling large object-oriented ([[Java (programming language)|Java]], [[C++]], [[C Sharp (programming language)|C#]]) programs and [[design patterns]].
* [[Lifecycle Modeling Language]] is an open-standard language for [[systems engineering]] that supports the full [[system lifecycle]]: conceptual, utilization, support and retirement stages.
* [[Object-Role Modeling]] (ORM) in the field of software engineering is a method for conceptual modeling, and can be used as a tool for information and rules analysis.
* [[Petri net]]s use variations on exactly one diagramming technique and topology, namely the [[bipartite graph]]. The simplicity of its basic user interface easily enabled extensive tool support over the years, particularly in the areas of model checking, graphically oriented simulation, and software verification.
| |||