Sciweavers

417 search results - page 60 / 84
» Extending UML for Model Composition
Sort
View
123
Voted
ATAL
2009
Springer
15 years 8 months ago
GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
Bruno Mermet, Gaële Simon
141
Voted
ICSE
1998
IEEE-ACM
15 years 7 months ago
Integrating Architecture Description Languages with a Standard Design Method
Software architecture descriptions are high-level models of software systems. Some researchers have proposed specialpurpose architectural notations that have a great deal of expre...
Jason E. Robbins, Nenad Medvidovic, David F. Redmi...
133
Voted
EDOC
2009
IEEE
15 years 7 months ago
Realizing Correspondences in Multi-viewpoint Specifications
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...
José Raúl Romero, Juan Ignacio Jaen,...
123
Voted
SE
2010
15 years 5 months ago
Projectional Language Workbenches as a Foundation for Product Line Engineering
: In this paper I explain the benefits of projectional language workbenches for product line engineering. The ability to extend programming languages with domain specific concepts,...
Markus Voelter
128
Voted
CVPR
2008
IEEE
16 years 5 months ago
What do color changes reveal about an outdoor scene?
In an extended image sequence of an outdoor scene, one observes changes in color induced by variations in the spectral composition of daylight. This paper proposes a model for the...
Kalyan Sunkavalli, Fabiano Romeiro, Wojciech Matus...