194 search results - page 9 / 39 » Separation of concerns for dependable software design |
ICSE
1999
IEEE-ACM
13 years 11 months ago
1999
IEEE-ACM
The principle of separation of concerns has long been used by software engineers to manage the complexity of software system development. Programming languages help software engin...
FORTE
2007
13 years 9 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
VEE
2010
ACM
14 years 2 months ago
2010
ACM
Intense research on virtual machines has highlighted the need for flexible software architectures that allow quick evaluation of new design and implementation techniques. The inte...
SOCO
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The separation of concerns has been a core idiom of software engineering for decades. In general, software can be decomposed properly only according to a single concern, ...
CSMR
2000
IEEE
13 years 12 months ago
2000
IEEE
The assessment of the changeability of software systems is of major concern for buyers of the large systems found in fast-moving domains such as telecommunications. One way of app...