Enriching the software development process by formal methods

Manfred Broy, Oscar Slotosch

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

7 Scopus citations

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.

Original languageEnglish
Title of host publicationApplied Formal Methods — FM-Trends 1998 - International Workshop on Current Trends in Applied Formal Methods, Proceedings
EditorsPaolo Traverso, Dieter Hutter, Werner Stephan, Markus Ullmann
PublisherSpringer Verlag
Pages44-61
Number of pages18
ISBN (Print)3540664629, 9783540664628
DOIs
StatePublished - 1999
EventInternational Workshop on Current Trends in Applied Formal Methods, 1998 - Boppard, Germany
Duration: 7 Oct 19989 Oct 1998

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1641
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Workshop on Current Trends in Applied Formal Methods, 1998
Country/TerritoryGermany
CityBoppard
Period7/10/989/10/98

Fingerprint

Dive into the research topics of 'Enriching the software development process by formal methods'. Together they form a unique fingerprint.

Cite this