Formal specifications of computer-based systems

M. Sveda; C. Rattray; Jerzy W Rozenblit

doi:10.1109/ECBS.2003.1194796

Formal specifications of computer-based systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

The IFIP TC10 Working Group 10.1 "Computer Aided Systems Theory" Committee Meeting at the Vienna University of Technology on the 30^th September 1999, resulted in a resolution to support a joint workshop with the IEEE Computer Society TC-ECBS on Formal Specifications of Computer-Based Systems (FS CBS). Owing to a substantial overlap in this research domain, Franz Pichler, the founder of the IFIP WG10.1, and Charles Rattray, the IFIP WG10.1 chair, delegated Miroslav Sveda, a member of both WG10.1 and TC-ECBS, to act as a contact person in this activity. The ECBS Executive Committee has welcomed and greatly supported the initiation and implementation of the IEEE/IFIP Joint Workshops on FS CBS as Formal Specifications Working Group Sessions following annual ECBS Conferences.

Original language	English (US)
Title of host publication	Proceedings - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	169-172
Number of pages	4
ISBN (Electronic)	0769519172, 9780769519173
DOIs	https://doi.org/10.1109/ECBS.2003.1194796
State	Published - 2003
Event	10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003 - Huntsville, United States Duration: Apr 7 2003 → Apr 10 2003

Publication series

Name	Proceedings - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003

Other

Other	10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003
Country/Territory	United States
City	Huntsville
Period	4/7/03 → 4/10/03

Keywords

Automata
Conferences
Distributed computing
Embedded computing
Formal specifications
Interference
Petri nets
Protocols
Systems engineering and theory
Unified modeling language

ASJC Scopus subject areas

Hardware and Architecture
Control and Systems Engineering

Access to Document

10.1109/ECBS.2003.1194796

Cite this

Sveda, M., Rattray, C., & Rozenblit, J. W. (2003). Formal specifications of computer-based systems. In Proceedings - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003 (pp. 169-172). Article 1194796 (Proceedings - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ECBS.2003.1194796

Formal specifications of computer-based systems. / Sveda, M.; Rattray, C.; Rozenblit, Jerzy W.
Proceedings - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003. Institute of Electrical and Electronics Engineers Inc., 2003. p. 169-172 1194796 (Proceedings - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Sveda, M, Rattray, C & Rozenblit, JW 2003, Formal specifications of computer-based systems. in Proceedings - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003., 1194796, Proceedings - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003, Institute of Electrical and Electronics Engineers Inc., pp. 169-172, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003, Huntsville, United States, 4/7/03. https://doi.org/10.1109/ECBS.2003.1194796

Sveda M, Rattray C, Rozenblit JW. Formal specifications of computer-based systems. In Proceedings - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003. Institute of Electrical and Electronics Engineers Inc. 2003. p. 169-172. 1194796. (Proceedings - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003). doi: 10.1109/ECBS.2003.1194796

Sveda, M. ; Rattray, C. ; Rozenblit, Jerzy W. / Formal specifications of computer-based systems. Proceedings - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003. Institute of Electrical and Electronics Engineers Inc., 2003. pp. 169-172 (Proceedings - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003).

@inproceedings{edc50bed578441788de834b8cb03c816,

title = "Formal specifications of computer-based systems",

abstract = "The IFIP TC10 Working Group 10.1 {"}Computer Aided Systems Theory{"} Committee Meeting at the Vienna University of Technology on the 30th September 1999, resulted in a resolution to support a joint workshop with the IEEE Computer Society TC-ECBS on Formal Specifications of Computer-Based Systems (FS CBS). Owing to a substantial overlap in this research domain, Franz Pichler, the founder of the IFIP WG10.1, and Charles Rattray, the IFIP WG10.1 chair, delegated Miroslav Sveda, a member of both WG10.1 and TC-ECBS, to act as a contact person in this activity. The ECBS Executive Committee has welcomed and greatly supported the initiation and implementation of the IEEE/IFIP Joint Workshops on FS CBS as Formal Specifications Working Group Sessions following annual ECBS Conferences.",

keywords = "Automata, Conferences, Distributed computing, Embedded computing, Formal specifications, Interference, Petri nets, Protocols, Systems engineering and theory, Unified modeling language",

author = "M. Sveda and C. Rattray and Rozenblit, {Jerzy W}",

note = "Publisher Copyright: {\textcopyright} 2003 IEEE.; 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003 ; Conference date: 07-04-2003 Through 10-04-2003",

year = "2003",

doi = "10.1109/ECBS.2003.1194796",

language = "English (US)",

series = "Proceedings - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "169--172",

booktitle = "Proceedings - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003",

}

TY - GEN

T1 - Formal specifications of computer-based systems

AU - Sveda, M.

AU - Rattray, C.

AU - Rozenblit, Jerzy W

PY - 2003

Y1 - 2003

N2 - The IFIP TC10 Working Group 10.1 "Computer Aided Systems Theory" Committee Meeting at the Vienna University of Technology on the 30th September 1999, resulted in a resolution to support a joint workshop with the IEEE Computer Society TC-ECBS on Formal Specifications of Computer-Based Systems (FS CBS). Owing to a substantial overlap in this research domain, Franz Pichler, the founder of the IFIP WG10.1, and Charles Rattray, the IFIP WG10.1 chair, delegated Miroslav Sveda, a member of both WG10.1 and TC-ECBS, to act as a contact person in this activity. The ECBS Executive Committee has welcomed and greatly supported the initiation and implementation of the IEEE/IFIP Joint Workshops on FS CBS as Formal Specifications Working Group Sessions following annual ECBS Conferences.

AB - The IFIP TC10 Working Group 10.1 "Computer Aided Systems Theory" Committee Meeting at the Vienna University of Technology on the 30th September 1999, resulted in a resolution to support a joint workshop with the IEEE Computer Society TC-ECBS on Formal Specifications of Computer-Based Systems (FS CBS). Owing to a substantial overlap in this research domain, Franz Pichler, the founder of the IFIP WG10.1, and Charles Rattray, the IFIP WG10.1 chair, delegated Miroslav Sveda, a member of both WG10.1 and TC-ECBS, to act as a contact person in this activity. The ECBS Executive Committee has welcomed and greatly supported the initiation and implementation of the IEEE/IFIP Joint Workshops on FS CBS as Formal Specifications Working Group Sessions following annual ECBS Conferences.

KW - Automata

KW - Conferences

KW - Distributed computing

KW - Embedded computing

KW - Formal specifications

KW - Interference

KW - Petri nets

KW - Protocols

KW - Systems engineering and theory

KW - Unified modeling language

UR - http://www.scopus.com/inward/record.url?scp=84943371224&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84943371224&partnerID=8YFLogxK

U2 - 10.1109/ECBS.2003.1194796

DO - 10.1109/ECBS.2003.1194796

M3 - Conference contribution

AN - SCOPUS:84943371224

T3 - Proceedings - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003

SP - 169

EP - 172

BT - Proceedings - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003

Y2 - 7 April 2003 through 10 April 2003

ER -

Formal specifications of computer-based systems

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this