[Formalism in software engineering?]
(1986) CGL 3: 3rd Conference-Exhibition on Software Engineering — Location: Versailles, France (27.May.1986)
Files
No attached file found for this publication.
Details
- Authors
- Abstract
- The basic issues are first illustrated by a case study, namely Jackson's method. The state-of-the-art in formalisation techniques for software engineering is then discussed, in particular the expression of successive states in developments and that of transitions between states. Two avenues of research are then presented: on the one hand, the use of logic, structured, and constructive techniques to express integrated fashion states, transitions, and their properties; on the other hand, the possible application of methods for representing incomplete of heuristic knowledge. As a conclusion, some general conjectures are stated.
- Affiliations
Citations
Michel, S. (1986). [Formalism in software engineering?]. CGL 3: 3rd Conference-Exhibition on Software Engineering, p. 33-39. https://hdl.handle.net/2078.5/227319