4350 search results - page 635 / 870 » Case studies for contract-based systems |
194
click to vote
EDCC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
164
click to vote
GG
2004
Springer
16 years 3 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
179
click to vote
ICSOC
2004
Springer
16 years 3 days ago
2004
Springer
Service-based approaches are widely used to integrate heterogenous systems. Web services allow for the definition of highly dynamic systems where components (services) can be dis...
192
click to vote
WCRE
2003
IEEE
15 years 12 months ago
2003
IEEE
Merging and splitting source code artifacts is a common activity during the lifespan of a software system; as developers rethink the essential structure of a system or plan for a ...
188
click to vote
SAC
2003
ACM
15 years 12 months ago
2003
ACM
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...