Formal specifications of computer-based systems

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.