Formal methods and software development : Colloquium on Software Engineering (CSE)
Author(s)
Bibliographic Information
Formal methods and software development : Colloquium on Software Engineering (CSE)
(Lecture notes in computer science, 186 . Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT),
Springer-Verlag, 1985
- : gw
- : us
Available at 44 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Note
Includes index
Description and Table of Contents
Table of Contents
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 process: How and why to fake it.- Formalization in systems development.- Specifying and prototyping: 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 engineering: 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 development: Bridging the gap?.- Program development and documentation by informal transformations and derivations.- ASSPEGIQUE: 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 errors: 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 methodology: Auditability and control.- Experiences with object oriented programming.
by "Nielsen BookData"