Sciweavers

VISSOFT
2005
IEEE
14 years 5 months ago
Interactive Exploration of UML Sequence Diagrams
Sequence diagrams are commonly used to represent object interactions in software systems. Reverse-engineered sequence diagrams, which are constructed from existing code, are becom...
Richard Sharp, Atanas Rountev
APSEC
2005
IEEE
14 years 5 months ago
Monitoring with Behavior View Diagrams for Debugging
UML sequence diagrams are widely used during requirements analysis and design for specifying the expected message exchanges among a set of objects in various scenarios for the pro...
Donglin Liang, Kai Xu 0002
ACSD
2005
IEEE
124views Hardware» more  ACSD 2005»
14 years 5 months ago
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams
We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without c...
Radu Grosu, Scott A. Smolka
EUROMICRO
2006
IEEE
14 years 5 months ago
A Method for Component-Based Software and System Development
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
Denis Hatebur, Maritta Heisel, Jeanine Souqui&egra...
HASE
2008
IEEE
14 years 5 months ago
Formalize UML 2 Sequence Diagrams
— UML 1 sequence diagrams have been widely employed for modeling software requirements and design. UML 2 introduced many new features, such as Combined Fragments, to make sequenc...
Hui Shen, Aliya Virani, Jianwei Niu
ECMDAFA
2009
Springer
170views Hardware» more  ECMDAFA 2009»
14 years 6 months ago
A Model Driven Approach to the Analysis of Timeliness Properties
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...
IWPC
2009
IEEE
14 years 6 months ago
OGAN: Visualizing object interaction scenarios based on dynamic interaction context
Visualizing an execution trace of an object-oriented system as sequence diagrams is effective to understand the behavior of the system. To support developers to understand concret...
Munakata Satoshi, Takashi Ishio, Katsuro Inoue
ISORC
2009
IEEE
14 years 6 months ago
From Requirements to Code Revisited
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...
Tewfik Ziadi, Xavier Blanc, Amine Raji