Sciweavers

2878 search results - page 177 / 576
» Analyzing the Uses of a Software Modeling Tool
Sort
View
VAMOS
2009
Springer
16 years 10 days ago
Some Challenges of Feature-based Merging of Class Diagrams
In software product line engineering, feature models enable to automate the generation of productspecific models in conjunction with domain “base models” (e.g. UML models). T...
Germain Saval, Jorge Pinna Puissant, Patrick Heyma...
APSEC
2007
IEEE
16 years 4 days ago
Towards Instant Automatic Model Refinement Based on OCL
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
Hui Song, Yanchun Sun, Li Zhou, Gang Huang
ICSEA
2007
IEEE
16 years 3 days ago
Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
Gordon Fraser, Franz Wotawa
145
Voted
COMPSAC
1997
IEEE
15 years 10 months ago
Model-integrated system development: models, architecture, and process
Many large software systems are tightly integrated with their physical environments and must be adapted when their environment changes. Typically, software development methodologi...
Gabor Karsai, Amit Misra, Janos Sztipanovits, &Aac...
RE
2006
Springer
15 years 5 months ago
Understanding Business Strategies of Networked Value Constellations Using Goal- and Value Modeling
In goal-oriented requirements engineering (GORE), one usually proceeds from a goal analysis to a requirements specification, usually of IT systems. In contrast, we consider the us...
Jaap Gordijn, Michaël Petit, Roel Wieringa