30 search results - page 2 / 6 » Linking CSP-OZ with UML and Java: A Case Study |
WSC
1998
13 years 6 months ago
1998
Component-based software can be used to develop highly modular simulation environments supporting high reusability of software components. This paper examines a case study in whic...
UML
2005
Springer
13 years 10 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
ICSM
2000
IEEE
13 years 9 months ago
2000
IEEE
The research described in this paper is concerned with the application of information retrieval to software maintenance, and in particular to the problem of recovering traceabilit...
ECMDAFA
2010
Springer
13 years 9 months ago
2010
Springer
Use cases are commonly used to structure and document requirements while UML activity diagrams are often used to visualize and formalize use cases, for example to support automated...
JAVACARD
2000
13 years 8 months ago
2000
: Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet valida...