Using integer programming to verify general safety and liveness properties
Formal Methods in System Design - Special issue on computer-aided verification (based on CAV'92 workshop)
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Symbolic Model Checking
PROPEL: an approach supporting property elucidation
Proceedings of the 24th International Conference on Software Engineering
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Higher Quality Requirements Specifications through Natural Language Patterns
SWSTE '03 Proceedings of the IEEE International Conference on Software-Science, Technology & Engineering
Market research for requirements analysis using linguistic tools
Requirements Engineering
Flow analysis for verifying properties of concurrent software systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)
On the Systematic Analysis of Natural Language Requirements with CIRCE
Automated Software Engineering
An empirical comparison between direct and indirect test result checking approaches
Proceedings of the 3rd international workshop on Software quality assurance
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Proceedings of the 30th international conference on Software engineering
Using software engineering technology to improve the quality of medical processes
Companion of the 30th international conference on Software engineering
Rigorously Defining and Analyzing Medical Processes: An Experience Report
Models in Software Engineering
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Automatic Generation of Runtime Failure Detectors from Property Templates
Software Engineering for Self-Adaptive Systems
Automated identification of LTL patterns in natural language requirements
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
A benchmark for evaluating software engineering techniques for improving medical processes
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care
Authoring and verification of clinical guidelines: A model driven approach
Journal of Biomedical Informatics
iMuse: interactive model-based use-case and storytelling environment
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview
Proceedings of the 1st ACM International Health Informatics Symposium
Process-based derivation of requirements for medical devices
Proceedings of the 1st ACM International Health Informatics Symposium
Using process definitions to support reasoning about satisfaction of process requirements
ICSP'10 Proceedings of the 2010 international conference on New modeling concepts for today's software processes: software process
Applying restricted english grammar on automotive requirements: does it work? a case study
REFSQ'11 Proceedings of the 17th international working conference on Requirements engineering: foundation for software quality
Ontology-driven guidance for requirements elicitation
ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
NLARE, a natural language processing tool for automatic requirements evaluation
Proceedings of the CUBE International Information Technology Conference
C2O configurator: a tool for guided decision-making
Automated Software Engineering
Declarative modeling: an academic dream or the future for BPM?
BPM'13 Proceedings of the 11th international conference on Business Process Management
Hi-index | 0.00 |
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent these properties correctly, since there are often subtle, but important, details that need to be considered. Propel aims to guide users through the process of creating properties that are both accessible and mathematically precise, by providing templates for commonly-occurring property patterns. These templates explicitly represent these subtle details as options. In this paper, we present a new representation of these templates, a Question Tree that asks users a hierarchical sequence of questions about their intended properties. The Question Tree representation is particularly useful for helping users select the appropriate template, but it also complements the finite-state automaton and disciplined natural language representations provided by Propel. We also report on some case studies and on an experimental evaluation of the understandability of the disciplined natural language representation.