Formal specifications of computer-based systems

Author

Sveda, Miroslav ; Rattray, Charles

Author_Institution

Brno Univ. of Technol., Czech Republic

fYear

2001

fDate

2001

Firstpage

357

Lastpage

358

Abstract

The IFIP TC10 Working Group 10.1 (Computer-Aided Systems Theory) Committee Meeting at the Vienna University of Technology in September 1999 resulted in expressing the interest to support a joint workshop with the IEEE Computer Society TC-ECBS (Technical Committee on the Engineering of Computer-Based Systems) focused on formal specifications of computer-based systems (FS-CBS) owing to a substantial overlap in this research domain. The ECBS Executive Committee has welcomed and greatly supported the origination and implementation of the IEEE/IFIP joint workshops on FS-CBS as "formal specifications working group sessions" following annual ECBS conferences. This paper describes the activities and contributions of the joint workshops of 2000 and 2001.

Keywords

formal specification; societies; IEEE Computer Society TC-ECBS; IEEE/IFIP joint workshops; IFIP TC10 Working Group 10.1; computer-aided systems theory; computer-based systems; formal specifications; working group sessions; Abstracts; Application software; Computer Society; Conferences; Executive Committee; Formal specifications; Hardware; Protocols; Publishing; Unified modeling language;

fLanguage

English

Publisher

ieee

Conference_Titel

Engineering of Computer Based Systems, 2001. ECBS 2001. Proceedings. Eighth Annual IEEE International Conference and Workshop on the

Conference_Location

Washington, DC, USA

Print_ISBN

0-7695-1086-8

Type

conf

DOI

10.1109/ECBS.2001.922443

Filename

922443