Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), ... (Lecture Notes in Computer Science, 186) - Softcover

 
9783540151999: Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), ... (Lecture Notes in Computer Science, 186)
Softcover
ISBN 10: 3540151990 ISBN 13: 9783540151999
Publisher: Springer, 1985

Synopsis

On the relevance of formal methods to software development.- Combining algebraic and predicative specifications in Larch.- The role of proof obligations in software design.- Functional semantics of modules.- Intuition in software development.- A rational design How and why to fake it.- Formalization in systems development.- Specifying and Some thoughts on why they are successful.- A formal specification of line representations on graphics devices.- Experiences with the PSG - Programming System Generator.- Software construction using typed fragments.- Graph grammar A method used for the development of an integrated programming support environment.- Multidimensional tree-structured file spaces.- A theory of abstract data types for program Bridging the gap?.- Program development and documentation by informal transformations and derivations.- An integrated environment for algebraic specifications.- Application of PROLOG to test sets generation from algebraic specifications.- A PROLOG environment for developing and reasoning about data types.- Algebraic specification of synchronisation and A telephonic example.- Modelling concurrent modules.- Synthesis of parallel programs invariants.- Analyzing safety and fault tolerance using Time Petri nets.- Algebraic specification of a communication scheduler.- The integration and distribution phase in the software life cycle.- Formalized software development in an industrial environment.- Object oriented concurrent programming and industrial software production.- Experience of introducing the Vienna development method into an industrial organisation.- EDP system development Auditability and control.- Experiences with object oriented programming.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
1985
Language
English
ISBN 10 
3540151990
ISBN 13 
9783540151999
Binding
Paperback
Number of pages
476
Editor
Ehrig Hartmut, Floyd Christiane, Nivat Maurice, Thatcher James