478 search results - page 29 / 96 » Domains of Concern in Software Architectures and Architectur... |
SIGSOFT
2003
ACM
16 years 15 days ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
GPCE
2007
Springer
15 years 6 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
ADAEUROPE
2008
Springer
15 years 6 months ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
IFIP
1994
Springer
15 years 3 months ago
1994
Springer
Domain-oriented design environments are cooperative problem-solving systems that support designers in complex design tasks. In this paper we present the facilities and architectur...
100
click to vote
EWSPT
2003
Springer
15 years 5 months ago
2003
Springer
Long-lived, architecture-based software systems are increasingly important. Effective process support for these systems depends upon recognising their compositional nature and the ...