Sciweavers

532 search results - page 64 / 107
» A Semiotic Approach to UML models
Sort
View
OOPSLA
2005
Springer
14 years 1 months ago
MDAbench: a tool for customized benchmark generation using MDA
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
Liming Zhu, Yan Liu, Ian Gorton, Ngoc Bao Bui
APSEC
2002
IEEE
14 years 21 days ago
Integrating Use-Case Analysis and Task Analysis for Interactive Systems
This paper presents an integrated process model of use-case driven analysis and task analysis for developing interactive systems. In the process model, an analysis model is develo...
Soon-Kyeong Kim, David A. Carrington
VL
2005
IEEE
159views Visual Languages» more  VL 2005»
14 years 1 months ago
Executable Visual Contracts
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
Marc Lohmann, Stefan Sauer, Gregor Engels
MODELS
2009
Springer
14 years 2 months ago
Generic Model Refactorings
Many modeling languages share some common concepts and principles. For example, Java, MOF, and UML share some aspects of the concepts of classes, methods, attributes, and inheritan...
Naouel Moha, Vincent Mahé, Olivier Barais, ...
ENTCS
2006
115views more  ENTCS 2006»
13 years 7 months ago
Using ATL for Checking Models
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...
Jean Bézivin, Frédéric Jouaul...