{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:46:43Z","timestamp":1748072803268,"version":"3.32.0"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"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":[[1992]]},"DOI":"10.1007\/bfb0035140","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T15:38:44Z","timestamp":1138203524000},"page":"327-347","source":"Crossref","is-referenced-by-count":3,"title":["Elaborating, structuring and expressing formal requirements of composite systems"],"prefix":"10.1007","author":[{"given":"Eric","family":"Dubois","sequence":"first","affiliation":[]},{"given":"Philippe","family":"Du Bois","sequence":"additional","affiliation":[]},{"given":"Andr\u00e9","family":"Rifaut","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,21]]},"reference":[{"issue":"1","key":"19_CR1","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1109\/TSE.1977.233838","volume":"SE-3","author":"M.W. Alford","year":"1977","unstructured":"M.W. Alford, \u201cA Requirements Engineering Methodology for Real-time Processing Requirements,\u201d IEEE Trans. Soft. Eng., SE-3(1), pp. 60\u201369, 1977.","journal-title":"IEEE Trans. Soft. Eng."},{"key":"19_CR2","volume-title":"Some Aspects of Formalizing Informal Requirements","author":"N.W.P. Diepen van","year":"1989","unstructured":"N.W.P. van Diepen and H.A. Partsch, \u201cSome Aspects of Formalizing Informal Requirements,\u201d Department of Computer Science, University of Nijmegen, The Netherlands, 1989."},{"unstructured":"E. Doerry, S. Fickas, R. Helm and M. Feather, \u201cA Model for Composite System Design,\u201d in 6th Int. Workshop on Software Specification and Design, Milano, October 1991.","key":"19_CR3"},{"unstructured":"E. Dubois, J. Hagelstein and A. Rifaut, \u201cFormal Requirements Engineering with ERAE,\u201d Philips Journal of Research, 43, nos. 3\/4, 1988.","key":"19_CR4"},{"unstructured":"E. Dubois, \u201cLogical Support for Reasoning about the Specification and the Elaboration of Requirements,\u201d in The Role of Artificial Intelligence in Databases and Information Systems, WG2.6\/WG8.1 Conference, Guangzhou, China, pp. 29\u201348, July 1988.","key":"19_CR5"},{"key":"19_CR6","first-page":"130","volume-title":"Supporting an Incremental Elaboration of Requirements for Multiagent Systems","author":"E. Dubois","year":"1990","unstructured":"E. Dubois, \u201cSupporting an Incremental Elaboration of Requirements for Multiagent Systems,\u201d in Draft Proceedings of International Working Conference on Cooperating Knowledge Based Systems, University of Keele (England), October 3\u20135, pp. 130\u2013134, 1990."},{"unstructured":"E. Dubois, J. Hagelstein and A. Rifaut, \u201cFrom Natural Language Processing to Logic for Expert Systems. Chapter 6: a Formal Language for the Requirements Engineering of Composite Systems,\u201d A. Thayse (Editor), Wiley, 1991, 535 pages.","key":"19_CR7"},{"unstructured":"E. Dubois, Ph. Du Bois, A. Rifaut, P. Wodon, \u201cGLIDER User Manual,\u201d Spec-Func Deliverable, ESPRIT Project Icarus 2537, June 1991.","key":"19_CR8"},{"unstructured":"E. Dubois, \u201cUse of Deontic Logic in the Requirements Engineering of Composite Systems,\u201d First International Workshop on Deontic Logic in Computer Science, Amsterdam, The Netherlands, 11\u201313 december, 1991.","key":"19_CR9"},{"doi-asserted-by":"crossref","unstructured":"H. Ehrig and B. Mahr, \u201cFundamentals of Algebraic Specifications: Module Specifications and Constraints,\u201d EATCS Monographs on Theoretical Computer Science, W. Brauer, G. Rozenberg, A. Salomaa (Eds), Springer-Verlag, 1990.","key":"19_CR10","DOI":"10.1007\/978-3-642-61284-8_4"},{"key":"19_CR11","first-page":"275","volume-title":"Proc. Foundations of Object-Oriented Languages","author":"J. Fiadeiro","year":"1991","unstructured":"J. Fiadeiro and T. Maibaum, \u201cDescribing, Structuring and Implementing Objects,\u201d in Proc. Foundations of Object-Oriented Languages, Noordwijkerhoud (The Netherlands), LNCS 489, Springer Verlag, pp. 275\u2013310, 1991."},{"doi-asserted-by":"crossref","unstructured":"A. Finkelstein and H. Fucks, \u201cMultiparty Specification,\u201d in Proc. Fifth International Workshop on Software Specification and Design, pp. 185\u2013195, 1989.","key":"19_CR12","DOI":"10.1145\/75200.75228"},{"doi-asserted-by":"crossref","unstructured":"M.S. Feather. \u201cLanguage Support for the Specification and Development of Composite Systems,\u201d in ACM TOPLAS, vol. 9, 2, pp. 198\u2013234, April 87.","key":"19_CR13","DOI":"10.1145\/22719.22947"},{"doi-asserted-by":"crossref","unstructured":"M.S. Feather. \u201cConstructing Specifications by Combining Parallel Elaborations,\u201d in IEEE Trans. Soft. Eng., vol. 15 (2), February 1989.","key":"19_CR14","DOI":"10.1109\/32.21745"},{"unstructured":"A. Finkelstein, C. Potts. \u201cBuilding Formal Specifications Using 'structured Common Sense',\u201d in Proc. Fourth International Workshop on Software Specification and Design, pp. 108\u2013113, 1987.","key":"19_CR15"},{"issue":"1","key":"19_CR16","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0306-4379(86)90020-7","volume":"11","author":"S.J. Greenspan","year":"1986","unstructured":"S.J. Greenspan, A. Borgida and J. Mylopoulos, \u201cA Requirements Modeling Language and its Logic,\u201d Information Systems, vol 11(1), pp. 9\u201323, 1986.","journal-title":"Information Systems"},{"unstructured":"J. Guttag, J. Horning and J. Wing, \u201cLarch in Five Esasy Pieces,\u201d Research Report 5, Digital Systems Research Center, 1985.","key":"19_CR17"},{"doi-asserted-by":"crossref","unstructured":"W. L. Johnson, \u201cDeriving Specifications from Requirements,\u201d in Proc. 10th Int. Conf. on Software Engineering, Singapore, pp. 428\u2013438, 1988.","key":"19_CR18","DOI":"10.1109\/ICSE.1988.93723"},{"key":"19_CR19","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/3540539816_61","volume-title":"Proc. TAPSOFT'91","author":"R. Junglaus","year":"1991","unstructured":"R. Junglaus, G. Saake and C. Sernadas, \u201cFormal Specification of Object Systems,\u201d in Proc. TAPSOFT'91, Brighton (UK), LNCS 494, Springer-Verlag, pp. 60\u201382, 1991."},{"doi-asserted-by":"crossref","unstructured":"J. Mylopoulos, A. Borgida, M. Jarke and M. Koubarakis, \u201cTelos: A Language for Representing Knowledge about Information Systems,\u201d ACM Trans. Information Systems, 1990.","key":"19_CR20","DOI":"10.1145\/102675.102676"},{"doi-asserted-by":"crossref","unstructured":"F. Orejas, V. Sacristan and S. Clerici, \u201cDevelopment of Algebraic Specifications with Constraints,\u201d in Categorical Methods in Computer Science, Springer LNCS, 1989.","key":"19_CR21","DOI":"10.1007\/3-540-51722-7_7"},{"unstructured":"B. Pernici, \u201cClass Design and Metadesign,\u201d in Object Management, D. Tsichritzis (ed), Geneva University, p. 117\u2013132, 1990.","key":"19_CR22"},{"unstructured":"A. Profrock, D. Tsichritzis, G. Muller and M. Ader, \u201cITHACA: an integrated toolkit for highly advanced computer application,\u201d in Object Oriented Development, D. Tsichritzis (ed), Geneva University, pp. 321\u2013344, 1989.","key":"19_CR23"},{"doi-asserted-by":"crossref","unstructured":"H.B. Reubenstein and R. C. Waters, \u201cThe Requirements Apprentice: An Initial Scenario,\u201d in Proc. Fifth International Workshop on Software Specification and Design, pp. 211\u2013218, 1989.","key":"19_CR24","DOI":"10.1145\/75199.75231"},{"doi-asserted-by":"crossref","unstructured":"H.B. Reubenstein and R. C. Waters, \u201cThe Requirements Apprentice: Automated assistance for requirements acquisition,\u201d in IEEE Trans. Soft. Eng., 17(3), March 1991.","key":"19_CR25","DOI":"10.1109\/32.75413"},{"unstructured":"C. Rolland and C. Richard, \u201cThe Remora Methodology for Information Systems Design and Management,\u201d in Information Systems Design Methodologies: A Comparative Review, T.W. Olle, H.G. Sol, A.A. Verrijn-Stuart (eds), North-Holland, pp. 369\u2013426, 1982.","key":"19_CR26"},{"issue":"1","key":"19_CR27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TSE.1977.229897","volume":"SE 3","author":"D.T. Ross","year":"1977","unstructured":"D.T. Ross and K.G. Schoman, \u201cStructured Analysis for Requirements Definition,\u201d IEEE Trans. Soft. Eng., SE 3(1), pp. 1\u201365, 1977.","journal-title":"IEEE Trans. Soft. Eng."},{"key":"19_CR28","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0306-4379(80)90009-5","volume":"5","author":"A. Sernadas","year":"1980","unstructured":"A. Sernadas, \u201cTemporal Aspects of Logic Procedure Definition,\u201d Information Systems, vol. 5, pp. 167\u2013187, 1980.","journal-title":"Information Systems"},{"doi-asserted-by":"crossref","unstructured":"A. Sernadas, C. Sernadas and H.-D. Ehrich, \u201cAbstract Object Types: a Temporal Perspective,\u201d Colloquium on Temporal Logic and Specification, B. Banieqbal, H. Barringer and A. Pnueli (eds), LNCS 398, Springer-Verlag, pp. 324\u2013350, 1989.","key":"19_CR29","DOI":"10.1007\/3-540-51803-7_33"},{"unstructured":"B. Sufrin (ed), \u201cZ Handbook,\u201d Oxford Programming Research Group, 1986.","key":"19_CR30"},{"issue":"1","key":"19_CR31","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/TSE.1977.229902","volume":"SE-3","author":"D. Teichroew","year":"1977","unstructured":"D. Teichroew and E.A. Hershey, \u201cA Computer Aided Technique for Structured Documentation and Analysis of Information Processing Systems,\u201d IEEE Trans. Soft. Eng., SE-3(1), pp. 41\u201348, 1977.","journal-title":"IEEE Trans. Soft. Eng."}],"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\/BFb0035140","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T12:01:15Z","timestamp":1736251275000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035140"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783319981765","9783319981772"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/bfb0035140","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[1992]]}}}