8627 search results - page 436 / 1726 » Software Engineering Using RATionale |
157
click to vote
AGILEDC
2003
IEEE
16 years 4 days ago
2003
IEEE
The scientific method serves as a good metaphor for several practices in Extreme Programming (XP). We explore the commonalities and differences and show that the scientific method...
163
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
REMAN is a reputation management infrastructure for composite Web services. It supports the aggregation of client feedback on the perceived QoS of external services, using reputat...
162
click to vote
FASE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Collaboration diagrams as described in the official UML documents specify patterns of system structure and interaction. In this paper, we propose their use for specifying...
171
click to vote
FOSSACS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...
161
click to vote
GCSE
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we describe our experiences with the development of a platform in the medical imaging domain. Three important ingredients of this platform are components, interfaces...