Detail publikace

A Framework for Formal Specification of Embedded Systems

BUREŠ, F., RYŠAVÝ, O., ŠČUGLÍK, F., ŠVÉDA, M.

Originální název

A Framework for Formal Specification of Embedded Systems

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

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 reengineering tool, from source code.

Klíčová slova

Formal specifications, structural specification, object logic, class specification language, behavioral specification, CSP

Autoři

BUREŠ, F., RYŠAVÝ, O., ŠČUGLÍK, F., ŠVÉDA, M.

Rok RIV

2005

Vydáno

3. 4. 2005

Nakladatel

IEEE Computer Society

Místo

Los Alamitos, California

ISBN

0-7695-2308-0

Kniha

Proceedings of the 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems

Strany od

323

Strany do

330

Strany počet

8

BibTex

@inproceedings{BUT21462,
  author="František {Bureš} and Ondřej {Ryšavý} and František {Ščuglík} and Miroslav {Švéda}",
  title="A Framework for Formal Specification of Embedded Systems",
  booktitle="Proceedings of the 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems",
  year="2005",
  pages="323--330",
  publisher="IEEE Computer Society",
  address="Los Alamitos, California",
  isbn="0-7695-2308-0"
}