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)
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
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
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Software requirements: Are they really a problem?
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Special issue on knowledge representation
ACM SIGART Bulletin
Structured Analysis (SA): A Language for Communicating Ideas
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
An Extendable Approach to Computer-Aided Software Requirements Engineering
IEEE Transactions on Software Engineering
Knowledge engineering for software design
ACM SIGSOFT Software Engineering Notes
An approach to the classification of domain models in support of analogical reuse
SSR '95 Proceedings of the 1995 Symposium on Software reusability
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Management of Performance Requirements for Information Systems
IEEE Transactions on Software Engineering
Representing Software Engineering Knowledge
Automated Software Engineering
Why Is It So Difficult to Introduce RE Research Results into Mainstream RE Practice?
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
A programming language framework for designing user interfaces
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
A requirement model for the 5th generation
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Specification and validation of process constraints for flexible workflows
Information Systems
A methodology and tool support for managing business rules in organisations
Information Systems
A DSS Design Model for complex problems: Lessons from mission critical infrastructure
Decision Support Systems
Context-aware feature-oriented modeling with an aspect extension of VDM
Proceedings of the 2007 ACM symposium on Applied computing
A context analysis method for constructing reliable embedded systems
Proceedings of the 2008 international workshop on Models in software engineering
John Mylopoulos: Sewing Seeds of Conceptual Modelling
Conceptual Modeling: Foundations and Applications
Conceptual Modeling: Foundations and Applications
Reasoning About Alternative Requirements Options
Conceptual Modeling: Foundations and Applications
A methodology and tool support for managing business rules in organisations
Information Systems
Context-dependent product line practice for constructing reliable embedded systems
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Embedding requirements within Model-Driven Architecture
Software Quality Control
SWDB'04 Proceedings of the Second international conference on Semantic Web and Databases
Journal of Visual Languages and Computing
Towards a unified view of system development methods
International Journal of Information Management: The Journal for Information Professionals
Context-dependent product line engineering with lightweight formal approaches
Science of Computer Programming
| Hi-index | 0.00 |
The view is adopted that software requirements involve the representation (modeling) of considerable real-world knowledge, not just functional specifications. A framework (RMF) for requirements models is presented and its main features are illustrated. RMF allows information about three types of conceptual entities (objects, activities, and assertions) to be recorded uniformly using the notion of properties. By grouping all entities into classes or metaclasses, and by organizing classes into generalization (specialization) hierarchies, RMF supports three abstraction principles (classification, aggregation, and generalization) which appear to be of universal importance in the development and organization of complex descriptions. Finally, by providing a mathematical model underlying our terminology, we achieve both unambiguity and the potential to verify consistency of the model.