Front cover image for Algebraic methods II : theory, tools and applications

Algebraic methods II : theory, tools and applications

The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software Development, held in Mierlo, The Netherlands, September 1989.
Print Book, English, ©1991
Springer, Berlin, ©1991
VI, 434 Seiten : Illustrationen ; 25 cm
9783540539124, 9780387539126, 3540539123, 0387539123
611697215
Formalizing informal requirements some aspects.- ViewPoint oriented software development: Methods and viewpoints in requirements engineering.- Using transformations to verify parallel programs.- Experiences with combining formalisms in VVSL.- A meta-environment for generating programming environments.- Introducing formal requirements into industry.- Where can I get gas round here? — an application of a design methodology for distributed systems.- Transformations of designs.- Norman's database modularised in COLD-K.- POLAR a picture-oriented language for abstract representations.- Inheritance in COLD.- A process specification formalism based on static COLD.- Specification of the transit node in PSFd.- Design of a specification language by abstract syntax engineering.- From an ERAE requirements specification to a PLUSS algebraic specification: A case study.
"This volume originates from a workshop ... in Mierlo, The Netherlands, September 1989."
Vollständige Namen der Herausgeber: Jan A. Bergstra, Loe M.G. Feijs
Volltext Abstract / Index
Volltext Online via SFX