We present a formalism independent approach to the design of tools supporting the application of formal methods in software development. It consists of a concept to represent problem solving knowledge, called strategy, and a generic architecture showing how to implement tools for strategy-based development. A prototype system for program synthesis demonstrates the practicality of the approach.
CITATION STYLE
Heisel, M., Santen, T., & Zimmermann, D. (1995). Tool support for formal software development: A generic architecture. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 989, pp. 272–293). Springer Verlag. https://doi.org/10.1007/3-540-60406-5_20
Mendeley helps you to discover research relevant for your work.