Sciweavers

980 search results - page 98 / 196
» Modeling Domain Variability in Requirements Engineering with...
Sort
View
APSEC
2000
IEEE
15 years 2 months ago
Component-based application development on architecture of a model, UI and components
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as a formula of “a doma...
Takeshi Chusho, Hisashi Ishigure, Naoyuki Konda, T...
SOCO
2011
Springer
14 years 4 months ago
A novel approach to annotating web service based on interface concept mapping and semantic expansion
With the rapid development of web service technology in these years, traditional standards have been matured during the process of service registry and discovery. However, it is di...
Guobing Zou, Yang Xiang, Yanglan Gan, Yixin Chen
ECSA
2010
Springer
14 years 11 months ago
Functional Architecture Modeling for the Software Product Industry
Although a lot of research has been carried out on the technical architecture of software systems, the domain of Functional Architecture in the software product industry lacks a fo...
Sjaak Brinkkemper, Stella Pachidi
FATES
2003
Springer
15 years 3 months ago
Using a Software Testing Technique to Improve Theorem Proving
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
Reiner Hähnle, Angela Wallenburg
ATAL
2009
Springer
15 years 4 months ago
Operational semantics of goal models in adaptive agents
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...
Mirko Morandini, Loris Penserini, Anna Perini