Title :
Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2000)
Abstract :
The following topics were dealt with: distributed systems; architecture; modelling; components and reuse; instrumentation and industrial control; requirements and specification; verification and validation; and process support
Keywords :
distributed processing; formal specification; formal verification; software engineering; components; distributed systems; industrial control; instrumentation; process support; requirements; reuse; specification; validation; verification;
Conference_Titel :
Engineering of Computer Based Systems, 2000. (ECBS 2000) Proceedings. Seventh IEEE International Conference and Workshopon the
Conference_Location :
Edinburgh, UK
Print_ISBN :
0-7695-0604-6
DOI :
10.1109/ECBS.2000.839854
