1926 search results - page 118 / 386 » Modeling and Model Checking Software Product Lines |
155
click to vote
WSC
1997
15 years 7 months ago
1997
Researchers at the National Institute of Standards and Technology have been developing a simulation-based production testbed. This testbed contains continuous simulation models of...
175
click to vote
JSW
2008
15 years 6 months ago
2008
An application framework provides reusable design and implementation for a family of software systems. At the application engineering stage, application developers extend framework...
184
click to vote
ER
2006
Springer
15 years 8 months ago
2006
Springer
Initial software quality requirements tend to be imprecise, subjective, idealistic, and context-specific. An extended characterization of the common Softgoal concept is proposed fo...
144
click to vote
CASSIS
2004
Springer
15 years 11 months ago
2004
Springer
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...
162
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...