Formal, Model-oriented Software Development Methods - From VDM to ProCoS & from RAISE to LaCoS

Publication: Research - peer-reviewJournal article – Annual report year: 1991

View graph of relations

The first author has been invited to reminisce over almost 20 years of his research into and application of formal methods in software development. The paper deals with model-oriented methods. The title of this paper mentions two methods: VDM (Vienna Development Method) and RAISE (Rigorous Approach to Industrial Software Engineering), the latter derived from the former, and two projects: ProCoS (Provably Correct Systems) and LaCoS (Large-scale Correct Systems). LaCoS is a follow-up on RAISE. ProCoS adheres to the same principles as VDM as VDM and RAISE, but with a twist! The paper will outline the technical/scientific essence of the VDM and RAISE methods, and explain the ProCos and LaCoS project structures. The paper will first outline five central roles of software developers: problem domain specialists, programmers, software engineers, resident computation scientists and managers. We will briefly illustrate examples of specifications in VDM and RAISE. The aim of the paper is to record that formal methods in software development are now well-developed and broadly accepted in Europe.
Original languageEnglish
JournalFuture Generation Computer Systems - The International Journal of eScience
Issue number2-3
Pages (from-to)111-138
StatePublished - 1991
Download as:
Download as PDF
Select render style:
Download as HTML
Select render style:
Download as Word
Select render style:

ID: 2701221