Trends in information processing systems : 3rd Conference of the European Cooperation in Informatics, Munich, October 20-22, 1981 : proceedings

Architecture for office automation....Pages 1-15 Software engineering: Experience and convictions....Pages 16-35 Rads — Rapid appligation development system....Pages 36-49 Separate and integral compilation of subsystems....Pages 50-64 S/E/TEC — An environment for the production of reliable software....Pages 65-84 Construction of application systems: Some aspects of standardization....Pages 85-102 Specification as a design base....Pages 103-105 Prospects of new tools for software development....Pages 106-121 Ada and the German pay phone: An illustrative example of parallel processing....Pages 122-134 Modules program structures and the structuring of operating systems....Pages 135-153 SEVAL, a high-level validation language....Pages 154-172 Problems in compiling Ada....Pages 173-199 The future of applicative programming....Pages 200-200 Structuring concepts for distributed systems: The communication aspect....Pages 201-204 A communication service applied in a distributed data base system....Pages 205-222 Phlox 2: A distributed system providing a server database management system....Pages 223-223 Transaction management in a distributed database management system....Pages 224-224 Access control and management in multilevel database models....Pages 225-235 The grid file: An adaptable, symmetric multi-key file structure....Pages 236-251 Serializability problems of interleaved database transactions....Pages 252-265 Performance evaluation of two concurrency control mechanisms in a distributed database system....Pages 266-279 A multiprocessor architecture using a circulating memory....Pages 280-291 The realization of a data type architecture....Pages 292-305 Conservation laws in operational analysis....Pages 306-320 TOCS: a SIMULA-based simulator for the analysis of mainframe-oriented distributed systems....Pages 321-333 The future of applicative programming....Pages 334-348