{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:49:34Z","timestamp":1725986974384},"publisher-location":"Cham","reference-count":43,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56777-1_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:30:46Z","timestamp":1330255846000},"page":"252-274","source":"Crossref","is-referenced-by-count":7,"title":["Elicitating and formalising requirements for C.I.M. information systems"],"prefix":"10.1007","author":[{"given":"Eric","family":"Dubois","sequence":"first","affiliation":[]},{"given":"Philippe","family":"Du Bois","sequence":"additional","affiliation":[]},{"given":"Micha\u00ebl","family":"Petit","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"14_CR1","first-page":"235","volume-title":"Typology and modeling: a global approach in manufacturing enterprises","author":"D. Beauch\u00eane","year":"1990","unstructured":"D. Beauch\u00eane, A. Haurat, and J.L. Maire. Typology and modeling: a global approach in manufacturing enterprises. In Proceedings of the international conferefence CIM'90: Integration Aspects, pages 235\u2013242, Bordeaux (France), June 12\u201314, 1990. Productic-A, Teknea."},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"D. Bjorner and C.B. Jones. The Vienna Development Method. The metalanguage, volume 61 of LNCS. Springer-Verlag, 1978.","DOI":"10.1007\/3-540-08766-4"},{"key":"14_CR3","first-page":"15","volume-title":"Trusted computing systems: The procos experience","author":"D. Bjorner","year":"1992","unstructured":"D. Bjorner. Trusted computing systems: The procos experience. In Proc. of the 14th international conference on software engineering, pages 15\u201334, Melbourne (Australia), May 11\u201315, 1992. IEEE, ACM Press."},{"key":"14_CR4","unstructured":"O.H. Bray. Computer Integrated Manufacturing (The Data Management Strategy). Digital Press CIM series. Hamilton Printing Company, 1988."},{"key":"14_CR5","unstructured":"J. Brunet. Modelling the world with semantic objects. In Proc. of the working conference on the object-oriented approach in information systems, Qu\u00e9bec, 1991."},{"key":"14_CR6","unstructured":"Janis A. Bubenko. On concepts and strategies for requirements and information analysis. In Information modeling, pages 125\u2013169. Chartwell-Bratt, 1983."},{"issue":"1","key":"14_CR7","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"P. P. Chen","year":"1976","unstructured":"P.P. Chen. The entity-relationship model: Towards a unified view of data. ACM TODS, 1(1):9\u201336, 1976.","journal-title":"ACM TODS"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Eric Dubois, Philippe Du Bois, and Micha\u00ebl Petit. O-O requirements analysis: an agent perspective. In O. Nierstrasz, editor, Proc. of the 7th european conference on object-oriented programming-ECOOP'93 (to appear). Kaiserslautem (Germany), July 26\u201330, 1993.","DOI":"10.1007\/3-540-47910-4"},{"key":"14_CR9","series-title":"LNCS 593","first-page":"327","volume-title":"Elaborating, structuring and expressing formal requirements of composite systems","author":"E. Dubois","year":"1992","unstructured":"Eric Dubois, Philippe Du Bois, and Andr\u00e9 Rifaut. Elaborating, structuring and expressing formal requirements of composite systems. In P. Loucopoulos, editor, Proc. of the 4th conference on advanced information systems engineering-CAiSE'92, pages 327\u2013347, Manchester (UK), May 12\u201315, 1992. LNCS 593, Springer-Verlag."},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"E. Doerry, S. Fickas, R. Helm, and M. Feather. A model for composite system design. In Proc. of the 6th international workshop on software specification and design, Milano, October 1991.","DOI":"10.1109\/IWSSD.1991.213058"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"A. Dardenne, S. Fickas, and A. van Lamsweerde. Goal-directed concept acquisition in requirements elicitation. In Proc. of the 6th international workshop on software specification and design, Milano, October 1991.","DOI":"10.1109\/IWSSD.1991.213081"},{"key":"14_CR12","first-page":"236","volume-title":"Reasoning on formal requirements: a lift control system","author":"E. Dubois","year":"1987","unstructured":"Eric Dubois and Jacques Hagelstein. Reasoning on formal requirements: a lift control system. In Proceedings of the 4th international workshop on software specification and design, pages 236\u2013241, Monterey CA, April 3\u20134, 1987. IEEE, CS Press."},{"key":"14_CR13","unstructured":"Eric Dubois, Jacques Hagelstein, and Andr\u00e9 Rifaut. A formal language for the requirements engineering of computer systems. In Andr\u00e9 Thayse, editor, From natural language processing to logic for expert systems, chapter 6. Wiley, 1991."},{"key":"14_CR14","first-page":"89","volume-title":"Design and specification methods for production systems","author":"G. Doumeingts","year":"1990","unstructured":"Guy Doumeingts. Design and specification methods for production systems. In Proceedings of the international conferefence CIM'90: integration aspects, pages 89\u2013103, Bordeaux (France), June 12\u201314, 1990. Productic-A, Teknea."},{"key":"14_CR15","first-page":"160","volume-title":"A logic of action for supporting goal-oriented elaborations of requirements","author":"E. Dubois","year":"1989","unstructured":"Eric Dubois. A logic of action for supporting goal-oriented elaborations of requirements. In Proceedings of the 5th international workshop on software specification and design, pages 160\u2013168, Pittsburgh PA, May 19\u201320, 1989. IEEE, CS Press."},{"issue":"2","key":"14_CR16","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1145\/22719.22947","volume":"9","author":"Martin S. S. Feather","year":"1987","unstructured":"Martin S. Feather. Language support for the specification and development of composite systems. ACM Transactions on programming languages and systems, 9(2):198\u2013234, April 1987.","journal-title":"ACM Transactions on programming languages and systems"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Martin S. Feather. Constructing specifications by combining parallel elaborations. IEEE Transactions on software engineering, SE-15(2), February 1989.","DOI":"10.1109\/32.21745"},{"key":"14_CR18","series-title":"LNCS 489","first-page":"275","volume-title":"Foundations of Object-Oriented Languages \u2014 REX School\/Workshop","author":"J. Fiadeiro","year":"1990","unstructured":"Jose Fiadeiro and Tom Maibaum. Describing, structuring and implementing objects. In Foundations of Object-Oriented Languages \u2014 REX School\/Workshop, pages 275\u2013310, Noordwijkerhout (The Netherlands), May 28\u2013June 1, 1990. LNCS 489, Springer-Verlag."},{"key":"14_CR19","first-page":"108","volume-title":"Building formal specifications using \u201cstructured common sense\u201d","author":"A. Finkelstein","year":"1987","unstructured":"Anthony Finkelstein and Colin Potts. Building formal specifications using \u201cstructured common sense\u201d. In Proceedings of the 4th international workshop on software specification and design, pages 108\u2013113, Monterey CA, April 3\u20134, 1987. IEEE, CS Press."},{"issue":"1","key":"14_CR20","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0306-4379(86)90023-2","volume":"11","author":"J. Fiadeiro","year":"1986","unstructured":"Jose Fiadeiro and Amilcar Sernadas. Linear tense propositional logic. Information Systems, 11(1):61\u201385, 1986.","journal-title":"Information Systems"},{"key":"14_CR21","unstructured":"D. Gabbay and P. Mc Brien. Temporal logic and historical databases. In Proc. of the 17th international conference on very large databases, Barcelona, September 1991."},{"issue":"1","key":"14_CR22","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0306-4379(86)90020-7","volume":"11","author":"Sol J. J. Greenspan","year":"1986","unstructured":"Sol J. Greenspan, Alexander Borgida, and John Mylopoulos. A requirements modeling language. Information Systems, 11(1):9\u201323, 1986.","journal-title":"Information Systems"},{"key":"14_CR23","first-page":"227","volume-title":"Cim-osa: an open system architecture","author":"R. Gaches","year":"1990","unstructured":"R. Gaches, B. Querenet, P. Viollet, and F. Vernadat. Cim-osa: an open system architecture. In Proceedings of the international conferefence CIM'90: Integration Aspects, pages 227\u2013234, Bordeaux (France), June 12\u201314, 1990. Productic-A, Teknea."},{"key":"14_CR24","volume-title":"An introduction to modal logic","author":"G. E. Hughes","year":"1968","unstructured":"G.E. Hughes and M.J. Cresswell. An introduction to modal logic. Methuen and Co., London, 1968."},{"key":"14_CR25","unstructured":"C.S. Harrison, L.G. Dove, and B. Makin. A practical approach to cim systems design. In Proceedings of the Computer Aided Production Engineering Conference, pages 375\u2013380, November 1988."},{"key":"14_CR26","series-title":"LNCS 593","first-page":"221","volume-title":"Reconciling operational and declarative specifications","author":"J. Hagelstein","year":"1992","unstructured":"JacquesHagelstein and Dominique Roelants. Reconciling operational and declarative specifications. In P. Loucopoulos, editor, Proc. of the 4th conference on advanced information systems engineering \u2014 CAiSE'92, pages 221\u2013238, Manchester (UK), May 12\u201315,1992. LNCS 593, Springer-Verlag."},{"key":"14_CR27","series-title":"LNCS 494","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/3540539816_61","volume-title":"Proc. of TAPSOFT'91 Vol.2","author":"R. Jungclaus","year":"1991","unstructured":"R. Jungclaus, G. Saake, and C. Sernadas. Formal specification of object systems. In S. Abramsky and T. Maibaum, editors, Proc. of TAPSOFT'91 Vol.2, pages 60\u201382, Brighton (UK), 1991. LNCS 494, Springer-Verlag."},{"key":"14_CR28","unstructured":"S. Khosla and T. Maibaum. The prescription and description of state based systems. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Temporal logic in specification. LNCS 398, Springer-Verlag, 1987."},{"key":"14_CR29","volume-title":"Doctoral dissertation","author":"R. Koymans","year":"1989","unstructured":"R. Koymans, J. Vytopil, and W. de Roever. Specifying message passing and timecritical systems with temporal logic. Doctoral dissertation, Eindhoven University of Technology, Eindhoven (The Netherlands), 1989."},{"key":"14_CR30","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0166-3615(87)90037-6","volume":"9","author":"A. Leva Di","year":"1987","unstructured":"A. Di Leva, F. Vernadat, and D. Bizier. Information system analysis and conceptual database design in production environments with m*. Computers in Industry, 9:183\u2013217, 1987.","journal-title":"Computers in Industry"},{"issue":"4","key":"14_CR31","doi-asserted-by":"crossref","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 Transansaction on Information Systems, 8(4):325\u2013362, 1990.","journal-title":"ACM Transansaction on Information Systems"},{"key":"14_CR32","doi-asserted-by":"crossref","unstructured":"F. Orejas, V. Sacristan, and S. Clerici. Development of algebraic specifications with constraints. In Proc. of the workshop in categorical methods in computer science. LNCS 393, Springer-Verlag, 1989.","DOI":"10.1007\/3-540-51722-7_7"},{"key":"14_CR33","volume-title":"Master's thesis","author":"M. Petit","year":"1992","unstructured":"Micha\u00ebl Petit. Construction et formalisation de sp\u00e9cifications conceptuelles pour les syst\u00e8mes productiques. Master's thesis, Computer Science Department, University of Namur, Namur (Belgium), September 1992."},{"key":"14_CR34","doi-asserted-by":"crossref","unstructured":"Mark D. Ryan, Jose Fiadeiro, and Tom Maibaum. Sharing actions and attributes in modal action logic. In T. Ho and A. Meyer, editors, Theoretical Aspects of Computer Software. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54415-1_65"},{"key":"14_CR35","doi-asserted-by":"crossref","unstructured":"Howard B. Reubinstein and Richard C. Waters. The requirements apprentice: Automated assistance for requirements acquisition. IEEE Transactions on software engineering, 17(3), March 1991.","DOI":"10.1109\/32.75413"},{"key":"14_CR36","unstructured":"August-Wilhelm Scheer. CIM: Computer steered industry. Springer-Verlag, 1988."},{"key":"14_CR37","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0306-4379(80)90009-5","volume":"5","author":"A. Sernadas","year":"1980","unstructured":"Amilcar Sernadas. Temporal aspects of logic procedure definition. Information Systems, 5:167\u2013187, 1980.","journal-title":"Information Systems"},{"key":"14_CR38","unstructured":"Cristina Sernadas, Jose Fiadeiro, and Am\u00edlcar Sernadas. Object-oriented modelling from law. In Meersman, Shi, and Kung, editors, The Role of Artificial Intelligence in Databases and Information Systems. North-Holland, 1990."},{"key":"14_CR39","series-title":"LNCS 593","first-page":"290","volume-title":"Supporting component matching for software reuse","author":"A. Sutcliffe","year":"1992","unstructured":"A. Sutcliffe and N. Maiden. Supporting component matching for software reuse. In P. Loucopoulos, editor, Proc. of the 4th conference on advanced information systems engineering-CAiSE'92, pages 290\u2013303, Manchester (UK), May12\u201315, 1992. LNCS 593, Springer-Verlag."},{"key":"14_CR40","doi-asserted-by":"crossref","unstructured":"A. Sernadas, C. Sernadas, and H.-D. Ehrich. Abstract object types: a temporal perspective. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Proc. of the colloquium on temporal logic and specification, pages 324\u2013350. LNCS 398, Springer-Verlag, 1989.","DOI":"10.1007\/3-540-51803-7_33"},{"issue":"4","key":"14_CR41","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/0306-4379(91)90031-4","volume":"16","author":"C. Theodoulidis","year":"1991","unstructured":"C. Theodoulidis, P. Loucopoulos, and B. Wangler. A conceptual modelling formalism for temporal database applications. Information Systems, 16(4):401\u2013416, 1991.","journal-title":"Information Systems"},{"key":"14_CR42","unstructured":"G.H. von Wright. An essay in deontic logic and the general theory of action. Acta Philosophica Fennica, XXI, 1968."},{"key":"14_CR43","first-page":"34","volume-title":"Modelling organizations for information systems requirements engineering","author":"S. K. Yu Yu. Eric","year":"1993","unstructured":"Eric S. K.Yu. Modelling organizations for information systems requirements engineering. In A. Finkelstein, editor, Proc. of the IEEE International Symposium on Requirements Engineering-RE'93, pages 34\u201341, San Diego CA, January 4\u20136, 1993. IEEE Computer Society Press."}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56777-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T11:35:13Z","timestamp":1561376113000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56777-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783319981765","9783319981772"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/3-540-56777-1_14","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[1993]]}}}