1926 search results - page 70 / 386 » Modeling and Model Checking Software Product Lines |
152
Voted
REFSQ
2007
Springer
15 years 11 months ago
2007
Springer
This paper investigates two integer linear programming models that integrate requirement scheduling into software release planning. The first model can schedule the development of ...
135
click to vote
KBSE
2002
IEEE
15 years 10 months ago
2002
IEEE
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate—the software is expected to ...
128
click to vote
ANOR
2002
15 years 5 months ago
2002
Abstract: We define events so as to reduce the number of events and decision variables needed for modeling batchscheduling problems such as described in [Westenberger and Kallrath ...
134
click to vote
TASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
127
click to vote
EUROMICRO
2002
IEEE
15 years 10 months ago
2002
IEEE
Today there is a number of established software development lifecycle models (SDLMs) supporting software development. Correct implementation of these models helps develop software...