4418 search results - page 37 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
148
click to vote
ER
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...
125
click to vote
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
173
click to vote
STORYTELLING
2005
Springer
15 years 9 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
135
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Building realistic end user scenarios for ubiquitous computing applications entails large up-front investments. Many context adaptive applications so far fail to live up to their ...
115
click to vote
KAIS
2007
15 years 3 months ago
2007
Eliciting requirements for a proposed system inevitably involves the problem of handling undesirable information about customer’s needs, including inconsistency, vagueness, redun...