Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Inquiry-Based Requirements Analysis
IEEE Software
Visualisation of conceptual specifications
CAISE '93 Selected papers from the fifth international conference on Advanced information systems engineering
Safeware: system safety and computers
Safeware: system safety and computers
Scenario-based design: envisioning work and technology in system development
Scenario-based design: envisioning work and technology in system development
From object-oriented to goal-oriented requirements analysis
Communications of the ACM
Requirements Elicitation and Validation with Real World Scenes
IEEE Transactions on Software Engineering
Guiding Goal Modeling Using Scenarios
IEEE Transactions on Software Engineering
Supporting Scenario-Based Requirements Engineering
IEEE Transactions on Software Engineering
Requirements Development in Scenario-Based Design
IEEE Transactions on Software Engineering
Applying the SCR requirements method to a weapons control panel: an experience report
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
A Critique of Software Defect Prediction Models
IEEE Transactions on Software Engineering
Software metrics: success, failures and new directions
Journal of Systems and Software - Special issue on invited articles on top systems and software engineering scholars
An impact analysis method for safety-critical user interface design
ACM Transactions on Computer-Human Interaction (TOCHI) - Special issue on interface design for safety-critical interactive systems: when there is no room for user error
Intent Specifications: An Approach to Building Human-Centered Specifications
IEEE Transactions on Software Engineering
Management of Performance Requirements for Information Systems
IEEE Transactions on Software Engineering
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Domain Theory: Patterns for Knowledge and Software Reuse
Domain Theory: Patterns for Knowledge and Software Reuse
Software Metrics: A Rigorous Approach
Software Metrics: A Rigorous Approach
Human Performance Engineering: A Guide for System Designers
Human Performance Engineering: A Guide for System Designers
Status Report: Requirements Engineering
IEEE Software
Software Measurement: Uncertainty and Causal Modeling
IEEE Software
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
From Safety Analysis to Software Requirements
IEEE Transactions on Software Engineering
Constructing Bayesian-network models of software testing and maintenance uncertainties
ICSM '97 Proceedings of the International Conference on Software Maintenance
Assessing the usability and efficiency of Design Rationale
INTERACT '97 Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction
Human Errors and System Requirements
RE '99 Proceedings of the 4th IEEE International Symposium on Requirements Engineering
ScenIC: A Strategy for Inquiry-Driven Requirements Determination
RE '99 Proceedings of the 4th IEEE International Symposium on Requirements Engineering
Validating Functional System Requirements with Scenarios
RE '02 Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering
An evaluation of inquiry-based requirements analysis for an Internet service
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Model Checking Early Requirements Specifications in Tropos
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Animation for Validation of Business System Specifications
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Information Systems Track-Collaboration Systems and Technology - Volume 2
A strategy for efficiently verifying requirements
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
A Java 3D implementation of a geon based visualisation tool for UML
PPPJ '03 Proceedings of the 2nd international conference on Principles and practice of programming in Java
Building large-scale Bayesian networks
The Knowledge Engineering Review
Nonfunctional Requirements: From Elicitation to Conceptual Models
IEEE Transactions on Software Engineering
Requirements Engineering Tools Go Mobile
Proceedings of the 26th International Conference on Software Engineering
Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice
RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International
Human-Centred Requirements Engineering
RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International
Empirical comparisons of animation and narration in requirements validation
Requirements Engineering
Scenario advisor tool for requirements engineering
Requirements Engineering
Test scenario generation from a structured requirements specification
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
PREHEP: human error probability based process unit selection
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
A validation system for object oriented specifications of information systems
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Collaborative architecture design and evaluation
DIS '06 Proceedings of the 6th conference on Designing Interactive systems
Towards a user-centred road safety management method based on road traffic simulation
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
A defect prediction method for software versioning
Software Quality Control
Network Security Validation Using Game Theory
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Process-oriented complete requirement engineering cycle for generic projects
Proceedings of the International Conference and Workshop on Emerging Trends in Technology
Towards evidence-based architectural design for safety-critical software applications
Architecting dependable systems IV
DREAMER: a design rationale environment for argumentation, modeling and engineering requirements
Proceedings of the 28th ACM International Conference on Design of Communication
Identification of behavioural and creational design motifs through dynamic analysis
Journal of Software Maintenance and Evolution: Research and Practice
Elicitation of non-functional requirement preference for actors of usecase from domain model
PKAW'06 Proceedings of the 9th Pacific Rim Knowledge Acquisition international conference on Advances in Knowledge Acquisition and Management
Requirements engineering tools: Capabilities, survey and assessment
Information and Software Technology
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Modeling personalized adaptive systems
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Hi-index | 0.00 |
This paper describes a method and a tool for validating nonfunctional requirements in complex socio-technical systems. The System Requirements Analyzer (SRA) tool validates system reliability and operational performance requirements using scenario-based testing. Scenarios are transformed into sequences of task steps and the reliability of human agents performing tasks with computerized technology is assessed using Bayesian Belief Network (BN) models. The tool tests system performance within an envelope of environmental variations and reports the number of tests that pass a benchmark threshold. The tool diagnoses problematic areas in scenarios representing pathways through system models, assists in the identification of their causes, and supports comparison of alternative requirements specifications and system designs. It is suitable for testing socio-technical systems where operational scenarios are sequential and deterministic, in domains where designs are incrementally modified so set up costs of the BNs can be defrayed over multiple tests.