Algebraic specification of modules and their basic interconnections
From MaRDI portal
Publication:1089795
DOI10.1016/0022-0000(87)90028-6zbMath0619.68027MaRDI QIDQ1089795
Publication date: 1987
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-0000(87)90028-6
Ada packages; airport-schedule system; modules in software engineering; parameterized specifications for abstract data types
68P05: Data structures
Related Items
On the correctness of modular systems, Foundations of rule-based design of modular systems, The verification of modules, Another look at parameterization for oder-sorted algebraic specifications, Functorial theory of parameterized specifications in a general specification framework, Formal software specification with refinements and modules of typed graph transformation systems