1308 search results - page 171 / 262 » Application of Hazard Analysis to Software Quality Modelling |
120
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
117
click to vote
SIGDOC
2009
ACM
15 years 10 months ago
2009
ACM
One of the major issues for user assistance systems consists of “providing help at an appropriate level”. In this paper we analyze the problem of modeling task experience — ...
156
click to vote
EDBT
2008
ACM
16 years 4 months ago
2008
ACM
In the demonstration, we will present the concepts and an implementation of an inductive database ? as proposed by Imielinski and Mannila ? in the relational model. The goal is to...
118
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Web services are rapidly changing the landscape of software engineering. One of the most interesting challenges introduced by web services is represented by Quality Of Service (Qo...
117
click to vote
IUI
2004
ACM
15 years 9 months ago
2004
ACM
Expert critiquing systems in education can support teachers in providing high quality individualized feedback to students. These systems, however, require significant development ...