279 search results - page 28 / 56 » Sorting out software complexity |
BPM
2006
Springer
13 years 11 months ago
2006
Springer
Electronic contracts describe inter-organizational business processes in terms of supply and consumption of electronic services (commonly Web services). In a given contract domain,...
ECOOP
2006
Springer
13 years 11 months ago
2006
Springer
: Nowadays information systems are required to adapt themselves dynamically to the ever changing environment and requirements. Architectural reflection represents a principled mean...
CORR
1999
Springer
13 years 7 months ago
1999
Springer
Abstract: Systematic testing of object-oriented software turned out to be much more complex than testing conventional software. Especially the highly incremental and iterative deve...
ICWS
2010
IEEE
13 years 9 months ago
2010
IEEE
This paper addresses one of the major problems of SOA software development: the lack of support for testing complex service-oriented systems. The research community has developed v...
ICFEM
2009
Springer
13 years 5 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...