TY  - JOUR
T1  - A micromodularity mechanism.
JF  - Software engineering notes.
A1  - Jackson, Daniel
LA  - English
UL  - https://tuklas.up.edu.ph/Record/UP-99796217608835888
AB  - A simple mechanism for structuring specifications is described. By modelling structures as atoms, it remains entirely first-order and thus amenable to automatic analysis. And by interpreting fields of structures as relations, it allows the same relational operators used in the formula language to be used for dereferencing. An extension feature allows structures to be developed incrementally, but requires no textual inclusion nor any notion of subtyping. The paper demonstrates the flexibility of the mechanism by application in a variety of common idioms.
KW  - Software.
KW  - Software engineering.
KW  - Requirements / Specifications.
KW  - Languages.
KW  - Z.
KW  - Theory of computation.
KW  - Mathematical logic and formal languages.
KW  - Mathematical logic.
KW  - Design.
KW  - Documentation.
KW  - Verification.
KW  - Alloy language.
KW  - Z Specification language.
KW  - First order logic.
KW  - Formal specification.
KW  - Modeling languages.
KW  - Relational calculus.
KW  - Schema calculus.
ER  -