Algebraic specification of modules and their basic interconnections
From MaRDI portal
Publication:1089795
DOI10.1016/0022-0000(87)90028-6zbMath0619.68027OpenAlexW1967975156MaRDI 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 packagesairport-schedule systemmodules in software engineeringparameterized specifications for abstract data types
Related Items (11)
The verification of modules ⋮ Another look at parameterization for oder-sorted algebraic specifications ⋮ Union and actualization of module specifications: Some compatibility results ⋮ Functorial theory of parameterized specifications in a general specification framework ⋮ Compatibility problems in the development of algebraic module specifications ⋮ Algebraic data integration ⋮ A decade of TAPSOFT ⋮ Combining data type and recursive process specifications using projection algebras ⋮ Foundations of rule-based design of modular systems ⋮ On the correctness of modular systems ⋮ Formal software specification with refinements and modules of typed graph transformation systems
Cites Work
- Compatibility of parameter passing and implementation of parameterized data types
- Implementation of data types by algebraic methods
- A Larch shared language handbook
- Union and actualization of module specifications: Some compatibility results
- The programming language Ada. Reference manual. Proposed standard document, United States Department of Defense
- Algebraic implementation of abstract data types
- Extended directed graphs, a formalism for structured data and data structures
- Specification of modular systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Algebraic specification of modules and their basic interconnections
