{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T21:40:01Z","timestamp":1740001201954,"version":"3.37.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"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":[[1997]]},"DOI":"10.1007\/3-540-63107-0_2","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T19:22:48Z","timestamp":1270495368000},"page":"19-32","source":"Crossref","is-referenced-by-count":6,"title":["Integrating semi-formal and formal requirements"],"prefix":"10.1007","author":[{"given":"Roel","family":"Wieringa","sequence":"first","affiliation":[]},{"given":"Eric","family":"Dubois","sequence":"additional","affiliation":[]},{"given":"Sander","family":"Huyts","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,8,15]]},"reference":[{"key":"2_CR1","unstructured":"2RARE (2 Real Applications for Requirements Engineering): Project Programme. http:\/\/www.info.fundp.ac.be\/~phe\/2rare.html, August 1995. Esprit Contract Number 20424."},{"key":"2_CR2","volume-title":"Technical report","author":"K. B\u00f6hm","year":"1993","unstructured":"Klemens B\u00f6hm and Amilcar Sernadas. A logic to specify real-time object behaviour. Technical report, Departamento de Matem\u00e1tica, Instituto Superior T\u00e9cnico, Lisbon (Portugal), 1993."},{"key":"2_CR3","volume-title":"PhD thesis","author":"P. Bois du","year":"1995","unstructured":"P. du Bois. The ALBERT II Language. PhD thesis, Facult\u00e9s Universitaires Notre-Dame de la Paix, Namur, 1995."},{"key":"2_CR4","unstructured":"G. Booch. Object-Oriented Design with Applications, Second edition. Benjamin\/Cummings, 1994."},{"key":"2_CR5","volume-title":"Technical report","author":"G. Booch","year":"1996","unstructured":"G. Booch, I. Jacobson, and J. Rumbaugh. The unified modeling language for object-oriented development, version 0.91 addendum. Technical report, Rational Software Corporation, 2800 San Tomas Expressway, Santa Clara, CA 95051-0951, September 1996. URL http:\/\/www.rational.com\/ot\/uml91.pdf."},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"P.P.-S. Chen","year":"1976","unstructured":"P.P.-S. Chen. The entity-relationship model \u2014 Toward a unified view of data. ACM Transactions on Database Systems, 1:9\u201336, 1976.","journal-title":"ACM Transactions on Database Systems"},{"key":"2_CR7","unstructured":"D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes, and P. Jeremaes. Object-Oriented Development: The FUSION Method. Prentice-Hall, 1994."},{"key":"2_CR8","unstructured":"A.M. Davis. Software Requirements: Objects, Functions, States. Prentice-Hall, 1993."},{"key":"2_CR9","unstructured":"T. DeMarco. Structured Analysis and System Specification. Yourdon Press\/Prentice-Hall, 1978."},{"key":"2_CR10","first-page":"252","volume-title":"LNCS 685","author":"E. Dubois","year":"1993","unstructured":"Eric Dubois, Philippe Du Bois, and Micha\u00ebl Petit. Elicitating 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'93, pages 252\u2013274, Paris (France), June 8\u201311, 1993. LNCS 685, Springer-Verlag."},{"key":"2_CR11","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":"2_CR12","doi-asserted-by":"crossref","unstructured":"D. Harel and A. Pnueli. On the development of reactive systems. In K. Apt, editor, Logics and Models of Concurrent Systems, pages 477\u2013498. Springer, 1985. NATO ASI Series.","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"2_CR13","unstructured":"M. Jackson. System Development. Prentice-Hall, 1983."},{"key":"2_CR14","unstructured":"M. Jackson. Software Requirements and Specifications: A lexicon of practice, principles and prejudices. Addison-Wesley, 1995."},{"key":"2_CR15","unstructured":"I. Jacobson, M. Christerson, P. Johnsson, and G. \u00d6vergaard. Object-Oriented Software Engineering: A Use Case Driven Approach. Prentice-Hall, 1992."},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"M. Jarke, J. Bubenko, C. Rolland, A. Sutcliffe, and Y. Vassiliou. Theories underlying requirements engineering: an overview of the NATURE approach. In S. Fickas and A. Finkelstein, editors, International Symposium on Requirements Engineering, pages 19\u201331. IEEE Computer Science Press, 1993.","DOI":"10.1109\/ISRE.1993.324840"},{"key":"2_CR17","unstructured":"Objectory AB. Objectory: Robustness Analysis, version 3.6 edition, 1995."},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Oblog Software. OBLOG Case V1.2, 1995.","DOI":"10.1049\/ic:19951142"},{"key":"2_CR19","unstructured":"Quality Systems and Software Ltd. DOORS Unix Reference Manual, Version 2.1, 1995."},{"key":"2_CR20","unstructured":"R.H. Thayer. Software system engineering. In R.H. Thayer and M. Dorfman, editors, System and Software Requirements Engineering, pages 77\u2013116. IEEE Computer Science Press, 1990."},{"key":"2_CR21","unstructured":"R.J. Wieringa. Requirements Engineering: Semantic, Real-Time, and Object-Oriented Methods. Course notes. 1995."},{"key":"2_CR22","unstructured":"R.J. Wieringa. Requirements Engineering: Frameworks for Understanding. Wiley, 1996."},{"key":"2_CR23","unstructured":"R.J. Wieringa. Advanced object-oriented requirement specification methods. Technical report, Faculty of Mathematics and Computer Science, Vrije Universiteit, 1997. Tutotial presented at the International Symposium of Requirements Engineering, 6\u201310 January 1997, Annapolis, U. S. A."},{"key":"2_CR24","volume-title":"Technical report","author":"R.J. Wieringa","year":"1996","unstructured":"R.J. Wieringa and S. Huyts. Requirements analysis of the VoD application using the tools in TRADE. Technical report, Faculty of Mathematics and Computer Science, Vrije Universiteit, De Boelelaan 1081a, 1081 HV Amsterdam, 1996."},{"key":"2_CR25","unstructured":"R. Wirfs-Brock, B. Wilkerson, and L. Wiener. Designing Object-Oriented Sofware. Prentice-Hall, 1990."}],"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-63107-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T21:14:55Z","timestamp":1739999695000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63107-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783319981765","9783319981772"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-63107-0_2","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[1997]]}}}