A requirements modeling language and its logic
Information Systems
Proc. of the IFIP WG 8.1 working conference on Information systems design methodologies: improving the practice
Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Deriving specifications from requirements
ICSE '88 Proceedings of the 10th international conference on Software engineering
Constructing Specifications by Combining Parallel Elaborations
IEEE Transactions on Software Engineering
Abstract Object Types: A Temporal Perspective
Temporal Logic in Specification
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
Deriving specifications from requirements: an example
Proceedings of the 17th international conference on Software engineering
O-O Requirements Analysis: an Agent Perspective
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Beyond Goal Representation: Checking Goal-Satisfaction by Temporal Reasoning with Business Processes
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
A model for composite system design
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
A framework of intentional characters for simulation of social behavior
Proceedings of the 2010 Summer Computer Simulation Conference
| Hi-index | 0.00 |