Publication detail

Formal Specifications of Computer-Based Systems

ŠVÉDA, M., RATTRAY, C., ROZENBLIT, J.

Original Title

Formal Specifications of Computer-Based Systems

English Title

Formal Specifications of Computer-Based Systems

Type

conference paper

Language

en

Original Abstract

The paper explains the origins, purpose and targets of the joint initiative of the IEEE Computer Society Technical Committee on Engineering of Computer-Based Systems and the IFIP TC10 Working Group 10.1: Computer Aided Systems Theory. This initiative aims at the origination and implementation of the Workshop on Formal Specifications of Computer-Based Systems. Moreover, it presents the program of the previous Workshop on FSCBS'01, which was held in Washington, D.C., 2001, and aimes of the current Workshop on FSCBS'02, Lund, Sweden, 2002.

English abstract

The paper explains the origins, purpose and targets of the joint initiative of the IEEE Computer Society Technical Committee on Engineering of Computer-Based Systems and the IFIP TC10 Working Group 10.1: Computer Aided Systems Theory. This initiative aims at the origination and implementation of the Workshop on Formal Specifications of Computer-Based Systems. Moreover, it presents the program of the previous Workshop on FSCBS'01, which was held in Washington, D.C., 2001, and aimes of the current Workshop on FSCBS'02, Lund, Sweden, 2002.

Keywords

formal specifications, computer-based systems, IEEE TC-ECBS WG-FS, IFIP 10.1

RIV year

2002

Released

08.04.2002

Publisher

IEEE Computer Society

Location

Los Alamitos, CA

ISBN

0-7695-1549-5

Book

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

Pages from

224

Pages to

225

Pages count

2

BibTex


@inproceedings{BUT9818,
  author="Miroslav {Švéda} and Charles {Rattray} and Jerzy {Rozenblit}",
  title="Formal Specifications of Computer-Based Systems",
  annote="The paper explains the origins, purpose and targets of the joint initiative of the IEEE Computer Society Technical Committee on Engineering of Computer-Based Systems and the IFIP TC10 Working Group 10.1: Computer Aided Systems Theory. This initiative aims at the origination and implementation of the Workshop on Formal Specifications of Computer-Based Systems. Moreover, it presents the program of the previous Workshop on FSCBS'01, which was held in Washington, D.C., 2001, and aimes of the current Workshop on FSCBS'02, Lund, Sweden, 2002.",
  address="IEEE Computer Society",
  booktitle="Proceedings of the Ninth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems",
  chapter="9818",
  institution="IEEE Computer Society",
  year="2002",
  month="april",
  pages="224--225",
  publisher="IEEE Computer Society",
  type="conference paper"
}