LePUS3 is an object-oriented, visual Design Description Language, namely a software modelling language and a formal specification language that is suitable primarily for modelling large object-oriented programs and design motifs such as design patterns . It is defined as an axiomatized subset of First-order predicate logic. LePUS is an abbreviation for Language for Pattern Uniform Specification.
| Property | Value |
| dbpprop:abstract
|
- LePUS3 is an object-oriented, visual Design Description Language, namely a software modelling language and a formal specification language that is suitable primarily for modelling large object-oriented programs and design motifs such as design patterns . It is defined as an axiomatized subset of First-order predicate logic. LePUS is an abbreviation for Language for Pattern Uniform Specification.
|
| dbpprop:reference
| |
| rdfs:comment
|
- LePUS3 is an object-oriented, visual Design Description Language, namely a software modelling language and a formal specification language that is suitable primarily for modelling large object-oriented programs and design motifs such as design patterns . It is defined as an axiomatized subset of First-order predicate logic. LePUS is an abbreviation for Language for Pattern Uniform Specification.
|
| rdfs:label
| |
| owl:sameAs
| |
| skos:subject
| |
| foaf:page
| |