Sciweavers

139 search results - page 18 / 28
» Test Driven Development of UML Models with SMART Modeling Sy...
Sort
View
SOSYM
2010
174views more  SOSYM 2010»
13 years 6 months ago
Automatic generation of basic behavior schemas from UML class diagrams
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...
Manoli Albert, Jordi Cabot, Cristina Gómez,...
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
14 years 26 days ago
An MDA Approach to Tame Component Based Software Development
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
Jean-Marc Jézéquel, Olivier Defour, ...
METAINFORMATICS
2004
Springer
14 years 1 months ago
Describing Use Cases with Activity Charts
Abstract. The Model-Driven Development (MDD) describes and maintains models of the system under development. The Unified Modeling Language (UML) supports a set of semantics and no...
Jesús Manuel Almendros-Jiménez, Luis...
AIIA
2007
Springer
14 years 1 months ago
A 3D Virtual Model of the Knee Driven by EMG Signals
A 3D virtual model of the human lower extremity has been developed for the purpose of examining how the neuromuscular system controls the muscles and generates the desired movement...
Massimo Sartori, Gaetano Chemello, Enrico Pagello
PDSE
1998
126views more  PDSE 1998»
13 years 9 months ago
Validation and Test Generation for Object-Oriented Distributed Software
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
Thierry Jéron, Jean-Marc Jézé...