PECAN: Program Development Systems that Support Multiple Views
IEEE Transactions on Software Engineering
The FAA's Advanced Automation System: Strategies for Future Air Traffic Control Systems
Computer - The FAA's Advanced Automation Program
Report on a knowledge-based software assistant
Readings in artificial intelligence and software engineering
Deriving specifications from requirements
ICSE '88 Proceedings of the 10th international conference on Software engineering
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
AI Magazine
Informal and Formal Requirements Specification Languages: Bridging the Gap
IEEE Transactions on Software Engineering
Teamwork Support in a Knowledge-Based Information Systems Environment
IEEE Transactions on Software Engineering
A flexible framework for cooperative distributed software development
Journal of Systems and Software
Enabling technology for knowledge sharing
AI Magazine
Requirements Validation Through Viewpoint Resolution
IEEE Transactions on Software Engineering
KBRA: A New Paradigm for Requirements Engineering
IEEE Expert: Intelligent Systems and Their Applications
Integrating Structured and Formal Methods: A Visual Approach to VDM
ESEC '91 Proceedings of the 3rd European Software Engineering Conference
Organizing Programming Knowledge into Syntax-Directed Experts
Proceedings of an International Workshop on Advanced Programming Environments
ACM Transactions on Software Engineering and Methodology (TOSEM)
Integrated support for software reuse in Computer-Aided Software Engineering (CASE)
ACM SIGSOFT Software Engineering Notes
Creating formal specifications from requirements documents
ACM SIGSOFT Software Engineering Notes
A general explanation component for conceptual modeling in CASE environments
ACM Transactions on Information Systems (TOIS)
Manipulating recovered software architecture views
ICSE '97 Proceedings of the 19th international conference on Software engineering
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
Conceptual schema analysis: techniques and applications
ACM Transactions on Database Systems (TODS)
Low-cost pathways towards formal methods use
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Designing scripts to guide users in modifying knowledge-based systems
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Tools for producing formal specifications: a view of current architectures and future directions
Annals of Software Engineering
Interactive Explanation of Software Systems
Automated Software Engineering
Representing Software Engineering Knowledge
Automated Software Engineering
CREWS-SAVRE: Scenarios for Acquiring and Validating Requirements
Automated Software Engineering
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
Developing Formal Specifications from Informal Requirements
IEEE Expert: Intelligent Systems and Their Applications
Systems Engineering Foundations of Software Systems Integration
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Preprocessing of Requirements Specification
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Recognizers for extracting architectural features from source code
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Event-Based Traceability for Managing Evolutionary Change
IEEE Transactions on Software Engineering
An active hypertext model for system requirements
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Towards extensible graphical formalisms
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Customizable descriptions of object-oriented models
ANLC '97 Proceedings of the fifth conference on Applied natural language processing
Information Sciences: an International Journal
Hi-index | 0.00 |
The approach to representation and presentation of knowledge used in ARIES, an environment to experiment with support for analysts in modeling target domains and in entering and formalizing system requirements, is described. To effectively do this, ARIES must manage a variety of notations so that analysts can enter information in a natural manner, and ARIES can present it back in different notations and from different viewpoints. To provide this functionality, a single, highly expressive internal representation is used for all information in the system. The system architecture separates representation and presentation, in order to localize consistency and propagation issues. The presentation architecture is tailored to be flexible enough so that new notations can be easily introduced on top of the underlying representation. Presentation knowledge is coupled to specification evolution knowledge thereby leveraging common representations for both in order to provide automated focusing support to users who need informative guidance in creating and modifying specifications.