Sciweavers

5407 search results - page 124 / 1082
» The Software Engineering Global Model
Sort
View
MODELS
2007
Springer
15 years 4 months ago
Model and Formalism Driven Development of Collaborative Applications
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
Bertrand T. David, René Chalon
GECCO
2008
Springer
135views Optimization» more  GECCO 2008»
14 years 11 months ago
The directional EDA for global optimization
This article presents a robust EDA for global optimization with real parameters. The approach is based on the linear combination of individuals of two populations. One is the curr...
Pedro P. Mayorga-Alvarez, Arturo Hernández ...
FOSSACS
2007
Springer
15 years 4 months ago
Model-Checking One-Clock Priced Timed Automata
Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Ma...
ICFEM
2005
Springer
15 years 3 months ago
A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing
Ana Paiva, João C. P. Faria, Nikolai Tillma...
EUROMICRO
2002
IEEE
15 years 2 months ago
Local Components and Reuse of Legacy Code in the CORBA Component Model
Egon Teiniker, Stefan Mitterdorfer, Christian Krei...