Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985

On the relevance of formal methods to software development....Pages 1-11
Combining algebraic and predicative specifications in Larch....Pages 12-26
The role of proof obligations in software design....Pages 27-41
Functional semantics of modules....Pages 42-59
Intuition in software development....Pages 60-79
A rational design process: How and why to fake it....Pages 80-100
Formalization in systems development....Pages 101-116
Specifying and prototyping: Some thoughts on why they are successful....Pages 117-128
A formal specification of line representations on graphics devices....Pages 129-147
Experiences with the PSG — Programming System Generator....Pages 148-162
Software construction using typed fragments....Pages 163-178
Graph grammar engineering: A method used for the development of an integrated programming support environment....Pages 179-193
Multidimensional tree-structured file spaces....Pages 194-213
A theory of abstract data types for program development: Bridging the gap?....Pages 214-230
Program development and documentation by informal transformations and derivations....Pages 231-245
ASSPEGIQUE: An integrated environment for algebraic specifications....Pages 246-260
Application of PROLOG to test sets generation from algebraic specifications....Pages 261-275
A PROLOG environment for developing and reasoning about data types....Pages 276-293
Algebraic specification of synchronisation and errors: A telephonic example....Pages 294-308
Modelling concurrent modules....Pages 309-324
Synthesis of parallel programs invariants....Pages 325-338
Analyzing safety and fault tolerance using Time Petri nets....Pages 339-355
Algebraic specification of a communication scheduler....Pages 356-370
The integration and distribution phase in the software life cycle....Pages 371-384
Formalized software development in an industrial environment....Pages 385-394
Object oriented concurrent programming and industrial software production....Pages 395-409
Experience of introducing the Vienna development method into an industrial organisation....Pages 410-422
EDP system development methodology: Auditability and control....Pages 423-434
Experiences with object oriented programming....Pages 435-452