Analogical approach to specification derivation
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
A conceptual modelling approach to authoring-in-the-large for hypertext documents
COCS '91 Proceedings of the conference on Organizational computing systems
Requirements Validation Through Viewpoint Resolution
IEEE Transactions on Software Engineering
Supporting Systems Development by Capturing Deliberations During Requirements Engineering
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
An actor dependency model of organizational work: with application to business process reengineering
COCS '93 Proceedings of the conference on Organizational computing systems
Templar: a knowledge-based language for software specifications using temporal logic
ACM Transactions on Information Systems (TOIS)
Simulation and analysis of business processes using GOLOG
COCS '95 Proceedings of conference on Organizational computing systems
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
Understanding “why” in software process modelling, analysis, and design
ICSE '94 Proceedings of the 16th international conference on Software engineering
Representing Software Engineering Knowledge
Automated Software Engineering
Critiquing Software Specifications
IEEE Software
Constraint Analysis: A Design Process for Specifying Operations on Objects
IEEE Transactions on Knowledge and Data Engineering
Metadata and Cooperative Knowledge Management
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Agent-Oriented Modelling: Software versus the World
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Selected AI-related dissertations
ACM SIGART Bulletin
Object oriented knowledge representation framework for requirements engineering
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Pre-conceptual schema: a conceptual-graph-like knowledge representation for requirements elicitation
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
Hi-index | 0.00 |