Specification and Design of Software Systems Conference on Operating Systems Visegrad, Hungary, January 23–27, 1982 Proceedings / [electronic resource] : edited by Elöd Knuth, Erich J. Neuhold. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1983. - VIII, 168 p. online resource. - Lecture Notes in Computer Science, 152 0302-9743 ; . - Lecture Notes in Computer Science, 152 .

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.

9783540396055

10.1007/BFb0051556 doi


Computer science.
Software engineering.
Computer Science.
Software Engineering.

QA76.758

005.1
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha