3045 search results - page 45 / 609 » Formal Approaches to Software Architecture |
FAC
2008
14 years 10 months ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
Requirements engineering and software architecting are two key activities in software life cycle. Researchers have paid much attention to mapping and transformation from requireme...
119
click to vote
ICSEA
2009
IEEE
14 years 8 months ago
2009
IEEE
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
115
click to vote
ICFCA
2005
Springer
15 years 4 months ago
2005
Springer
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...
FM
2003
Springer
15 years 3 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...