Přístup k syntéze založené na počítači

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F04%3APU46677" target="_blank" >RIV/00216305:26220/04:PU46677 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/00216305:26230/04:PU49225

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

An Approach to Computer-Based System Synthesis

Popis výsledku v původním jazyce

The paper presents an approach to the design of computer-based systems aiming at front-end parts of industrial application designs. The approach targets creation of a formal specification, verification and prototyping framework for network applications ranging from large information systems down to small components embedded e.g. in mobile devices. Main attention focuses both on architectural and behavioral specifications of either reactive or real-time activities utilizing either structured or object-orriented approach depending on application requirements. The implementation and integration phases of the project provide pilot versions of techniques and tools for conceptual design, for architectural specifications, for reactive and real-time system behavior specifications, and for rapid prototyping. This contribution discusses in more detail executable specifications and rapid prototyping for structured design and of structural specifications and verifications for object-oriented desig

Název v anglickém jazyce

An Approach to Computer-Based System Synthesis

Popis výsledku anglicky

The paper presents an approach to the design of computer-based systems aiming at front-end parts of industrial application designs. The approach targets creation of a formal specification, verification and prototyping framework for network applications ranging from large information systems down to small components embedded e.g. in mobile devices. Main attention focuses both on architectural and behavioral specifications of either reactive or real-time activities utilizing either structured or object-orriented approach depending on application requirements. The implementation and integration phases of the project provide pilot versions of techniques and tools for conceptual design, for architectural specifications, for reactive and real-time system behavior specifications, and for rapid prototyping. This contribution discusses in more detail executable specifications and rapid prototyping for structured design and of structural specifications and verifications for object-oriented desig

Druh

D - Stať ve sborníku

CEP obor

JA - Elektronika a optoelektronika, elektrotechnika

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2004

Kód důvěrnosti údajů

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

Název statě ve sborníku

Proceedings of the ICSE & INCOSE 2004 Conference

ISBN

1-85769-1970

ISSN

—

e-ISSN

—

Počet stran výsledku

8

Strana od-do

77-84

Název nakladatele

CRC Press

Místo vydání

Las Vegas, Nevada

Místo konání akce

Las Vegas, Nevada

Datum konání akce

16. 9. 2004

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—