478 search results - page 29 / 96 » Domains of Concern in Software Architectures and Architectur... |
SIGSOFT
2003
ACM
14 years 8 months 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
14 years 1 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
14 years 1 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
13 years 11 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...
EWSPT
2003
Springer
14 years 18 days 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 ...