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...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
2001-03.
|
Subjects: | |
Online Access: | Get fulltext |