@inproceedings{35a64b3f8a59407f8fe6f8a30e003379,
title = "Enriching the software development process by formal methods",
abstract = "We describe a software development process designed for an integration and usage of formal methods into practical software process models in a scalable way. Our process model is an extension of the V-model, and allows the specification of critical components and the verification of crucial development steps. For different development stages we suggest user-oriented description techniques, based on a common formal semantic. Furthermore we outline methods for the verification of critical development steps. We illustrate our process by developing a small example with some critical aspects.",
author = "Manfred Broy and Oscar Slotosch",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1999.; International Workshop on Current Trends in Applied Formal Methods, 1998 ; Conference date: 07-10-1998 Through 09-10-1998",
year = "1999",
doi = "10.1007/3-540-48257-1_2",
language = "English",
isbn = "3540664629",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "44--61",
editor = "Paolo Traverso and Dieter Hutter and Werner Stephan and Markus Ullmann",
booktitle = "Applied Formal Methods — FM-Trends 1998 - International Workshop on Current Trends in Applied Formal Methods, Proceedings",
}