Sciweavers

2550 search results - page 54 / 510
» Difference Decision Diagrams
Sort
View
124
Voted
FASE
2003
Springer
15 years 7 months ago
Integration of Formal Datatypes within State Diagrams
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
Christian Attiogbé, Pascal Poizat, Gwen Sal...
HASE
1999
IEEE
15 years 6 months ago
Model Checking UML Statechart Diagrams Using JACK
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
Stefania Gnesi, Diego Latella, Mieke Massink
JSW
2007
126views more  JSW 2007»
15 years 1 months ago
Supporting UML Sequence Diagrams with a Processor Net Approach
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...
Tony Spiteri Staines
DIAGRAMS
2008
Springer
15 years 3 months ago
Visualizing Non-subordination and Multidominance in Tree Diagrams: Testing Five Syntax Tree Variants
In linguistics, it is quite common to use tree diagrams for immediate constituent analysis of sentences. Traditionally, these trees are binary and twodimensional. However, phenomen...
Leonie Bosveld-de Smet, Mark de Vries
SQJ
2008
94views more  SQJ 2008»
15 years 1 months ago
Simulation-based analysis of UML statechart diagrams: methods and case studies
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...
Jiexin Lian, Zhaoxia Hu, Sol M. Shatz