Specification and Design of Software Systems: Conference on Operating Systems. Visegrad, Hungary, January 23-27, 1982; Proceedings (Lecture Notes in Computer Science, 152) | EKB DL

EKB DL

Home BookSpecification and Design of Software Systems: Conference on Operating Systems. Visegrad, Hungary, January 23-27, 1982; Proceedings (Lecture Notes in Computer Science, 152)

Specification and Design of Software Systems: Conference on Operating Systems. Visegrad, Hungary, January 23-27, 1982; Proceedings (Lecture Notes in Computer Science, 152)

Description

System cars and its description language.- Software A pragmatic approach.- Development methodologies for event and message based application systems.- Software development in LDM.- Distributed computer Two views.- 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.

Keywords

OPERATING SYSTEMS (COMPUTERS)COMPUTER SOFTWARESYSTEM DESIGN

1983Book

Author(s)Conference on Operating Systems (1982 Visegrad, Hungary)

PublisherSpringer

ISBN9783540122845

LanguageEnglish

SpringerLink Book

Similar Books

Book

Program Specification Proceedings of a Workshop Aarhus, Denmark, August 1981

Book

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 Volume 2: Colloquium on Software Engineering (CSE)

Book

Distributed Systems: Methods and Tools for Specification. An Advanced Course (Lecture Notes in Computer Science, 190)

Book

System Development and Ada CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings

Book

Information Systems Methodology: Proceedings, 2nd Conference of the European Cooperation in Informatics, Venice, October 10-12, 1978 (Lecture Notes in Computer Science, 65)

Book

Concurrency 88 International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings

Book

Abstract Software Specifications 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings

Book

MFDBS 89 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrad, Hungary, June 26-30, 1989. Proceedings

Book

ESOP '88 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings

Book

The Use of Formal Specification of Software June 25–27, 1979, Berlin