{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:42:38Z","timestamp":1778298158053,"version":"3.51.4"},"reference-count":180,"publisher":"Elsevier BV","issue":"3-4","license":[{"start":{"date-parts":[[1998,5,1]],"date-time":"1998-05-01T00:00:00Z","timestamp":893980800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Systems"],"published-print":{"date-parts":[[1998,5]]},"DOI":"10.1016\/s0306-4379(98)00005-2","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T14:22:28Z","timestamp":1027606948000},"page":"127-155","source":"Crossref","is-referenced-by-count":125,"title":["Information modeling in the time of the revolution"],"prefix":"10.1016","volume":"23","author":[{"given":"John","family":"Mylopoulos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0306-4379(98)00005-2_BIB1","series-title":"Proceedings of the ACM SIGMOD International Conference on the Management of Data","first-page":"238","article-title":"Objects and views","author":"Abiteboul","year":"1991"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB2","series-title":"Data Management Systems","article-title":"Data semantics","author":"Abrial","year":"1974"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB3","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","article-title":"Towards a general theory of action and time","volume":"23","author":"Allen","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB4","author":"Anderson","year":"1973"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB5","volume":"Volume I","author":"Anderson","year":"1975"},{"issue":"2","key":"10.1016\/S0306-4379(98)00005-2_BIB6","article-title":"Interim report","volume":"7","year":"1975","journal-title":"FDT"},{"issue":"4","key":"10.1016\/S0306-4379(98)00005-2_BIB7","doi-asserted-by":"crossref","first-page":"25","DOI":"10.4018\/jdm.1997100103","article-title":"A crash course on metaphysics for the database designer","volume":"8","author":"Artz","year":"1997","journal-title":"Journal of Database Management"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB8","doi-asserted-by":"crossref","DOI":"10.1016\/B978-0-444-88433-6.50020-4","article-title":"The object-oriented database system manifesto","author":"Atkinson","year":"1990"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB9","series-title":"Proceeding Twentyfifth Annual Meeting of the Association for Computational Linguistics, (ACL'87)","first-page":"32","article-title":"An environment for acquiring semantic information","author":"Ayuso","year":"1987"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB10","series-title":"Proceedings Symposium on Rapid Prototyping","first-page":"3","article-title":"Operational specifications as a basis for rapid prototyping","volume":"7","author":"Balzer","year":"1982"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB11","series-title":"Proceedings International Conference on Software Engineering","first-page":"158","article-title":"Tolerating inconsistency","author":"Balzer","year":"1991"},{"issue":"3\u20134","key":"10.1016\/S0306-4379(98)00005-2_BIB12","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0306-4379(84)90008-5","article-title":"A methodology for conceptual schema design of office databases","volume":"9","author":"Batini","year":"1984","journal-title":"Information Systems"},{"issue":"4","key":"10.1016\/S0306-4379(98)00005-2_BIB13","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1145\/27633.27634","article-title":"A comparative analysis of methodologies for database schema integration","volume":"18","author":"Batini","year":"1986","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB14","author":"Batini","year":"1992"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB15","series-title":"Proceedings Second International Conference on Software Engineering","first-page":"61","article-title":"Software requirements: Are they really a problem","author":"Bell","year":"1976"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB16","series-title":"Modelling and Methodologis for Enterprise Integration","year":"1996"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB17","year":"1998"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB18","series-title":"International Conference on Extending Database Technologies (EDBT'92)","article-title":"A view mechanism for object-oriented databases","author":"Bertino","year":"1992"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB19","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1207\/s15516709cog0101_2","article-title":"An overview of KRL, a knowledge representation language","volume":"1","author":"Bobrow","year":"1977","journal-title":"Cognitive Science"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB20","series-title":"Proceedings, Seventeenth International Conference on Software Engineering","first-page":"243","article-title":"Software requirements negotiation and renegotiation aids: a theory-W-based spiral approach","author":"Boehm","year":"1995"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB21","author":"Boman","year":"1997"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB22","author":"Booch","year":"1992"},{"issue":"4","key":"10.1016\/S0306-4379(98)00005-2_BIB23_1","doi-asserted-by":"crossref","DOI":"10.1109\/MC.1985.1662870","article-title":"Knowledge representation as a basis for requirements specification","volume":"18","author":"Borgida","year":"1985","journal-title":"IEEE Computer"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB23_2","author":"Rich","year":"1987"},{"issue":"1","key":"10.1016\/S0306-4379(98)00005-2_BIB24","doi-asserted-by":"crossref","DOI":"10.1109\/MS.1985.230050","article-title":"Features of languages for the development of information systems at the conceptual level","volume":"2","author":"Borgida","year":"1985","journal-title":"IEEE Software"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB25","series-title":"On Knowledge Base Management Systems: Perspectives from Artificial Intelligence and Databases","article-title":"Learning improved integrity constraints and schemas from exceptions in databases and knowledge bases","author":"Borgida","year":"1986"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB26","series-title":"Proceedings ACM SIGMOD International Conference on the Management of Data","first-page":"434","article-title":"Modeling class hierarchies with contradictions","author":"Borgida","year":"1988"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB27","series-title":"Proceedings ACM SIGMOD International Conference on the Management of Data","article-title":"CLASSIC\/DB: A structural data model for objects","author":"Borgida","year":"1989"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB28","series-title":"Proceedings Entity-Relationship Conference","article-title":"Knowledge representation and semantic data modelling: Similarities and differences","author":"Borgida","year":"1990"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB29","series-title":"Conceptual Modeling, Databases and CASE: An Integrated View of Information System Development","article-title":"Using expert systems in schema design","author":"Bouzeghoub","year":"1992"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB30","series-title":"Associative Networks: Representation and Use of Knowledge by Computers","article-title":"On the epistemological status of semantic networks","author":"Brachman","year":"1979"},{"issue":"10","key":"10.1016\/S0306-4379(98)00005-2_BIB31","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1109\/MC.1983.1654200","article-title":"Krypton: A functional approach to knowledge representation","volume":"16","author":"Brachman","year":"1983","journal-title":"IEEE Computer"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB32","doi-asserted-by":"crossref","DOI":"10.1109\/MC.1983.1654194","article-title":"\u201cWhat is-a is and isn't\u201d: An analysis of taxonomic links in semantic networks","author":"Brachman","year":"1983","journal-title":"IEEE Computer"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB33","series-title":"Readings in Knowledge Representation","first-page":"41","article-title":"A fundamental tradeoff in knowledge representation and reasoning (Revised Version)","author":"Brachman","year":"1984"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB34","series-title":"Readings in Knowledge Representation","first-page":"41","year":"1984"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB35","series-title":"Proceedings of Workshop on Data Abstraction, Databases and Conceptual Modelling","year":"1981"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB36","series-title":"On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages","year":"1984"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB37","series-title":"On Knowledge Base Management Systems: Perspectives from Artificial Intelligence and Databases","year":"1986"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB38","series-title":"On Knowledge Base Management Systems: Perspectives from Artificial Intelligence and Databases","article-title":"On the development of data models","author":"Brodie","year":"1986"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB39","series-title":"Proceedings IFIP Congress '80","first-page":"395","article-title":"Information modeling in the context of system development","author":"Bubenko","year":"1980"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB40","author":"Bunge","year":"1977"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB41","author":"Carnap","year":"1967"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB42","series-title":"Proceedings IFIP WG 2.6 & WG 8.1 Meeting","article-title":"Information system design: An expert system approach","author":"Cauvet","year":"1988"},{"issue":"1","key":"10.1016\/S0306-4379(98)00005-2_BIB43","doi-asserted-by":"crossref","DOI":"10.1145\/320434.320440","article-title":"The entity-relationship model: Towards a unified view of data","volume":"1","author":"Chen","year":"1976","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB44","series-title":"Conceptual Modeling, Databases and CASE: An Integrated View of Information System Development","article-title":"The role of form analysis in computer-aided software engineering","author":"Choobineh","year":"1992"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB45","article-title":"Representing and Using Non-Functional Requirements: A Process-Oriented Approach","author":"Chung","year":"1993"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB46","author":"Coad","year":"1990"},{"issue":"6","key":"10.1016\/S0306-4379(98)00005-2_BIB47","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","article-title":"A relational model for large shared data banks","volume":"13","author":"Codd","year":"1970","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB48","series-title":"Data Base Systems","article-title":"Further normalization of the data base relational model","author":"Codd","year":"1972"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB49","doi-asserted-by":"crossref","DOI":"10.1145\/320107.320109","article-title":"Extending the database relational model to capture more meaning","author":"Codd","year":"1979","journal-title":"ACM Transactions on Database Systems 4"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB50","doi-asserted-by":"crossref","DOI":"10.1145\/358396.358400","article-title":"Relational databases: A practical foundation for productivity","author":"Codd","year":"1982","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB51","series-title":"Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning","first-page":"55","article-title":"On the appearance of sortal literals: a non substitutional framework for hybrid reasoning","author":"Cohn","year":"1989"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB52","author":"Collins","year":"1988"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB53_1","unstructured":"ConceptBase User Manual. Technical University of Aachen."},{"issue":"4","key":"10.1016\/S0306-4379(98)00005-2_BIB54","first-page":"281","article-title":"gIBIS: A hypertext tool for exploratory policy discussion","volume":"6","author":"Conklin","year":"1988","journal-title":"Transactions on Office Information Systems"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB55","series-title":"Proceedings ACM SIGMOD International Conference on the Management of Data","article-title":"Making Smalltalk a database system","author":"Copeland","year":"1984"},{"issue":"9","key":"10.1016\/S0306-4379(98)00005-2_BIB56","doi-asserted-by":"crossref","DOI":"10.1145\/130994.130998","article-title":"Process modelling","volume":"35","author":"Curtis","year":"1992","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB57","series-title":"Structured Programming","article-title":"Hierarchical program structures","author":"Dahl","year":"1972"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB58","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","article-title":"Goal-directed requirements acquisition","volume":"20","author":"Dardenne","year":"1993","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB59","author":"Davis","year":"1986"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB60","author":"Davis","year":"1993"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB61","series-title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97)","first-page":"1221","article-title":"Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the Situation Calculus","author":"DeGiacomo","year":"1997"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB62","author":"De Marco","year":"1979"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB63","series-title":"Proceedings IFIP Conference on Computerized Assistance During the Information System Lifecycle","article-title":"RIDL on the KRIS case: A workbench for NIAM","author":"deTroyer","year":"1988"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB64","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","article-title":"A truth maintenance system","volume":"12","author":"Doyle","year":"1979","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB65","article-title":"A knowledge representation language for requirements engineering","volume":"74","author":"Dubois","year":"1986"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB66","series-title":"Proceedings Fourth International Conference on Advanced Information Systems Engineering (CAiSE-92)","article-title":"Elaborating, structuring and expressing formal requirements for composite systems","author":"Dubois","year":"1992"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB67","series-title":"Proceedings International Conference on Cooperative Information Systems","first-page":"101","article-title":"Animating formal requirements specifications for cooperative information systems","author":"Dubois","year":"1994"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB68","series-title":"Proceedings ACM SIGMOD International Conference on the Management of Data","article-title":"Acquisition of terminological knowledge using database design techniques","author":"Eick","year":"1985"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB69","author":"Embley","year":"1992"},{"issue":"2","key":"10.1016\/S0306-4379(98)00005-2_BIB70","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1145\/22719.22947","article-title":"Language support for the specification and derivation of concurrent systems","volume":"9","author":"Feather","year":"1987","journal-title":"ACM Transactions on Programming Languages"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB71","doi-asserted-by":"crossref","DOI":"10.1109\/52.10002","article-title":"Critiquing software specifications: A knowledge-based approach","author":"Fickas","year":"1988","journal-title":"IEEE Software"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB72","series-title":"Proceedings Second IEEE International Symposium on Requirements Engineering","article-title":"Requirements monitoring in dynamic environments","author":"Fickas","year":"1995"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB73","series-title":"Associative Networks: Representation and Use of Knowledge by Computers","year":"1979"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB74","first-page":"31","article-title":"Viewpoints: A framework for multiple perspectives in system development","volume":"2","author":"Finkelstein","year":"1992"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB75","series-title":"Proceedings of the Third European Software Engineering Conference","first-page":"84","article-title":"Inconsistency handling in multi-perspective specifications","author":"Finkelstein","year":"1993"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB76","series-title":"Conceptual Modeling, Databases and CASE: An Integrated View of Information System Development","article-title":"Specification reuse","author":"Fugini","year":"1992"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB77","author":"Galbraith","year":"1973"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB78","series-title":"Proceedings Second IEEE International Symposium on Requirements Engineering","article-title":"Contribution structures","author":"Gotel","year":"1995"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB79","series-title":"Proceedings 6th International Conference on Software Engineering","article-title":"Capturing more world knowledge in the requirements specification","author":"Greenspan","year":"1982"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB80","article-title":"Requirements Modeling: A Knowledge Representation Approach to Requirements Definition","author":"Greenspan","year":"1984"},{"issue":"1","key":"10.1016\/S0306-4379(98)00005-2_BIB81","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0306-4379(86)90020-7","article-title":"A requirements modeling language and its logic","volume":"11","author":"Greenspan","year":"1986","journal-title":"Information Systems"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB82","doi-asserted-by":"crossref","DOI":"10.1145\/319587.319588","article-title":"Database description with SDM: A semantic data model","author":"Hammer","year":"1981","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB83","doi-asserted-by":"crossref","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: A visual formalism for complex systems","author":"Harel","year":"1987","journal-title":"Science of Computer Programming 8"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB84","series-title":"Formal Theories of the Commonsense World","first-page":"1","article-title":"The second naive physics manifesto","author":"Hayes","year":"1985"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB85","series-title":"Building Expert Systems","year":"1983"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB86","series-title":"Associative Networks: Representation and Use of Knowledge by Computers","first-page":"51","article-title":"Encoding knowledge in partitioned networks","author":"Hendrix","year":"1979"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB87","series-title":"Proceedings Second International Joint Conference on Artificial Intelligence (IJCAI'71)","first-page":"167","article-title":"Procedural embedding of knowledge in PLANNER","author":"Hewitt","year":"1971"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB88","series-title":"Proceedings First International Conference on Principles of Knowledge Representation and Reasoning","first-page":"157","article-title":"Ontological assumptions in knowledge representation","author":"Hirst","year":"1989"},{"issue":"3","key":"10.1016\/S0306-4379(98)00005-2_BIB89","doi-asserted-by":"crossref","DOI":"10.1145\/45072.45073","article-title":"Semantic database modelling: Survey, applications and research issues","volume":"19","author":"Hull","year":"1987","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB90","series-title":"Proceedings Third IEEE International Symposium on Requirements Engineering","first-page":"78","article-title":"Analyzing inconsistent specifications","author":"Hunter","year":"1997"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB91","author":"Jacobson","year":"1992"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB92","series-title":"Proceedings Third International Conference on Software Engineering","first-page":"72","article-title":"Information systems: Modeling, sequencing and transformation","author":"Jackson","year":"1978"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB93","author":"Jackson","year":"1983"},{"issue":"1","key":"10.1016\/S0306-4379(98)00005-2_BIB94","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/128756.128757","article-title":"DAIDA: An environment for evolving information systems","volume":"10","author":"Jarke","year":"1992","journal-title":"ACM Transactions on Information Systems"},{"issue":"2","key":"10.1016\/S0306-4379(98)00005-2_BIB95","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BF00961873","article-title":"ConceptBase \u2014 A deductive object base for metadata management","volume":"4","author":"Jarke","year":"1995","journal-title":"Journal of Intelligent Information Systems"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB96","article-title":"ConceptBase: Managing conceptual models about information systems","author":"Jeusfeld","year":"1998"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB97","doi-asserted-by":"crossref","first-page":"853","DOI":"10.1109\/32.163603","article-title":"Representing and presenting requirements knowledge","author":"Johnson","year":"1992","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"10.1016\/S0306-4379(98)00005-2_BIB98","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1145\/98163.98172","article-title":"Toward a unified framework for version modeling in engineering databases","volume":"22","author":"Katz","year":"1990","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB99","series-title":"Proceedings Fifth Internation Conference on the Entity-Relationship Approach","article-title":"A conceptual modeling expert system","author":"Kersten","year":"1986"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB100","series-title":"Proceedings Object-Oriented Programming Systems, Languages and Applications (OOPSLA'89)","first-page":"337","article-title":"Composite objects revisited","author":"Kim","year":"1989"},{"issue":"4","key":"10.1016\/S0306-4379(98)00005-2_BIB101","volume":"23","year":"1994","journal-title":"ACM SIGMOD Record"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB102","series-title":"The Encyclopedea of Artificial Intelligence","article-title":"A Survey of knowledge representation","author":"Kramer","year":"1991"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB103","series-title":"Proceedings Third IEEE International Symposium on Requirements Engineering","first-page":"6","article-title":"Ten steps towards systematic requirements reuse","author":"Lam","year":"1997"},{"issue":"3\u20134","key":"10.1016\/S0306-4379(98)00005-2_BIB104","article-title":"What is design rationale?","volume":"6","author":"Lee","year":"1991","journal-title":"Human-Computer Interaction"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB105","author":"Lenat","year":"1990"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB106","series-title":"Associative Networks: Representation and Use of Knowledge by Computers","first-page":"93","article-title":"A procedural semantics for semantic networks","author":"Levesque","year":"1979"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB107","first-page":"255","article-title":"Knowledge representation and reasoning","author":"Levesque","year":"1986"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB108","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","article-title":"GOLOG: A logic programming language for dynamic domains","author":"Levesque","year":"1997","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB109","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0169-023X(91)90002-F","article-title":"Databases for knowledge bases: An empirical study","volume":"7","author":"Lockemann","year":"1991","journal-title":"Data and Knowledge Engineering"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB110","series-title":"Conceptual Modeling, Databases and CASE: An Integrated View of Information System Development","year":"1992"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB111","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1207\/s15516709cog0604_1","article-title":"Intensional Concepts in Propositional Semantic Networks","volume":"6","author":"Maida","year":"1982","journal-title":"Cognitive Science"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB112","series-title":"Proceedings Third IEEE International Symposium on Requirements Engineering","first-page":"17","article-title":"Analogical reuse of requirements frameworks","author":"Massonet","year":"1997"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB113","series-title":"Semantic Information Processing","first-page":"403","article-title":"Programs with Common Sense","author":"McCarthy","year":"1968"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB114","series-title":"Proceedings Second IEEE International Symposium on Requirements Engineering","article-title":"Requirements traceability in an integrated development environment","author":"Macfarlane","year":"1995"},{"issue":"3\u20134","key":"10.1016\/S0306-4379(98)00005-2_BIB115","article-title":"Questions, options, criteria: Elements of design space analysis","volume":"6","author":"MacLean","year":"1991","journal-title":"Human-Computer Interaction"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB116","series-title":"the evolution of software processes","volume":"19","year":"1993"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB117","author":"McKeown","year":"1985"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB118","author":"Miller","year":"1976"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB119","series-title":"The Psychology of Computer Vision","article-title":"A framework for representing knowledge","author":"Minsky","year":"1975"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB120","author":"Mintzberg","year":"1979"},{"issue":"1","key":"10.1016\/S0306-4379(98)00005-2_BIB121","article-title":"Classes and instances","volume":"1","author":"Motschnig-Pitrik","year":"1992","journal-title":"International Journal of Intelligent and Cooperative Systems"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB122","series-title":"Proceedings Fifth Conference on Advanced Information Systems Engineering (CAiSE'93)","article-title":"The semantics of parts versus aggregates in data\/knowledge modeling","author":"Motschnig-Pitrik","year":"1993"},{"issue":"2","key":"10.1016\/S0306-4379(98)00005-2_BIB123_1","doi-asserted-by":"crossref","DOI":"10.1145\/320141.320150","article-title":"A language facility for designing data-intensive applications","volume":"5","author":"Mylopoulos","year":"1980","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB123_2","author":"Zdonik","year":"1989"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB124","series-title":"Readings in Artificial Intelligence and Databases","year":"1988"},{"issue":"4","key":"10.1016\/S0306-4379(98)00005-2_BIB125","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1145\/102675.102676","article-title":"Telos: Representing knowledge about information systems","volume":"8","author":"Mylopoulos","year":"1990","journal-title":"ACM Transactions on Information Systems"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB126","series-title":"Proceedings IFIP Working Conference on Object-Oriented Databases: Analysis, Design and Construction","article-title":"Object-orientation and knowledge representation","author":"Mylopoulos","year":"1990"},{"issue":"6","key":"10.1016\/S0306-4379(98)00005-2_BIB127","doi-asserted-by":"crossref","DOI":"10.1109\/32.142871","article-title":"Representing and using non-functional requirements: A process-oriented approach","volume":"18","author":"Mylopoulos","year":"1992","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB128","series-title":"Proceedings Third International Conference on Cooperative Information Systems (CoopIS'95)","article-title":"Partitioning an information base through contexts","author":"Mylopoulos","year":"1995"},{"issue":"4","key":"10.1016\/S0306-4379(98)00005-2_BIB129","article-title":"Building knowledge base management systems","volume":"5","author":"Mylopoulos","year":"1996","journal-title":"Very Large Databases Journal"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB130","first-page":"48","article-title":"Managing multiple requirements perspectives with metamodels","author":"Nissen","year":"1996","journal-title":"IEEE Software"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB131","series-title":"Proceedings Fifteenth International Conference on Software Engineering","first-page":"187","article-title":"Expressing the relationships between multiple views in requirements specification","author":"Nuseibeh","year":"1993"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB132","series-title":"Proceedings Third International Conference on Knowledge Representation and Reasoning","article-title":"The DARPA knowledge sharing effort: Progress report","author":"Patil","year":"1992"},{"issue":"3","key":"10.1016\/S0306-4379(98)00005-2_BIB133","doi-asserted-by":"crossref","DOI":"10.1145\/62061.62062","article-title":"Semantic data models","volume":"20","author":"Peckham","year":"1988","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB134","author":"Pfeffer","year":"1978"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB135","series-title":"Proceedings Very large Databases Conference (VLDB'94)","article-title":"Materialization: A powerful and ubiquitous abstraction pattern","author":"Pirotte","year":"1994"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB136","author":"Politakis","year":"1985"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB137","series-title":"Proceedings Tenth International Conference on Software Engineering","article-title":"Recording the reasons for design decisions","author":"Potts","year":"1988"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB138","series-title":"Proceedings Third IEEE International Symposium on Requirements Engineering","article-title":"Requirements models in context","author":"Potts","year":"1997"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB139","series-title":"Proceedings Fifth Conference on Advanced Information Systems Engineering (CAiSE'93)","article-title":"Perspectives on software development environments","author":"Prevelakis","year":"1993"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB140","series-title":"Semantic Information Processing","first-page":"227","article-title":"Semantic memory","author":"Quillian","year":"1968"},{"issue":"4","key":"10.1016\/S0306-4379(98)00005-2_BIB141","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1016\/0306-4573(89)90069-1","article-title":"Information extraction and text summarization using linguistic knowledge acquisition","volume":"25","author":"Rau","year":"1989","journal-title":"Information Processing and Management"},{"issue":"2","key":"10.1016\/S0306-4379(98)00005-2_BIB142","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(76)90001-1","article-title":"An organization of knowledge for problem-solving and language comprehension","volume":"7","author":"Rieger","year":"1976","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB143","series-title":"Proceedings IEEE Conference on Requirements Engineering","article-title":"Supporting multi-perspective requirements engineering","author":"Robinson","year":"1994"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB144","series-title":"Conceptual Modeling, Databases and CASE: An Integrated View of Information System Development","article-title":"Trends and perspectives in conceptual modeling","author":"Rolland","year":"1992"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB145","series-title":"Conceptual Modeling, Databases and CASE: An Integrated View of Information System Development","article-title":"A natural language approach to conceptual modeling","author":"Rolland","year":"1992"},{"issue":"4","key":"10.1016\/S0306-4379(98)00005-2_BIB146","doi-asserted-by":"crossref","DOI":"10.1109\/MC.1985.1662861","article-title":"A taxonomy of current issues in requirements engineering","volume":"18","author":"Roman","year":"1985","journal-title":"IEEE Computer"},{"issue":"1","key":"10.1016\/S0306-4379(98)00005-2_BIB147","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1109\/TSE.1977.229899","article-title":"Structured analysis for requirements definition","volume":"3","author":"Ross","year":"1977","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"10.1016\/S0306-4379(98)00005-2_BIB148","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/TSE.1977.229900","article-title":"Structured analysis: A language for communicating ideas","volume":"3","author":"Ross","year":"1977","journal-title":"IEEE Transactions on Stiftware Engineering"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB149","author":"Rumbaugh","year":"1991"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB150","series-title":"Foundations of Knowledge Base Management","year":"1989"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB151","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0167-6423(93)90023-I","article-title":"Exceptions in algebraic specifications: On the meaning of \u2018but\u2019","volume":"20","author":"Schoebbens","year":"1993","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB152","series-title":"Proceedings Second International Conference on Deductive and Object-Oriented Database Systems","article-title":"Updateable views in object-oriented databases","author":"Scholl","year":"1991"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB153","author":"Scott","year":"1987"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB154","author":"Shlaer","year":"1988"},{"issue":"5","key":"10.1016\/S0306-4379(98)00005-2_BIB155","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1109\/TSE.1982.235738","article-title":"Specification of forms processing and business procedures for office automation","volume":"8","author":"Shu","year":"1982","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"10.1016\/S0306-4379(98)00005-2_BIB156","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1145\/320544.320546","article-title":"Database abstractions: Aggregation and generalization","volume":"2","author":"Smith","year":"1977","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB157","series-title":"Proceedings International Conference on the E-R Approach to Systems Analysis and Design","article-title":"A contribution to the definition of concepts for expressing users' information system requirements","author":"Solvberg","year":"1979"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB158","article-title":"Interference in Requirements Engineering: The Level of Ontological Overlap","author":"Spanoudakis","year":"1997"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB159","author":"Spivey","year":"1989"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB160","author":"Thayer","year":"1990"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB161","series-title":"Conceptual Modeling, Databases and CASE: An Integrated View of Information System Development","article-title":"The entity-relationship-time model","author":"Theodoulidis","year":"1992"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB162","series-title":"Proceedings Fifteenth International Conference on Conceptual Modeling (ER'96)","article-title":"Representing partial spatial information in databases: A conceptual modeling approach","author":"Topaloglou","year":"1996"},{"issue":"1","key":"10.1016\/S0306-4379(98)00005-2_BIB163","volume":"3","year":"1977","journal-title":"IEEE Transactions on Stiftware Engineering"},{"issue":"10","key":"10.1016\/S0306-4379(98)00005-2_BIB164","volume":"18","year":"1992","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB165","year":"1998","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB166","author":"Tsichritzis","year":"1982"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB167","author":"Rational Software Corporation","year":"1997","journal-title":"Unified Modeling Language Resource Centre"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB168","series-title":"Proceedings of CAD\/CAM and Robotics Conference","article-title":"Computer-integrated manufacturing: On the database aspect","author":"Vernadat","year":"1984"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB169","author":"Vernadat","year":"1996"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB170","series-title":"Readings in Qualitative Reasoning About Physical Systems","author":"Vilain","year":"1989"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB171","series-title":"Object-Oriented Concepts. Databases and Applications","article-title":"A proposal for a formal model of objects","author":"Wand","year":"1989"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB172","doi-asserted-by":"crossref","first-page":"1282","DOI":"10.1109\/32.60316","article-title":"An ontological model of an information system","volume":"16","author":"Wand","year":"1990","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB173","article-title":"Mapping the design representation terrain: A survey","author":"Webster","year":"1987"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB174","series-title":"Proceedings Fourth Conference on Information and Knowledge Management","article-title":"Research problems in data warehousing","author":"Widom","year":"1995"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB175","series-title":"Proceedings IEEE International Symposium on Requirements Engineering","first-page":"34","article-title":"Modeling organizations for information systems requirements engineering","author":"Yu","year":"1993"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB176","series-title":"Proceedings Sixteenth International Conference on Software Engineering","article-title":"Understanding \u2018why\u2019 in software process modeling, analysis and design","author":"Yu","year":"1994"},{"issue":"4","key":"10.1016\/S0306-4379(98)00005-2_BIB177","doi-asserted-by":"crossref","DOI":"10.1109\/64.511773","article-title":"Al models for business process re-ejngineering","volume":"11","author":"Yu","year":"1996","journal-title":"IEEE Expert"},{"key":"10.1016\/S0306-4379(98)00005-2_BIB178","series-title":"Readings in Object-Oriented Databases","year":"1989"}],"container-title":["Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0306437998000052?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0306437998000052?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T18:23:26Z","timestamp":1556043806000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0306437998000052"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,5]]},"references-count":180,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1998,5]]}},"alternative-id":["S0306437998000052"],"URL":"https:\/\/doi.org\/10.1016\/s0306-4379(98)00005-2","relation":{},"ISSN":["0306-4379"],"issn-type":[{"value":"0306-4379","type":"print"}],"subject":[],"published":{"date-parts":[[1998,5]]}}}