A Framework for Formal Specification of Embedded Systems

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F05%3APU55720" target="_blank" >RIV/00216305:26230/05:PU55720 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
A Framework for Formal Specification of Embedded Systems
Original language description
<i>This paper presents concepts of a specification-driven framework focusing on object-oriented design of embedded systems. It deals with tools and techniques aiming to prop formal specification and early design life cycle phases. Particularly, this contribution discusses logic calculus of objects, related class specification language, and techniques both for architecture specifications and for behavior specifications generated either from UML based semiformal behavioral diagrams or, as a reengineeringtool, from source code.</i>
Czech name
Rámec pro formální specifikace vestavěných systémů
Czech description
Příspěvek prezentuje koncepty rámce pro pecifikace objektově orientovaného návrhu vestavěných systémů. Pojednává o nástrojích a technikách pro podporu formálních specifikací a úvodních fází návrhu. Zvláště je zde diskutován logický kalkul objektů, příslušný specifikační jazyk tříd a techniky jak pro specifikaci architektury tak i chování generované buď ze semiformálních UML diagramů, nebo ze zdrojového kódu.

Project
<a href="/en/project/GA102%2F05%2F0723" target="_blank" >GA102/05/0723: A Framework for Formal Specifications and Prototyping of Information System's Network Applications</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of the 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems
ISBN
0-7695-2308-0
ISSN
—
e-ISSN
—
Number of pages
8
Pages from-to
323-330
Publisher name
IEEE Computer Society
Place of publication
Los Alamitos, California
Event location
Greenbelt, Maryland, USA
Event date
Apr 4, 2005
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)