1308 search results - page 171 / 262 » Application of Hazard Analysis to Software Quality Modelling |
149
click to vote
MODELS
2007
Springer
16 years 15 days 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...
147
click to vote
SIGDOC
2009
ACM
16 years 27 days 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 — ...
191
click to vote
EDBT
2008
ACM
16 years 6 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...
142
click to vote
GECCO
2005
Springer
15 years 12 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...
143
click to vote
IUI
2004
ACM
15 years 11 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 ...