Q1066658
type: Item
instance of: scholarly article
title: Formal methods and software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 2: Colloquium on Software Engineering (CSE)
zbMATH Open document ID: 0578.68001
published in: Lecture Notes in Computer Science
publication date: 1985-01-01T00:00:00Z
review text: Several papers focus on concepts of formal semantics and their application to specific tasks in software development, such as the specification of modular programs, the derivation of programs from formal specifications and the treatment of concurrency. These papers encourage us to think of programs in abstract mathematical terms. A second group of papers present software tools to support the application of formal approaches. Typically, the tools facilitate the formulation of syntactically correct specifications; they perform consistency checks and partially automate the transition from specifications to programs or the generation of test data on the basis of a given specification. In other papers the scope is widened to methods for software development as a whole. They report experiences with more or less formal methods gained in projects and in introducing methods in industrial settings. Finally, the scope of applicability of formal methods and the claims put forward by their proponents are critically examined; in one case by pointing to specific problems in software development which can or cannot be aided by formalization in the widest sense; in another, by showing how all formal approaches, in the end depend on intuitive insight.
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 3926207
zbMATH Keywords: Software development
zbMATH Keywords: Formal methods
zbMATH Keywords: Proceedings
zbMATH Keywords: Conference
zbMATH Keywords: Berlin
zbMATH Keywords: TAPSOFT
zbMATH Keywords: CSE
zbMATH Keywords: Colloquium
zbMATH Keywords: Software engineering
zbMATH Keywords: formal semantics
zbMATH Keywords: software development
zbMATH Keywords: specification
zbMATH Keywords: concurrency
reviewed by: Horst Zeitler
MaRDI profile type: Publication
Recommended article: Q2265997
Recommended article: Q4321783
Recommended article: Q1084083
Recommended article: Q4001921
Recommended article: Software engineering and formal methods. 20th international conference, SEFM 2022, Berlin, Germany, September 26--30, 2022. Proceedings
Recommended article: TAPSOFT '93: theory and practice of software development. 4th international joint conference CAAP/FASE, Orsay, France, April 13--17, 1993. Proceedings
Recommended article: Q1084082
Recommended article: Formal methods and software engineering. 5th international conference on formal engineering methods, ICFEM 2003, Singapore, November 5--7, 2003. Proceedings
Recommended article: Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker
Recommended article: VDM '91. Formal software development methods. Vol. 2: Tutorials. 4th international symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Proceedings
label: Formal methods and software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 2: Colloquium on Software Engineering (CSE)
description: scientific article; zbMATH DE number 3926207