149 search results - page 6 / 30 » Establishing a Software Architecting Environment |
SPIN
1999
Springer
15 years 1 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
WOSP
2010
ACM
15 years 1 months ago
2010
ACM
The architecture of a software system has a significant impact on its quality of service (QoS) as measured by several performance metrics such as execution time, availability, th...
JUCS
2010
14 years 4 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
PROMS
2001
Springer
15 years 1 months ago
2001
Springer
—This paper presents a model-based approach to service creation. We observe that the complexity of software services increases. To manage this complexity, and to quickly create s...