Benutzer: Gast  Login
Titel:

Motivation and Formal Foundations of a Comprehensive Modeling Theory for Embedded Systems

Dokumenttyp:
Technical Report
Autor(en):
Alexander Harhurin; Judith Hartmann; Daniel Ratiu
Abstract:
In this document, we present a comprehensive modeling theory for the seamless development of software for embedded systems. We start the document by describing the need for a comprehensive theory to provide a formal and thorough foundation for the software development in different process phases. What exactly a theory should contain, strongly depends on the systems that need to be described. Therefore we characterize the types of systems to be modeled and starting from this we derive a set of re...     »
Stichworte:
Formal Software Engineering
Jahr:
2009
Jahr / Monat:
2009-09-08 00:00:00
Seiten/Umfang:
31
 BibTeX