2274 search results - page 270 / 455 » Qualitative Modeling for Requirements Engineering |
161
click to vote
ENTCS
2007
15 years 6 months ago
2007
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
159
click to vote
SOCO
2010
Springer
15 years 4 months ago
2010
Springer
Witnesses and victims of serious crime are often required to construct a facial composite, a visual likeness of a suspect’s face. The traditional method is for them to select in...
204
click to vote
COMPSAC
2010
IEEE
15 years 3 months ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
168
click to vote
EUROMICRO
2005
IEEE
16 years 4 days ago
2005
IEEE
In multi-disciplinary development, where various domain specific tools are used by developers to specify and analyse a system, efficient system development requires that the model...
180
click to vote
ICSR
2004
Springer
15 years 12 months ago
2004
Springer
Analyzing commonalities and variabilities among products of a product line is an essential activity for product line asset development. A feature-oriented approach to commonality a...