Specification and design of software systems : Conference on Operating Systems, Visegrad, Hungary, January 23-27, 1982 : proceedings
著者
書誌事項
Specification and design of software systems : Conference on Operating Systems, Visegrad, Hungary, January 23-27, 1982 : proceedings
（Lecture notes in computer science, 152）
Springer-Verlag, 1983
- : gw
- : us
大学図書館所蔵 全46件
内容説明・目次
目次
System cars and its description language.- Software structuring: A pragmatic approach.- Development methodologies for event and message based application systems.- Software development in LDM.- Distributed computer systems: Two views.- Sziam: A data model design aid.- Espreso - A system for process control software specification.- Program design - A practical approach.- On implementation problems of shared abstract data types.
「Nielsen BookData」 より