Sciweavers

2765 search results - page 218 / 553
» Spatio-temporal Models and Languages: An Approach Based on C...
Sort
View
VL
2005
IEEE
159views Visual Languages» more  VL 2005»
16 years 7 days 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
ECBS
2007
IEEE
142views Hardware» more  ECBS 2007»
16 years 1 months ago
Model-Driven Engineering for Development-Time QoS Validation of Component-Based Software Systems
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
James H. Hill, Sumant Tambe, Aniruddha S. Gokhale
UM
2005
Springer
16 years 4 days ago
Social Navigation Support Through Annotation-Based Group Modeling
Closed corpus AH systems demonstrate what is possible to achieve with adaptive hypermedia technologies; however they are impractical for dealing with the large volume of open corpu...
Rosta Farzan, Peter Brusilovsky
VAMOS
2010
Springer
15 years 8 months ago
Supporting Stepwise, Incremental Product Derivation in Product Line Requirements Engineering
Deriving products from a software product line is difficult, particularly when there are many constraints in the variability of the product line. Understanding the impact of variab...
Reinhard Stoiber, Martin Glinz
SWWS
2008
15 years 8 months ago
A New Knowledge Representation Model to Support Multilingual Ontologies. A case Study
- Knowledge extraction methods have not efficiently evolved towards new methods to automate the process of building multilingual ontologies as the main representation of structured...
Jesús Cardeñosa, Carolina Gallardo, ...