3045 search results - page 67 / 609 » Formal Approaches to Software Architecture |
126
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
The terms architecture, design, and implementation are typically used informally in partitioning software specificato three coarse strata of abstraction. Yet these strata are not ...
161
click to vote
WETICE
2003
IEEE
15 years 11 months ago
2003
IEEE
A formal approach to security in the software life cycle is essential to protect corporate resources. However, little thought has been given to this aspect of software development...
173
click to vote
WOSP
2010
ACM
15 years 6 months ago
2010
ACM
Quantitative prediction of quality properties (i.e. extrafunctional properties such as performance, reliability, and cost) of software architectures during design supports a syste...
141
Voted
CSMR
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we discuss experiences gained during evaluation of the maintainability of a reference architecture in use at Oc´e, one of the world’s leading copier manufacturer...
141
click to vote
CN
2002
15 years 5 months ago
2002
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider di erent communication architect...