234 search results - page 7 / 47 » Validation of requirement models by automatic prototyping |
101
Voted
HCI
2009
14 years 8 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
82
Voted
ISSRE
2003
IEEE
15 years 4 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
116
click to vote
RE
2010
Springer
14 years 5 months ago
2010
Springer
The design of the variability of a software product line is crucial to its success and evolution. Meaningful variable features need to be elicited, analyzed, documented and validat...
HICSS
1997
IEEE
15 years 3 months ago
1997
IEEE
Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems. Formal approaches and model...
118
Voted
ASE
2006
14 years 11 months ago
2006
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...