Technical Report
Summary of Case Studies in Focus - Part II
Author(s): Manfred Broy, Max Breitling, Bernhard Schätz, Katharina Spies
Year: 1997
Number: TUM-I9740
Editor:
CR Classification: A.1, D.2.1, F.3.1
CR General Terms: Design, Verification
Keywords: Focus, case studies, references, specifications, formal development
Abstract:This paper is the continuation of a survey of case studies that have been carried out using the methodology Focus. After a short introduction to Focus, the essential aspects of the case studies are shortly described, and the relevant publications are referenced for further reading.
Available as compressed Postscript
BibTeX-Entry:
<![CDATA[
@techreport{TUM-I9740,
author = {Manfred Broy and Max Breitling and Bernhard Schätz and Katharina Spies},
title = {Summary of Case Studies in Focus - Part II},
number = {TUM-I9740},
institution = {Technische Univerit\"at M\"unchen },
year = {1997},
url = {http://www4.informatik.tu-muenchen.de/reports/TUM-I9740.html},
abstract = {This paper is the continuation of a survey of case studies that have been carried out using the methodology Focus. After a short introduction to Focus, the essential aspects of the case studies are shortly described, and the relevant publications are referenced for further reading. },
CRClassification = {A.1, D.2.1, F.3.1},
CRGenTerms = {Design, Verification}}
]]>