Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Constructing Specifications by Combining Parallel Elaborations
IEEE Transactions on Software Engineering
Program developments: formal explanations of implementations
Communications of the ACM
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Towards formalization of specification design
Towards formalization of specification design
A proposed perspective shift: viewing specification design as a planning problem
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
Negotiation behavior during requirements specification
ICSE '90 Proceedings of the 12th international conference on Software engineering
The Requirements Apprentice: Automated Assistance for Requirements Acquisition
IEEE Transactions on Software Engineering
Requirements Validation Through Viewpoint Resolution
IEEE Transactions on Software Engineering
Applying domain and design knowledge to requirements engineering
ACM SIGOIS Bulletin - Special issue on information system design support tools
Applying multiple views to information systems: a preliminary framework
ACM SIGMIS Database
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
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
Automated assistance for conflict resolution in multiple perspective systems analysis and operation
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
About views for modeling software processes in a role-specific manner
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
A meta-model for restructuring stakeholder requirements
ICSE '97 Proceedings of the 19th international conference on Software engineering
Domain modeling for software engineering
ICSE '91 Proceedings of the 13th international conference on Software engineering
Expressing the relationships between multiple views in requirements specification
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Supporting the negotiation life cycle
Communications of the ACM
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions 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
Requirements engineering in the year 00: a research perspective
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
Agent-based tactics for goal-oriented requirements elaboration
Proceedings of the 24th International Conference on Software Engineering
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)
On the Consequences of Acting in the Presence of Inconsistency
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Goal-directed concept acquisition in requirements elicitation
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Managing requirements conflicts in software product lines: A goal and scenario based approach
Data & Knowledge Engineering
Information and Software Technology
Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
Capturing behavior coordination in goal-oriented requirement engineering
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
A human-centric perspective on ubiquitous knowledge discovery
Ubiquitous knowledge discovery
A human-centric perspective on ubiquitous knowledge discovery
Ubiquitous knowledge discovery
NLDB'05 Proceedings of the 10th international conference on Natural Language Processing and Information Systems
Assessing project effort in requirements engineering: a report on design research in progress
DESRIST'10 Proceedings of the 5th international conference on Global Perspectives on Design Science Research
| Hi-index | 0.02 |