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

edited by E. Knuth and E.J. Neuhold

(Lecture notes in computer science, 152)

Springer-Verlag, 1983

  • : gw
  • : us

大学図書館所蔵 件 / 48

この図書・雑誌をさがす

内容説明・目次

目次

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」 より

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ