Streamlining Python Development: A Guide to a Modern Project Setup
Lepus
1.
2. LEPUS3
LePUS3 - LanguagE for Patterns Uniform SpecificationLePUS
Object-oriented Design Description Languages, meaning that they are
formal specification and modelling languages for object-oriented design
which were tailored to allow tool support in software
modelling, specification, verification, and visualization.
Amnon H Eden,
Epameinondas Gasparis,
Jonathan Nicholson
12. OBJECT ORIENTED MODELING LANGUAGES
notations that represent the building-blocks in the design of object-oriented
programs.
a formal language that are unpacked in a subset of the (first-order)
predicate logic
Codecharts and schemas are automatically verifiable
Communication among development team
Communication between team and end-user
13. FORMAL SPECIFICATION LANGUAGES
mathematical languages (such as Z, B, and CSP) used to articulate
properties of software systems in a language that lends itself to
reasoning and verification.
LePUS3 is a visual language and charts therein are decidable formulas.
specifications in LePUS3 are automatically verifiable
14. BUILDING-BLOCKS
Individual classes ("classes of dimension 0") and methods ("methods of
dimension 0")
Properties of individual classes and methods ("unary relations") and relations
amongst them ("binary relations")
Sets of classes ("classes of dimension 1") and methods ("methods of
dimension 1"), in particular dynamically-bound methods
Correlations between sets of classes and methods ("predicates")