8083 search results - page 112 / 1617 » A Formalization of Software Architecture |
134
Voted
TAAS
2010
14 years 10 months ago
2010
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...
135
Voted
FORTEST
2008
15 years 5 months ago
2008
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
210
Voted
IFM
2010
Springer
15 years 1 months ago
2010
Springer
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
139
Voted
EDUTAINMENT
2007
Springer
15 years 10 months ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
126
Voted
WICSA
2004
15 years 5 months ago
2004
In this paper, we present an approach to improve the software architecture evaluation process by systematically extracting and appropriately documenting architecturally significan...