242 search results - page 5 / 49 » SAAM: A Method for Analyzing the Properties of Software Arch... |
ECSA
2008
Springer
13 years 9 months ago
2008
Springer
Reference architectures provide major guidelines for the structure of a class of information systems. Because of their fundamental role, reference architectures have to be of high ...
ICSOC
2007
Springer
14 years 1 months ago
2007
Springer
Service-oriented Architecture supports software to be composed from services dynamically. Selecting and composing appropriate services according to business process, policies and n...
ICSEA
2006
IEEE
14 years 1 months ago
2006
IEEE
The construction and maintenance of large and complex software systems depend on the existence of global principles describing the structure and the interaction among its various ...
FORTE
2004
13 years 8 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
SIGSOFT
2000
ACM
13 years 11 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...