Sciweavers

686 search results - page 37 / 138
» System model for UML -- The interactions case
Sort
View
EDO
2000
Springer
15 years 1 months ago
Towards Designing Distributed Systems with ConDIL
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...
Felix Bübl
IJWBC
2010
97views more  IJWBC 2010»
14 years 8 months ago
Managing viable virtual communities: an exploratory case study and explanatory model
: Virtual communities play an important part in enabling people with common interests to interact with each other. Current research mostly focuses on the aspects of social interact...
Christoph Rosenkranz, Christoph Feddersen
FM
2009
Springer
189views Formal Methods» more  FM 2009»
14 years 7 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr...
SIGSOFT
2007
ACM
15 years 10 months ago
Symbolic message sequence charts
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
Abhik Roychoudhury, Ankit Goel, Bikram Sengupta
STEP
2005
IEEE
15 years 3 months ago
Managing Model Quality in UML-Based Software Development
With the advent of UML and MDA, models play an increasingly important role in software development. Hence, the management of the quality of models is of key importance for complet...
Christian F. J. Lange, Michel R. V. Chaudron