{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T13:49:08Z","timestamp":1758808148692},"reference-count":64,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1990,1,1]],"date-time":"1990-01-01T00:00:00Z","timestamp":631152000000},"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":[[1990,1]]},"DOI":"10.1016\/0306-4379(90)90018-k","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T01:31:39Z","timestamp":1060306299000},"page":"85-116","source":"Crossref","is-referenced-by-count":37,"title":["A software process data model for knowledge engineering in information systems"],"prefix":"10.1016","volume":"15","author":[{"given":"Matthias","family":"Jarke","sequence":"first","affiliation":[]},{"given":"Manfred","family":"Jeusfeld","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Rose","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0306-4379(90)90018-K_BIB1","series-title":"On Knowledge Base Management Systems","year":"1986"},{"issue":"2","key":"10.1016\/0306-4379(90)90018-K_BIB2","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1109\/32.4639","article-title":"Dependency-directed reasoning and learning in systems maintenance support","volume":"SE-14","author":"Dhar","year":"1988","journal-title":"IEEE Trans. Software Engng"},{"issue":"2","key":"10.1016\/0306-4379(90)90018-K_BIB3","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1145\/320141.320150","article-title":"A language for designing interactive data-intensive applications","volume":"5","author":"Mylopoulos","year":"1980","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/0306-4379(90)90018-K_BIB4","first-page":"471","article-title":"A requirements modelling language and its logic","author":"Greenspan","year":"1986"},{"key":"10.1016\/0306-4379(90)90018-K_BIB5","series-title":"Proc. Int Workshop on Software Versioning and Configuration Control","year":"1988"},{"key":"10.1016\/0306-4379(90)90018-K_BIB6","series-title":"Proc. 9th Int. Conf. Software Engineering","first-page":"166","article-title":"Database support for software engineering","author":"Bernstein","year":"1987"},{"key":"10.1016\/0306-4379(90)90018-K_BIB7","series-title":"Proc. ACM-SIGMOD Workshop on Software CAD Databases","year":"1989"},{"key":"10.1016\/0306-4379(90)90018-K_BIB8","series-title":"Foundations of Knowledge Base Management","article-title":"The software development environment as a knowledge base management system","author":"Borgida","year":"1989"},{"key":"10.1016\/0306-4379(90)90018-K_BIB9","series-title":"Proc. ESPRIT Conf. '88: Putting the Technology to Use","first-page":"405","article-title":"The DAIDA environment for knowledge-based information systems development","author":"Jarke","year":"1988"},{"issue":"1","key":"10.1016\/0306-4379(90)90018-K_BIB10","doi-asserted-by":"crossref","first-page":"9","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 Trans. Database Systems"},{"issue":"3","key":"10.1016\/0306-4379(90)90018-K_BIB11","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1145\/356698.356702","article-title":"Petri nets","volume":"9","author":"Peterson","year":"1977","journal-title":"ACM Comput. Surv."},{"key":"10.1016\/0306-4379(90)90018-K_BIB12","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 Intell."},{"issue":"1","key":"10.1016\/0306-4379(90)90018-K_BIB13","first-page":"44","article-title":"Towards better models of the design process","volume":"6","author":"Mostow","year":"1985","journal-title":"AI Mag."},{"key":"10.1016\/0306-4379(90)90018-K_BIB14","article-title":"CML: a knowledge representation language with application to requirements modeling","author":"Stanley","year":"1986"},{"key":"10.1016\/0306-4379(90)90018-K_BIB15","article-title":"Telos: a knowledge representation language for requirements modelling","author":"Koubarakis","year":"1988"},{"key":"10.1016\/0306-4379(90)90018-K_BIB16","article-title":"The TAXIS design language (TDL)","author":"Borgida","year":"1987"},{"key":"10.1016\/0306-4379(90)90018-K_BIB17","article-title":"Extensions to DBPL: towards a type-complete database programming language","author":"Schmidt","year":"1988"},{"key":"10.1016\/0306-4379(90)90018-K_BIB18","series-title":"The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L, Lecture Notes in Computer Science 183","author":"Bauer","year":"1985"},{"issue":"11","key":"10.1016\/0306-4379(90)90018-K_BIB19","doi-asserted-by":"crossref","first-page":"1278","DOI":"10.1109\/TSE.1985.231879","article-title":"Research on knowledge-based software engineering environments at Kestrel Institute","volume":"SE-11","author":"Smith","year":"1985","journal-title":"IEEE Trans. Software Engng"},{"issue":"11","key":"10.1016\/0306-4379(90)90018-K_BIB20","doi-asserted-by":"crossref","first-page":"1296","DOI":"10.1109\/TSE.1985.231880","article-title":"The programmer's apprentice: a session with KBEmacs","volume":"SE-11","author":"Waters","year":"1985","journal-title":"IEEE Trans. Software Engng"},{"key":"10.1016\/0306-4379(90)90018-K_BIB21","series-title":"Presented at ESEC '87","article-title":"An introduction to Z and formal specifications. Tutorial Notes","author":"Spivey","year":"1987"},{"key":"10.1016\/0306-4379(90)90018-K_BIB22","series-title":"Proc. EURINFO '88","first-page":"560","article-title":"On the development of information systems: from requirements modelling to system design","author":"Mamalaki","year":"1988"},{"key":"10.1016\/0306-4379(90)90018-K_BIB23","series-title":"Proc. ESPRIT Conf. '88: Putting the Technology to Use","first-page":"423","article-title":"An object-based prototyping workbench for Prolog","author":"Meirlaen","year":"1988"},{"key":"10.1016\/0306-4379(90)90018-K_BIB24","article-title":"TDL-DBPL mapping: methodology and first experiences","author":"Weigele","year":"1988"},{"issue":"3","key":"10.1016\/0306-4379(90)90018-K_BIB25","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1145\/3979.4018","article-title":"Modeling concepts for VLSI CAD objects","volume":"10","author":"Batory","year":"1985","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/0306-4379(90)90018-K_BIB26","article-title":"A global KBMS for database software evolution: design and development strategy","author":"Jarke","year":"1987"},{"key":"10.1016\/0306-4379(90)90018-K_BIB27","series-title":"Proc. 11th Int. Conf. Very Large Data Bases","first-page":"82","article-title":"Database design tools: an expert systems approach","author":"Bouzeghoub","year":"1985"},{"key":"10.1016\/0306-4379(90)90018-K_BIB28","article-title":"Physical design and query compilation for a semantic data model","author":"Weddell","year":"1987"},{"key":"10.1016\/0306-4379(90)90018-K_BIB29","series-title":"Proc. 11th Int. Conf. Very Large Data Bases","first-page":"227","article-title":"Data constructors: on the integration of rules and relations","author":"Jarke","year":"1985"},{"issue":"11","key":"10.1016\/0306-4379(90)90018-K_BIB30","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/MC.1987.1663413","article-title":"Software development environments","volume":"20","author":"Dart","year":"1988","journal-title":"IEEE Comput."},{"key":"10.1016\/0306-4379(90)90018-K_BIB31","series-title":"SMALLTALK 80: The Language and its Implementation","author":"Goldberg","year":"1983"},{"key":"10.1016\/0306-4379(90)90018-K_BIB32","series-title":"Proc. SIGMOD Int. Conf. Management of Data","first-page":"379","article-title":"Version modeling concepts for computer-aided design databases","author":"Katz","year":"1986"},{"key":"10.1016\/0306-4379(90)90018-K_BIB33","series-title":"Proc. Datenbanken in B\u00fcro, Technik und Wissenschaft","first-page":"116","article-title":"Datenbankunterst\u00fctzung f\u00fcr Software-Produktionsumgebungen","author":"Abramowicz","year":"1987"},{"issue":"2","key":"10.1016\/0306-4379(90)90018-K_BIB34","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1145\/320544.320546","article-title":"Database abstraction: aggregation and generalization","volume":"2","author":"Smith","year":"1977","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/0306-4379(90)90018-K_BIB35","series-title":"Proc. Int. Workshop on Object-Oriented Database Systems","article-title":"A data modelling methodology for the design and implementation of information systems","author":"Lyngbaek","year":"1986"},{"key":"10.1016\/0306-4379(90)90018-K_BIB36","series-title":"Proc. ACM-SIGMOD Int. Conf. Management of Data","first-page":"491","article-title":"Object-oriented database support for software engineering","author":"Hudson","year":"1987"},{"key":"10.1016\/0306-4379(90)90018-K_BIB37","series-title":"Proc. ACM-SIGMOD Int., Conf. Management of Data","first-page":"311","article-title":"Semantics and implementation of schema evolution in object-oriented databases","author":"Banerjee","year":"1987"},{"key":"10.1016\/0306-4379(90)90018-K_BIB38","series-title":"Proc. 7th Int. Conf. Very Large Data Bases","first-page":"144","article-title":"The transaction concept: virtues and limitations","author":"Gray","year":"1981"},{"key":"10.1016\/0306-4379(90)90018-K_BIB39","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"313","article-title":"A theorem-proving approach to database integrity checking","author":"Sadri","year":"1988"},{"issue":"11","key":"10.1016\/0306-4379(90)90018-K_BIB40","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","article-title":"Maintaining knowledge about temporal intervals","volume":"26","author":"Allen","year":"1983","journal-title":"Commun. ACM"},{"key":"10.1016\/0306-4379(90)90018-K_BIB41","series-title":"Proc. 9th Int. Joint Conf. Artificial Intelligence","first-page":"673","article-title":"Representation and use of explicit justifications for knowledge base refinement","author":"Smith","year":"1985"},{"key":"10.1016\/0306-4379(90)90018-K_BIB42","series-title":"On Knowledge Base Management Systems","first-page":"259","article-title":"Learning improved integrity constraints and schemas from exceptions in databases and knowledge bases","author":"Borgida","year":"1985"},{"key":"10.1016\/0306-4379(90)90018-K_BIB43","article-title":"Telos: features and formalization","author":"Koubarakis","year":"1989"},{"key":"10.1016\/0306-4379(90)90018-K_BIB44","series-title":"Proc. First Int. Conf. on Deductive and Object-Oriented Databases","first-page":"495","article-title":"Software process modelling as a strategy for KBMS implementation","author":"Jarke","year":"1989"},{"key":"10.1016\/0306-4379(90)90018-K_BIB45","article-title":"A global KBMS for database software evolution: implementation of first ConceptBase prototype","author":"Jarke","year":"1988"},{"key":"10.1016\/0306-4379(90)90018-K_BIB46","series-title":"Proc. First Int. Conf. Expert Database Systems","first-page":"3","article-title":"Tales from the far side of KRYPTON","author":"Brachman","year":"1987"},{"issue":"2","key":"10.1016\/0306-4379(90)90018-K_BIB47","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","article-title":"An assumption-based TMS","volume":"28","author":"de Kleer","year":"1986","journal-title":"Artificial Intell."},{"key":"10.1016\/0306-4379(90)90018-K_BIB48","series-title":"Proc. 7th ACM Symp. Principles of Database Systems","first-page":"152","article-title":"Object-oriented databases","author":"Bancilhon","year":"1988"},{"key":"10.1016\/0306-4379(90)90018-K_BIB49","series-title":"Proc. 9th Int. Conf. Software Engng.","first-page":"377","article-title":"PARIS: a system for reusing partially interpreted schemata","author":"Katz","year":"1987"},{"key":"10.1016\/0306-4379(90)90018-K_BIB50","series-title":"Proc. ECAI '84","first-page":"315","article-title":"Metalanguage and reasoning across viewpoints","author":"Attardi","year":"1984"},{"key":"10.1016\/0306-4379(90)90018-K_BIB51","series-title":"Proc. 2nd Symp. on Practical Software Environments","article-title":"Worlds: an organizing structure for object-bases","author":"Wile","year":"1986"},{"key":"10.1016\/0306-4379(90)90018-K_BIB52","series-title":"Essential Systems Analysis","author":"McMenamis","year":"1984"},{"key":"10.1016\/0306-4379(90)90018-K_BIB53","year":"1988"},{"key":"10.1016\/0306-4379(90)90018-K_BIB54","series-title":"Proc. EDBT","first-page":"488","article-title":"A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases","author":"Bry","year":"1988"},{"key":"10.1016\/0306-4379(90)90018-K_BIB55","series-title":"Decision Support and Idea Processing Systems","author":"Young","year":"1988"},{"key":"10.1016\/0306-4379(90)90018-K_BIB56","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(80)90003-X","article-title":"Definite clause grammars for language analysis\u2014a survey of the formalism and a comparison with augmented transition networks","volume":"13","author":"Pereira","year":"1980","journal-title":"Artificial Intell."},{"key":"10.1016\/0306-4379(90)90018-K_BIB57","article-title":"Mehrkriterienunterst\u00fctzung f\u00fcr Entwurfsentscheidungen in Softwareprozessen","author":"Pletz","year":"1989"},{"key":"10.1016\/0306-4379(90)90018-K_BIB58","series-title":"Logic Programming","first-page":"153","article-title":"Amalgamating language and metalanguage in logic programming","author":"Bowen","year":"1982"},{"key":"10.1016\/0306-4379(90)90018-K_BIB59","article-title":"Datalog extensions for database queries and updates","author":"Abiteboul","year":"1988"},{"key":"10.1016\/0306-4379(90)90018-K_BIB60","volume":"Vol. 2","author":"Ullman","year":"1989"},{"key":"10.1016\/0306-4379(90)90018-K_BIB61","article-title":"Integrit\u00e4tspr\u00fcfung in deduktiven Objektbanken am Beispiel von ConceptBase","author":"Kr\u00fcger","year":"1989"},{"key":"10.1016\/0306-4379(90)90018-K_BIB62","series-title":"Proc. 12th Int. Conf. on Software Engng","article-title":"A decision-based configuration process model","author":"Rose","year":"1990"},{"key":"10.1016\/0306-4379(90)90018-K_BIB63","author":"Eherer","year":"1989"},{"key":"10.1016\/0306-4379(90)90018-K_BIB64","series-title":"Proc. European Conf. on Computer-Supported Cooperative Work","article-title":"CoAUTHOR: a hypermedia group authoring environment","author":"Mahn","year":"1989"}],"container-title":["Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:030643799090018K?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:030643799090018K?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T04:54:15Z","timestamp":1552625655000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/030643799090018K"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,1]]},"references-count":64,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1990,1]]}},"alternative-id":["030643799090018K"],"URL":"https:\/\/doi.org\/10.1016\/0306-4379(90)90018-k","relation":{},"ISSN":["0306-4379"],"issn-type":[{"value":"0306-4379","type":"print"}],"subject":[],"published":{"date-parts":[[1990,1]]}}}