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:

@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}}