{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:31:03Z","timestamp":1725611463651},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634027"},{"type":"electronic","value":"9783642608896"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/978-3-642-60889-6_41","type":"book-chapter","created":{"date-parts":[[2011,9,19]],"date-time":"2011-09-19T23:25:54Z","timestamp":1316474754000},"page":"378-387","source":"Crossref","is-referenced-by-count":3,"title":["Defining an Ontology for the Formal Requirements Engineering of Manufacturing Systems"],"prefix":"10.1007","author":[{"given":"M.","family":"Petit","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Dubois","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"41_CR1","unstructured":"ESPRIT Consortium AMICE, editor. CIMOSA: Open System Architecture for CIM, volume 1 of Research Reports ESPRIT, Project 688\/5288 AMICE. Springer-Verlag, 2nd revised and extended edition, 1993."},{"key":"41_CR2","volume-title":"A logic to specify real-time object behaviour","author":"K B\u00f6hm","year":"1993","unstructured":"Klemens B\u00f6hm and Amilcar Semadas. A logic to specify real-time object behaviour. Technical report, Departamento de Matem\u00e1tica, Instituto Superior T\u00e9cnico, Lisbon (Portugal), 1993."},{"key":"41_CR3","unstructured":"Philippe Du Bois. The Albert II Language: On the Design and the Use of a Formal Specification Language for Requirements Analysis. PhD thesis, Computer Science Department, University of Namur, Namur (Belgique), September 1995. Available at \n                      http:\/\/www.cediti.be\/~pdu\/thesispr-uk.html\n                      \n                    ."},{"key":"41_CR4","unstructured":"Eric Dubois, Philippe Du Bois, and Micha\u00ebl Petit. Eliciting and formalising requirements for CIM information systems. In C. Rolland, F. Bodart, and C. Cauvet, editors, Proc. of the 5th conference on advanced information systems engineering \u2014 CAiSE \u201993, pages 252\u2013274, Paris (France), June 8\u201311, 1993. LNCS 685, Springer-Verlag. Available at \n                      ftp:\/\/ftp.info.fundp.ac.be\/publications\/RP\/RP-93-001.ps.Z\n                      \n                    ."},{"key":"41_CR5","volume-title":"A formal requirements engineering method for real-time, concurrent, and distributed systems","author":"E Dubois","year":"1995","unstructured":"Eric Dubois, Philippe Du Bois, and Jean-Marc Zeippen. A formal requirements engineering method for real-time, concurrent, and distributed systems. In Proc. of ICSE-17 Workshop on Formal Methods Applications in Software Engineering, Seattle WA, April 24\u201325,1995."},{"key":"41_CR6","first-page":"233","volume-title":"Using a formal declarative language for specifying requirements modelled in CIMOSA","author":"E Dubois","year":"1994","unstructured":"Eric Dubois and Micha\u00ebl Petit. Using a formal declarative language for specifying requirements modelled in CIMOSA. In Fran\u00e7ois Vernadat, editor, Proc. of the European workshop on Integrated Manufacturing Systems Engineering \u2014 IMSE \u201994, pages 233\u2013241, Grenoble (France), December 12\u201314, 1994. INRIA Rh\u00f4ne-Alpes."},{"key":"41_CR7","first-page":"15","volume-title":"Deriving specifications from requirements: An example","author":"M Jackson","year":"1995","unstructured":"Michael Jackson and Pamela Zave. Deriving specifications from requirements: An example. In Proc. of the 17th International Conference on Software Engineering \u2014 ICSE\u201995, pages 15\u201324, Seattle WA, April 23\u201330, 1995. ACM Press."},{"key":"41_CR8","volume-title":"Ontologies as vehicles for reuse: a mini-experiment","author":"A Bernaras","year":"1996","unstructured":"Bernaras A., Corera J., Schreiber A. Th., Laresgoiti I., Anjewierden A. and Wielinga B. J. Ontologies as vehicles for reuse: a mini-experiment. In Proceedings of Tenth Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW\u201996), Banff, Alberta, Canada, November 9\u201314, 1996."},{"key":"41_CR9","unstructured":"M. A. Jeusfeld M. Jarke and M. Staudt. Conceptbase v4.1 user manual. Technical report, RWTH Aachen, Germany, 1996. available online at \n                      http:\/\/www-i5.informatik.rwthaachen.de\/CBdoc\/userManual-V41\/\n                      \n                    ."},{"issue":"2","key":"41_CR10","first-page":"167","volume":"4","author":"MA Jeusfeld","year":"1995","unstructured":"M. A. Jeusfeld, M. Staudt, M. Jarke, R. Gallersdrfer and S. Eherer. Conceptbase - a deductive object base for meta data management. Journal of Intelligent Information Systems, Special Issue on Advances in Deductive Object-Oriented Databases, 4(2):167\u2013192, 1995.","journal-title":"Special Issue on Advances in Deductive Object-Oriented Databases"},{"issue":"4","key":"41_CR11","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1145\/102675.102676","volume":"8","author":"J Mylopoulos","year":"1990","unstructured":"J. Mylopoulos, A. Borgida, M. Jarke, and M. Koubarakis. Telos: A language for representing knowledge about information systems. ACM Transaction on Information Systems, 8(4):325\u2013362, October 1990.","journal-title":"ACM Transaction on Information Systems"},{"key":"41_CR12","volume-title":"Eindhoven University of Technology","author":"M Petit","year":"1996","unstructured":"Micha\u00ebl Petit and Eric Dubois. A formal requirements engineering framework for CIM infrastructures reengineering. In F. Kimura, J. Goossenaerts and H. Wortmann, editors, Proc. of the DIISM\u201996 conference. Eindhoven University of Technology, September 1996."},{"key":"41_CR13","volume-title":"On the use of a formal R.E. language - the generalized railroad crossing problem","author":"E Dubois","year":"1997","unstructured":"Eric Dubois, Philippe Du Bois and Jean-Marc Zeippen. On the use of a formal R.E. language - the generalized railroad crossing problem. In Proceedings of the Third International Symposium on Requirements Engineering (RE\u201997), Annapolis, Maryland (USA), January 5\u20138, 1997."},{"key":"41_CR14","first-page":"82","volume-title":"Ontologies for enterprise integration","author":"MS Fox","year":"1994","unstructured":"Mark S. Fox and Michael Gruninger. Ontologies for enterprise integration. In Michael Brodie, Mathias Jarke, and Michael Papazoglou, editorsProc. of the Second International Conference on Cooperative Information Systems \u2014 CoopIS-94, pages 82\u201389, Toronto (Canada), May 17\u201320, 1994."},{"key":"41_CR15","volume-title":"Towards modelling and reasoning support for early-phase requirements engineering","author":"E Yu","year":"1997","unstructured":"E. Yu. Towards modelling and reasoning support for early-phase requirements engineering. In Proceedings of the 3rd IEEE Int. Symp. on Requirements Engineering (RE\u201997), Washington D. C., USA, Jan. 6\u20138, 1997."},{"key":"41_CR16","volume-title":"Modelling Strategic Relationships for Process Reengineering","author":"S Eric","year":"1995","unstructured":"Eric S., K. Yu. Modelling Strategic Relationships for Process Reengineering. PhD thesis, Computer Science Department, University of Toronto, Toronto (Canada), 1995. Also appears as Technical Report DKBS-TR-94\u20136, December 1994."}],"container-title":["Enterprise Engineering and Integration"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-60889-6_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T11:44:15Z","timestamp":1620301455000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-60889-6_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634027","9783642608896"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-60889-6_41","relation":{},"subject":[],"published":{"date-parts":[[1997]]}}}