Publication Details
An Approach to Computer-Based System Synthesis
Formal specification, architectural specification, behavioral specification,
structured and object-oriented design
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-oriented 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 design. A case study
respecting real world constraints demonstrates utilization of the developed
tools.
@inproceedings{BUT17362,
author="Miroslav {Švéda} and Radimír {Vrba}",
title="An Approach to Computer-Based System Synthesis",
booktitle="Proceedings of the ICSE & INCOSE 2004 Conference",
year="2004",
pages="414--421",
publisher="CRC Press LLC",
address="Las Vegas, NV",
isbn="0-8576-9197-0"
}