Benutzer: Gast  Login
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Titel:

From Semiformal Requirements To Formal Specification

Dokumenttyp:
Technical Report
Autor(en):
Maria Spichkova
Abstract:
This paper presents an approach for translating semiformal specification in formal ones. For a semiformal representation two approaches were taken: an approach from A. Fleischmann and a message sequence charts representation. A semiformal specification represented by one of these approaches can be translated to a formal specification in Focus, a a framework for formal specifications and development of interactive systems. This approach was applied on the case study during the project DENTUM between Denso Deutschland GmbH and the chair for Software & Systems Engineering at Technische Universität München. The goal of this project was to define a methodology for the model-based development of automotive systems. This methodology was evaluated by developing an Adaptive Cruise Control system with Pre-Crash Safety functionality.
Stichworte:
Specification; Requirements; Architecture
Jahr:
2010
Jahr / Monat:
2010-10-22 00:00:00
Seiten/Umfang:
32
 BibTeX