Behavioural Analysis of Component-Based Systems

Software Engineers continue to search for efficient ways to build high quality systems. Two contrasting techniques that promise to help with the effective construction of high quality systems are the use of formal models during design and the use of components during development. In this paper, we t...

Full description

Bibliographic Details
Main Authors: Henderson, Peter (Author), Walters, Robert John (Author)
Format: Article
Language:English
Published: 2001-03.
Subjects:
Online Access:Get fulltext