An Approach to Computer-Based System Synthesis

Result code in 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>
Alternative codes found
RIV/00216305:26230/04:PU49225
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
An Approach to Computer-Based System Synthesis
Original language description
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
Czech name
Přístup k syntéze založené na počítači
Czech description
Přístup k syntéze založené na počítači

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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

Similar results(10)