Requirement Progression in Problem Frames Applied to a Proton Therapy System

Authors:
Robert Seater;Daniel Jackson
Affiliations:
Massachusetts Institute of Technology;Massachusetts Institute of Technology
Venue:
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Year:
2006

Citing 0
Cited 6

What Can We Expect from Program Verification?

Computer
Progressing problems from requirements to specifications in problem frames

Proceedings of the 3rd international workshop on Applications and advances of problem frames
Using the event calculus to reason about problem diagrams

Proceedings of the 3rd international workshop on Applications and advances of problem frames
Extending Problem Frames to deal with stakeholder problems: An Agent- and Goal-Oriented Approach

Proceedings of the 2009 ACM symposium on Applied Computing
Early Identification of Problem Interactions: A Tool-Supported Approach

REFSQ '09 Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality
Specifying software features for composition: A tool-supported approach

Computer Networks: The International Journal of Computer and Telecommunications Networking

Quantified Score

Hi-index	0.00

Visualization

Abstract

Over the past 25 years, user interface designers and usability engineers have studied and refined human-computer interaction techniques with the goal of improving people's productivity and experience. One result is an increasing number of tools designed ...