12670 search results - page 111 / 2534 » Requirements Modeling |
109
Voted
ETFA
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper explains the modelling of distributed discrete-event systems in one single simulation model. Our purpose was to evaluate the design of the distributed system and to hig...
123
click to vote
LPNMR
2001
Springer
15 years 7 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
140
Voted
SPLC
2007
15 years 3 months ago
2007
Product lines need decision models that guide the derivation of product variants satisfying specific requirements. In dynamic product lines, whose requirements vary during runtime...
130
Voted
SYNASC
2005
IEEE
15 years 8 months ago
2005
IEEE
Business process modeling is an important phase during requirements collection. Usually functional, dynamic and role models are needed. We propose to integrate Role Activity Diagr...
72
Voted
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
Feature-based model templates have been proposed as a technique for modeling software product lines. We describe a set of tools supporting the technique, namely a feature model ed...