Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Integrating obstacles in goal-driven requirements engineering
Proceedings of the 20th international conference on Software engineering
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Reusing single system requirements from application family requirements
Proceedings of the 21st international conference on Software engineering
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
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Extending requirement specifications using analogy
Proceedings of the 22nd international conference 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
PROPEL: an approach supporting property elucidation
Proceedings of the 24th International Conference on Software Engineering
Deriving operational software specifications from system goals
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
A survey of software reuse libraries
Annals of Software Engineering
Visual requirement representation
Journal of Systems and Software
Deriving operational software specifications from system goals
ACM SIGSOFT Software Engineering Notes
Technology Transfer for Reuse: A Management Model and Process Improvement Framework
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Building Formal Requirements Models for Reliable Software
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Semantic Matching of Web Services Capabilities
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Requirements interaction management
ACM Computing Surveys (CSUR)
Finding Reusable UML Sequence Diagrams Automatically
IEEE Software
Developing and managing software components in an ontology-based application server
Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware
Supporting application development in the semantic web
ACM Transactions on Internet Technology (TOIT)
Aligning an ERP system with enterprise requirements: an object-process based approach
Computers in Industry - Special issue: Current trends in ERP implementations and utilisation
Scenario support for effective requirements
Information and Software Technology
Requirements engineering: from craft to discipline
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Similarity-driven software reuse
CVSM '09 Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models
Aligning an ERP system with enterprise requirements: An object-process based approach
Computers in Industry - Special issue: Current trends in ERP implementations and utilisation
Ethics and Information Technology
Hi-index | 0.00 |
Reusing similar requirements fragments is among the promising ways to reduce elaboration time and increase requirements quality. This paper investigates the application of analogical reasoning techniques to complete partial requirements specifications. A case base is assumed to be available; it contains requirements frameworks involving goals, constraints, objects, actions, and agents from systems already specified. We show how a rich requirements meta-model coupled with an expressive formal assertion language may increase the effectiveness of analogical reuse. An acquisition problem is first specified by the requirements engineer as a query formulated in the vocabulary of the specification fragments built so far. Source cases and partial mappings are found by query generalization followed by search through the case base. Once analogies have been confirmed, mappings are completed by use of relevance rules that distinguish in the formal assertions what is relevant to the analogy from what is irrelevant. Best analogies are then selected and extended in such a way that logical properties of the answers to the query may be verified, thus increasing confidence in the analogy. The approach is illustrated by analogical acquisition of specifications of a meeting scheduler in the KAOS goal-oriented specification language.