Sciweavers

650 search results - page 36 / 130
» Modeling SPARK systems with UML
Sort
View
ISIM
2007
15 years 1 months ago
Verification of Good Design Style of UML Models
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...
Bogumila Hnatkowska
SEKE
2004
Springer
15 years 5 months ago
A UML-based Software Engineering Methodology for Agent Factory
This paper presents the Agent Factory Development Methodology, an Agent-Oriented Software Engineering (AOSE) methodology that employs a synthesis of the Unified Modelling Languag...
Rem W. Collier, Gregory M. P. O'Hare, Colm Rooney
ICEIS
2006
IEEE
15 years 6 months ago
Towards Practical Tools for Mining Abstractions in UML Models
Michel Dao, Marianne Huchard, Mohamed Rouane Hacen...
ICST
2008
IEEE
15 years 6 months ago
Verifying and Analyzing Adaptive Logic through UML State Models
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...
Andres J. Ramirez, Betty H. C. Cheng
HASE
2008
IEEE
15 years 6 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