Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Resolving adversarial conflicts: an approach integration case-based and analytic methods
Resolving adversarial conflicts: an approach integration case-based and analytic methods
Practical planning: extending the classical AI planning paradigm
Practical planning: extending the classical AI planning paradigm
Constructing Specifications by Combining Parallel Elaborations
IEEE Transactions on Software Engineering
Integrating multiple specifications using domain goals
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Building an evolution transformation library
ICSE '90 Proceedings of the 12th international conference on Software engineering
Knowledge Representation and Reasoning in the Design of Composite Systems
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Applying domain and design knowledge to requirements engineering
ACM SIGOIS Bulletin - Special issue on information system design support tools
IEEE Transactions on Software Engineering
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
A meta-model for restructuring stakeholder requirements
ICSE '97 Proceedings of the 19th international conference on Software engineering
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Integrating obstacles in goal-driven requirements engineering
Proceedings of the 20th 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
Developing Formal Specifications from Informal Requirements
IEEE Expert: Intelligent Systems and Their Applications
Surfacing Root Requirements Interactions from Inquiry Cycle Requirements Documents
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Requirements interaction management
ACM Computing Surveys (CSUR)
Specification criticism via goal-directed envisionment
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Addressing requirements issues within a conceptual modeling environment
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
A model for composite system design
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Using risk analysis to evaluate design alternatives
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
Designing cooperative IS: exploring and evaluating alternatives
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Hi-index | 0.00 |