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