Sciweavers

686 search results - page 13 / 138
» System model for UML -- The interactions case
Sort
View
UML
2001
Springer
13 years 11 months ago
Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...
Geri Georg, Jores Bieman, Robert B. France
JUCS
2008
105views more  JUCS 2008»
13 years 7 months ago
Taxonomy for Integrating Models in the Development of Interactive Groupware Systems
: This paper describes the taxonomy for designing interactive groupware systems. The taxonomy defines the objectives, methods and principles for classifying models and facilitates ...
William J. Giraldo, Ana I. Molina, César A....
JSS
2008
122views more  JSS 2008»
13 years 5 months ago
Traffic-aware stress testing of distributed real-time systems based on UML models using genetic algorithms
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
Vahid Garousi, Lionel C. Briand, Yvan Labiche
UML
1998
Springer
13 years 11 months ago
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
Ismaïl Khriss, Mohammed Elkoutbi, Rudolf K. K...
IAJIT
2008
118views more  IAJIT 2008»
13 years 7 months ago
Integration of the Association Ends within UML State Diagrams
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...
Thouraya Bouabana-Tebibel, Mounira Belmesk