Language features for flexible handling of exceptions in information systems
ACM Transactions on Database Systems (TODS)
A requirements modeling language and its logic
Information Systems
Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Knowledge representations as the basis for requirements specifications
Readings in artificial intelligence and software engineering
Object-oriented systems analysis: modeling the world in data
Object-oriented systems analysis: modeling the world in data
Modeling class hierarchies with contradictions
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Recording the reasons for design decisions
ICSE '88 Proceedings of the 10th international conference on Software engineering
gIBIS: a hypertext tool for exploratory policy discussion
ACM Transactions on Information Systems (TOIS)
Readings in cognitive science: a perspective from psychology & artificial intelligence
Readings in cognitive science: a perspective from psychology & artificial intelligence
Object-oriented analysis
Object oriented design with applications
Object oriented design with applications
Constraint propagation algorithms for temporal reasoning: a revised report
Readings in qualitative reasoning about physical systems
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
The Requirements Apprentice: Automated Assistance for Requirements Acquisition
IEEE Transactions on Software Engineering
Object-oriented software engineering
Object-oriented software engineering
Object-oriented systems analysis: a model-driven approach
Object-oriented systems analysis: a model-driven approach
DAIDA: an environment for evolving information systems
ACM Transactions on Information Systems (TOIS)
Editorial: Knowledge Representation and Reasoning in Software Engineering
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Supporting Systems Development by Capturing Deliberations During Requirements Engineering
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Object-oriented modeling and design
Object-oriented modeling and design
Designing object-oriented software
Designing object-oriented software
Representation and Presentation of Requirements Knowledge
IEEE Transactions on Software Engineering
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Exceptions for algebraic specifications: on the meaning of “but”
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
ACM Transactions on Software Engineering and Methodology (TOSEM)
Representing and using non-functional requirements: a process-oriented approach
Representing and using non-functional requirements: a process-oriented approach
ConceptBase—a deductive object base for meta data management
Journal of Intelligent Information Systems - Special issue: deductive and object-oriented databases
Expressing the relationships between multiple views in requirements specification
ICSE '93 Proceedings of the 15th international conference on Software Engineering
“…And nothing else changes”: the frame problem in procedure specifications
ICSE '93 Proceedings of the 15th 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
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
System and Software Requirements Engineering
System and Software Requirements Engineering
Exploring Requirements: Quality Before Design
Exploring Requirements: Quality Before Design
Associative Networks: The Representation and Use of Knowledge by Computers
Associative Networks: The Representation and Use of Knowledge by Computers
The software information base: a server for reuse
The VLDB Journal — The International Journal on Very Large Data Bases
Critiquing Software Specifications
IEEE Software
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Requirements Engineering - Getting Right from Wrong
ESEC '91 Proceedings of the 3rd European Software Engineering Conference
Inconsistency Handling in Multi-Perspective Specifications
ESEC '93 Proceedings of the 4th European Software Engineering Conference on Software Engineering
Formal Requirements Made Practical
ESEC '93 Proceedings of the 4th European Software Engineering Conference on Software Engineering
A Data Model for Requirements Analysis
Proceedings of the Second International Conference on Data Engineering
CAiSE '93 Proceedings of Advanced Information Systems Engineering
A Contribution to the Definition of Concepts for Expressing Users' Information Systems Requirements
Proceedings of the 1st International Conference on the Entity-Relationship Approach to Systems Analysis and Design
Information systems: Modelling, sequencing and transformations
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Dialogue and process design for interactive information systems using Taxis
Proceedings of the SIGOA conference on Office information systems
Software requirements: Are they really a problem?
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Capturing more world knowledge in the requirements specification
ICSE '82 Proceedings of the 6th international conference on Software engineering
Requirements modeling: a knowledge representation approach to software requirements definition
Requirements modeling: a knowledge representation approach to software requirements definition
Addressing requirements issues within a conceptual modeling environment
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Operational specification as the basis for rapid prototyping
Proceedings of the workshop on Rapid prototyping
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
Structured Analysis for Requirements Definition
IEEE Transactions on Software Engineering
Structured Analysis (SA): A Language for Communicating Ideas
IEEE Transactions on Software Engineering
Putting theories together to make specifications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Models for supporting the redesign of organizational work
COCS '95 Proceedings of conference on Organizational computing systems
How to identify binary relations for domain models
Proceedings of the 18th international conference on Software engineering
A meta-model for restructuring stakeholder requirements
ICSE '97 Proceedings of the 19th international conference on Software engineering
Conflicts in Policy-Based Distributed Systems Management
IEEE Transactions on Software Engineering
A knowledge-based COTS-aware requirements engineering approach
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
A practical approach to combining requirements definition and object-oriented analysis
Annals of Software Engineering
Representing Software Engineering Knowledge
Automated Software Engineering
The Knowledge Acquisition and Representation Language, KARL
IEEE Transactions on Knowledge and Data Engineering
Specialization/Generalization in Object-Oriented Analysis: Strengthening and Multiple Partitioning
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
"Real World" as an Argument for Covariant Specialization in Programming and Modeling
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
An approach to building quality into software architecture
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Requirements interaction management
ACM Computing Surveys (CSUR)
ACME/PRIME: Requirements Acquisition for Process-Driven Systems
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
RAMASD: a semi-automatic method for designing agent organisations
The Knowledge Engineering Review
Knowledge discovery and experience modeling in computer forensics media analysis
ISICT '04 Proceedings of the 2004 international symposium on Information and communication technologies
Performance modeling and analysis of software architectures: an aspect-oriented UML based approach
Science of Computer Programming - Special issue on system and software architectures(IWSSA'04)
Problem frame transformations: deriving specifications from requirements
Proceedings of the 2006 international workshop on Advances and applications of problem frames
A practical extension to the VORD model
ACM SIGSOFT Software Engineering Notes
Proceedings of the 43rd annual Southeast regional conference - Volume 2
Integrating visual goal models into the Rational Unified Process
Journal of Visual Languages and Computing
A DSS Design Model for complex problems: Lessons from mission critical infrastructure
Decision Support Systems
How knowledge representation meets software engineering (and often databases)
Automated Software Engineering
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
BPM'03 Proceedings of the 2003 international conference on Business process management
A web-based animator for validating object specifications
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
A computational framework for authoring and searching product design specifications
Advanced Engineering Informatics
Pre-conceptual schema: a conceptual-graph-like knowledge representation for requirements elicitation
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
The validation of formal specifications of requirements
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Regulatory requirements traceability and analysis using semi-formal specifications
REFSQ'13 Proceedings of the 19th international conference on Requirements Engineering: Foundation for Software Quality
KBRE: a framework for knowledge-based requirements engineering
Software Quality Control
Hi-index | 0.00 |