Publication detail

An Approach to Computer-Based System Synthesis

ŠVÉDA, M., VRBA, R.

Original Title

An Approach to Computer-Based System Synthesis

English Title

An Approach to Computer-Based System Synthesis

Type

conference paper

Language

en

Original Abstract

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.

English abstract

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.

Keywords

Formal specification, architectural specification, behavioral specification, structured and object-oriented design

RIV year

2004

Released

08.09.2004

Publisher

CRC Press

Location

Las Vegas, Nevada

ISBN

1-85769-1970

Book

Proceedings of the ICSE & INCOSE 2004 Conference

Pages from

77

Pages to

84

Pages count

8

BibTex


@inproceedings{BUT12346,
  author="Miroslav {Švéda} and Radimír {Vrba}",
  title="An Approach to Computer-Based System Synthesis",
  annote="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.",
  address="CRC Press",
  booktitle="Proceedings of the ICSE & INCOSE 2004 Conference",
  chapter="12346",
  institution="CRC Press",
  year="2004",
  month="september",
  pages="77",
  publisher="CRC Press",
  type="conference paper"
}