3045 search results - page 112 / 609 » Formal Approaches to Software Architecture |
TSE
2002
14 years 10 months ago
2002
In this paper, we propose a means to enhance an architecture description language with a description of component behavior. A notation used for this purpose should be able to expr...
DATE
2005
IEEE
15 years 4 months ago
2005
IEEE
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for mode...
110
click to vote
ISORC
2005
IEEE
15 years 4 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
IWPC
1998
IEEE
15 years 3 months ago
1998
IEEE
This paper presents an overview of the DIME environment (DIrect Manipulation Environment) being developed by the author. The paper presents the DIME vision, its catalogue of evolu...
HICSS
2005
IEEE
15 years 4 months ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...