180 search results - page 32 / 36 » Describing Fractal Processes with UML |
84
Voted
KBSE
2003
IEEE
15 years 2 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
108
Voted
JAVACARD
2000
15 years 1 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...
CASCON
2007
14 years 11 months ago
2007
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...
93
Voted
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
Use case models capture and describe the functional requirements of a software system. A use case driven development process, where a use case model is the principal basis for con...
ACSC
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...