Sciweavers

1148 search results - page 76 / 230
» WebML modelling in UML
Sort
View
103
Voted
MASCOTS
2003
15 years 2 months ago
Software Performance Modeling Using UML and Petri Nets
Abstract. Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as a...
José Merseguer, Javier Campos
114
Voted
COMPSAC
2008
IEEE
15 years 7 months ago
Behavioral Dependency Measurement for Change-Proneness Prediction in UML 2.0 Design Models
During the development and maintenance of ObjectOriented (OO) software, the information on the classes which are more prone to be changed is very useful. Developers and maintainer...
Ah-Rim Han, Sang-Uk Jeon, Doo-Hwan Bae, Jang-Eui H...
104
Voted
ICCS
2004
Springer
15 years 6 months ago
Improving Generalization Level in UML Models Iterative Cross Generalization in Practice
FCA has been successfully applied to software engineering tasks such as source code analysis and class hierarchy re-organization. Most notably, FCA hematics behind the mechanism of...
Michel Dao, Marianne Huchard, Mohamed Rouane Hacen...
HASE
2008
IEEE
15 years 7 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
92
Voted
SAC
2006
ACM
15 years 6 months ago
A UML 2-compatible language and tool for formal modeling real-time system architectures
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
Pietro Colombo, Matteo Pradella, Matteo Rossi