8 search results - page 1 / 2 » fase 2001 |
FASE
2001
Springer
13 years 10 months ago
2001
Springer
FASE
2001
Springer
13 years 10 months ago
2001
Springer
FASE
2001
Springer
13 years 10 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...
FASE
2001
Springer
13 years 10 months ago
2001
Springer
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that sof...
FASE
2001
Springer
13 years 10 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...