Sciweavers

196 search results - page 17 / 40
» Specification Diagrams for Actor Systems
Sort
View
59
Voted
SAC
2008
ACM
14 years 9 months ago
Proposing metrics of difficulty of domain knowledge using usecase diagrams
In a system development, the knowledge of a target business is very important factor for the success of a development. The needed part of such knowledge is different for each stak...
Akira Osada, Daigo Ozawa, Naoyuki Kitazawa, Haruhi...
DAGSTUHL
2003
14 years 11 months ago
Partial Order Semantics of Sequence Diagrams for Mobility
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, ...
Piotr Kosiuczenko
ECMDAFA
2006
Springer
166views Hardware» more  ECMDAFA 2006»
15 years 1 months ago
Dynamic Logic Semantics for UML Consistency
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...
Greg O'Keefe
85
Voted
COMPSAC
2002
IEEE
15 years 2 months ago
From MSC and UML to SDL
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...
Stephan Bourduas, Ferhat Khendek, Daniel Vincent
FOIS
2001
14 years 11 months ago
Type-syntax and token-syntax in diagrammatic systems
The uptake in the software industry of notations for designing systems visually has been accelerated with the standardization of the Unified Modeling Language (UML). The formaliza...
John Howse, Fernando Molina, John Taylor, Sun-Joo ...