Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A logic of action for supporting goal-oriented elaborations of requirements
IWSSD '89 Proceedings of the 5th international workshop on Software specification and 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
Specification criticism via goal-directed envisionment
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Expressing the relationships between multiple views in requirements specification
ICSE '93 Proceedings of the 15th international conference on Software Engineering
O-O Requirements Analysis: an Agent Perspective
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Hi-index | 0.00 |