8083 search results - page 111 / 1617 » A Formalization of Software Architecture |
WCRE
1999
IEEE
14 years 2 months ago
1999
IEEE
Software architecture, as a vehicle for communication and reasoning about software systems and their quality, is becoming an area of focus in both the forward- and reverseengineer...
SAC
2006
ACM
14 years 4 months ago
2006
ACM
The heterogeneity of architectural constraint languages makes difficult the transformation of architectural constraints throughout the development process. Indeed they have signiï...
DAC
1997
ACM
14 years 2 months ago
1997
ACM
DAC
1992
ACM
14 years 2 months ago
1992
ACM
COMPSAC
2010
IEEE
13 years 8 months ago
2010
IEEE
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...