4350 search results - page 621 / 870 » Case studies for contract-based systems |
195
click to vote
SOFTVIS
2005
ACM
16 years 9 days ago
2005
ACM
During the life cycle of a software system, the source code is changed many times. We study how developers can be enabled to get insight in these changes, in order to understand t...
169
click to vote
ISMDA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Ontology is the talk of the day in the medical informatics comm.unity. Its relevant role in the design and implementation of information systems in health care is now wid...
172
click to vote
CASSIS
2004
Springer
16 years 4 days ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
168
click to vote
DEXA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Temporal data are abundantly present in many application domains such as banking, financial, clinical, geographical applications and so on. Temporal data have been extens...
209
click to vote
ICWE
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...