ICSE
2011
IEEE-ACM
13 years 2 months ago
2011
IEEE-ACM
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
RE
2002
Springer
13 years 11 months ago
2002
Springer
Problem frames provide a means of analyzing and decomposing problems. They emphasise the world outside of the computer, helping the developer to focus on the problem domain, inste...
ESE
2000
13 years 11 months ago
2000
Problem frames are a relatively new approach to requirements engineering, promising benefits not only in elicitation but also in subsequent design, by allowing their users to selec...
EXACT
2007
14 years 1 months ago
2007
Systems in general, and intelligent systems in particular, need to be able to explain their behaviour to their users or partners. Previously, a number of different user goals that...
CAISE
2006
Springer
14 years 3 months ago
2006
Springer
symbol systems and the world. In the case of problem frames the symbol systems are abstractions of the problems that an IS will solve rather than sentences, and the world is the pr...
ASWEC
2006
IEEE
14 years 3 months ago
2006
IEEE
We propose a software development method for enterprise applications that combines the use of the structural concepts provided by problem frames, and the use of the UML notation. ...
ICECCS
1997
IEEE
14 years 3 months ago
1997
IEEE
An approach to problem analysis is described, based on the notion of a problem frame. Problem frames are intended to capture classes of recognisable and soluble problems. Because ...
RE
2004
Springer
14 years 4 months ago
2004
Springer
Jackson’s Problem Frames provide a means of analysing and decomposing problems. They emphasise the world outside the computer helping the developer to focus on the problem domai...
RE
2004
Springer
14 years 4 months ago
2004
Springer
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...
SAFECOMP
2005
Springer
14 years 5 months ago
2005
Springer
Abstract. We present several problem frames that serve to structure, characterize and analyze software development problems in the area of software and system security. These probl...