20 search results - page 2 / 4 » Safety-Liveness Semantics for UML 2.0 Sequence Diagrams |
SCESM
2006
ACM
14 years 4 months ago
2006
ACM
ICSE
2005
IEEE-ACM
14 years 11 months ago
2005
IEEE-ACM
UML sequence diagrams are commonly used to represent object interactions in software systems. This work considers the problem of extracting UML sequence diagrams from existing cod...
DAGSTUHL
2003
14 years 7 days ago
2003
There are many formalism for mobile system specification, but until very recently, there was no satisfactory graphical notation for modelling of such systems. In a previous paper, ...
ECMDAFA
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
ESORICS
2008
Springer
14 years 19 days ago
2008
Springer
The UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS,...