2813 search results - page 101 / 563 » Formalizing Architectural Connection |
146
click to vote
UML
1999
Springer
15 years 9 months ago
1999
Springer
Software architecture research has thus far mainly addressed formal specification and analysis of coarse-grained software models. The formality of architectural descriptions, their...
167
click to vote
JSS
2010
14 years 11 months ago
2010
During software development, architecture decisions should be documented so that quality attributes guaranteed by these decisions and required in the software specification could ...
139
click to vote
ICSEA
2007
IEEE
15 years 11 months ago
2007
IEEE
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServiceOriented Archite...
113
click to vote
FMCO
2008
Springer
15 years 6 months ago
2008
Springer
Models are gaining importance in software development, for instance in the MDD field, as well as in other disciplines such as biology and physics. Hence, tool support is needed to ...
157
click to vote
RTAS
2009
IEEE
15 years 11 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...