{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T14:00:23Z","timestamp":1725544823486},"publisher-location":"Berlin\/Heidelberg","reference-count":46,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540250433"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-28244-0_3","type":"book-chapter","created":{"date-parts":[[2006,4,5]],"date-time":"2006-04-05T03:03:12Z","timestamp":1144206192000},"page":"47-68","source":"Crossref","is-referenced-by-count":8,"title":["Specification of Requirements Models"],"prefix":"10.1007","author":[{"given":"Ricardo J.","family":"Machado","sequence":"first","affiliation":[]},{"given":"Isabel","family":"Ramos","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o M.","family":"Fernandes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0950-5849(94)90007-8","volume":"36","author":"M. Ainsworth","year":"1994","unstructured":"Ainsworth M, Cruickshank AH, Groves LG, Wallis PJL (1994) Viewpoint specification and Z. Information Software Technology, February 36: 43\u201351","journal-title":"Viewpoint specification and Z. Information Software Technology"},{"key":"3_CR2","unstructured":"Back RJ, Petre L, Porres I (1999) Analyzing UML use cases as contracts: Beyond the standard. In: Proceedings of 2nd International Conference on the Unified Modeling Language (UML\u201999), Fort Collins, CO, USA, pp.518\u201333"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Becker LB, Pereira CE, Dias OP, Teixeira IM, Teixeira JP (2000) MOSYS: A methodology for automatic object identification from system specification. In: Proceedings of 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), Newport Beach, CA, USA, pp.198\u2013201","DOI":"10.1109\/ISORC.2000.839529"},{"key":"3_CR4","volume-title":"Best of booch: Designing strategies for object technology","author":"G. Booch","year":"1996","unstructured":"Booch G (1996) Best of booch: Designing strategies for object technology. SIGS, New York, NY, USA"},{"key":"3_CR5","volume-title":"High Level System Modeling: Specification and Design Methodologies","author":"J.P. Calvez","year":"1996","unstructured":"Calvez JP (1996) A system specification model and method. In: High Level System Modeling: Specification and Design Methodologies. Waxman R, Berg\u00e9 JM, Levia O, Rouillard J. (Eds.), Kluwer Academic, Dordrecht, The Netherlands"},{"key":"3_CR6","volume-title":"The entity relationship approach to logical data base design","author":"P.S. Chen","year":"1977","unstructured":"Chen PS (1977) The entity relationship approach to logical data base design. Q.E.D. Information Sciences, Wellesley, MA, USA"},{"key":"3_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5269-7","volume-title":"Non-functional requirements in software engineering","author":"L. Chung","year":"2000","unstructured":"Chung L, Nixon B, Yu E, Mylopoulos J (2000) Non-functional requirements in software engineering. Kluwer Academic, Boston, MA, USA"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Cunin PY, Greenwood R, Francou L, Robertson I, Warboys B (2001) The PIE methodology: Concept and application. In: Proceedings of 8th European Workshop on Software Process Technology, Witten, Germany, pp.3\u201326","DOI":"10.1007\/3-540-45752-6_2"},{"key":"3_CR9","volume-title":"Tools and techniques for structured systems analysis and design","author":"W.S. Davis","year":"1983","unstructured":"Davis WS (1983) Tools and techniques for structured systems analysis and design. Addison-Wesley, Reading, MA, USA"},{"key":"3_CR10","volume-title":"Structured analysis and system specification","author":"T. Marco De","year":"1979","unstructured":"De Marco T (1979) Structured analysis and system specification. Yourdon Press, New York, NY, USA"},{"key":"3_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56209-9","volume-title":"Object-process methodology: A holistic systems paradigm","author":"D. Dori","year":"2002","unstructured":"Dori D (2002) Object-process methodology: A holistic systems paradigm, Springer, Berlin, Germany"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Fernandes JM, Lilius J (2004) Functional and object-oriented views in embedded software modeling. In: Proceedings of 11th International Conference on the Engineering of Computer Based Systems (ECBS 2004), Brno, Czech Rep., pp.378\u201387, IEEE CS Press, May","DOI":"10.1109\/ECBS.2004.1316722"},{"key":"3_CR13","unstructured":"Fernandes JM, Machado RJ (2001) From use cases to objects: An industrial information systems case study analysis. In: Proceedings of 7th International Conference on Object-Oriented Information Systems (OOIS\u201901), Calgary, Canada, August pp.319\u201328"},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1142\/S0218194092000038","volume":"2","author":"A. Finkelstein","year":"1992","unstructured":"Finkelstein A, Kramer J, Nuseibeh B, Finkelstein L, Goedicke M (1992) Viewpoints: A framework for integrating multiple perspectives in system development. International Journal of Software Engineering and Knowledge Engineering, 2: 31\u201357","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"3_CR15","volume-title":"The OPEN process framework: An introduction","author":"D. Firesmith","year":"2002","unstructured":"Firesmith D, Henderson-Sellers B (2002) The OPEN process framework: An introduction. Addison-Wesley, Harlow, UK"},{"key":"3_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3636-9","volume-title":"High level synthesis: Introduction to chip and system design","author":"D. Gajski","year":"1992","unstructured":"Gajski D, Dutt N, Wu A, Lin S (1992) High level synthesis: Introduction to chip and system design, Kluwer Academic, Boston, MA, USA"},{"key":"3_CR17","volume-title":"Specification and design of embedded systems","author":"D. Gajski","year":"1994","unstructured":"Gajski D, Vahid F, Narayan S, Gong J (1994) Specification and design of embedded systems. Prentice Hall, Englewood Cliffs, NJ, USA"},{"issue":"5","key":"3_CR18","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1145\/42411.42414","volume":"31","author":"D. Harel","year":"1988","unstructured":"Harel D (1988) On visual formalisms. Communications of the ACM, 31(5): 514\u201330","journal-title":"Communications of the ACM"},{"issue":"10","key":"3_CR19","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/944217.944242","volume":"46","author":"B. Henderson-Sellers","year":"2003","unstructured":"Henderson-Sellers B (2003) Method engineering for OO systems development. Communications of the ACM, 46(10): 73\u20138","journal-title":"Communications of the ACM"},{"issue":"1","key":"3_CR20","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/234313.234421","volume":"28","author":"I.M. Holland","year":"1996","unstructured":"Holland IM, Lieberherr KJ (1996) Object-oriented design. ACM Computing Surveys, 28(1): 273\u20135","journal-title":"ACM Computing Surveys"},{"key":"3_CR21","unstructured":"IEEE (1990) IEEE Standard glossary of software engineering terminology, 610.12-1990"},{"key":"3_CR22","unstructured":"International Standards Organization (1995) Information technology: Software lifecycle processes (ISO\/IEC12207). Geneva, Switzerland"},{"key":"3_CR23","volume-title":"Object-oriented software engineering: A use case driven approach","author":"I. Jacobson","year":"1992","unstructured":"Jacobson I, Christerson M, Jonsson P, Overgaard G\u00c4 (1992) Object-oriented software engineering: A use case driven approach. Addison Wesley, Reading, MA, USA"},{"key":"3_CR24","volume-title":"Basic concepts. Monographs in Theoretical Computer Science","author":"K. Jensen","year":"1997","unstructured":"Jensen K (1997) Colored Petri nets: Basic concepts, analysis methods and practical use. Vol.1, Basic concepts. Monographs in Theoretical Computer Science, Springer, New York, NY, USA"},{"key":"3_CR25","unstructured":"Jensen K, Christensen S, Huber P, Holla M (1992) Design\/CPN: A reference manual. MetaSoftware Corporation"},{"issue":"5","key":"3_CR26","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1109\/52.795107","volume":"16","author":"H. Kaindl","year":"1999","unstructured":"Kaindl H (1999) Difficulties in the transition from OO analysis to design. IEEE Software, 16(5): 94\u2013102","journal-title":"IEEE Software"},{"issue":"6","key":"3_CR27","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1049\/sej.1992.0038","volume":"7","author":"G. Kotonya","year":"1992","unstructured":"Kotonya G, Sommerville I (1992) Viewpoints for requirements definition. Software Engineering Journal, 7(6): 375\u201387","journal-title":"Software Engineering Journal"},{"key":"3_CR28","unstructured":"Lakos C, Keen C (1994) LOOPN++: A new language for object oriented Petri Nets. In: Proceedings of European Simulation Multi-conference, Barcelona, Spain, pp.369 74, Society for Computer Simulation"},{"issue":"12","key":"3_CR29","doi-asserted-by":"crossref","first-page":"1253","DOI":"10.1109\/32.106986","volume":"12","author":"J.C.S.P. Leite","year":"1991","unstructured":"Leite JCSP, Freeman PA (1991) Requirements validation through viewpoint resolution, IEEE Transactions on Software Engineering, 12(12): 1253\u20131269","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR30","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0950-5849(02)00164-7","volume":"45","author":"Y. Liang","year":"2003","unstructured":"Liang Y (2003) From use cases to classes: A way of building object model with UML. Information and Software Technology, 45: 83\u201393","journal-title":"Information and Software Technology"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Machado RJ, Fernandes JM (2001) A Petri Net meta-model to develop software components for Embedded Systems. In: Proceedings of 2nd IEEE International Conference on Application of Concurrency to System Design (ACSD\u201901), Newcastle, UK, pp.113\u201322, IEEE CS Press","DOI":"10.1109\/CSD.2001.981769"},{"key":"3_CR32","volume-title":"Sequential machines: Selected papers","author":"E.F. Moore","year":"1964","unstructured":"Moore EF (1964) Sequential machines: Selected papers. Addison Wesley, Reading, MA, USA"},{"key":"3_CR33","doi-asserted-by":"crossref","unstructured":"Narayan S, Vahid F, Gajski D (1991) System specification and synthesis with the speccharts language. In: Proceedings of International Conference on Computer-Aided Design (ICCAD\u201991), Santa Clara, CA, USA, pp.266\u20139, IEEE CS Press","DOI":"10.1109\/ICCAD.1991.185249"},{"key":"3_CR34","volume-title":"Petri Net theory and the modeling of systems","author":"J. Peterson","year":"1981","unstructured":"Peterson J (1981) Petri Net theory and the modeling of systems. Prentice Hall, Upper Saddle River, NJ, USA"},{"key":"3_CR35","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An introduction, EATCS Monographs on Theoretical Computer Science","author":"W. Reisig","year":"1985","unstructured":"Reisig W (1985) Petri Nets: An introduction, EATCS Monographs on Theoretical Computer Science, Vol.4, Springer, Berlin, Germany"},{"key":"3_CR36","volume-title":"Mastering the requirements process","author":"S. Robertson","year":"1999","unstructured":"Robertson S, Robertson J (1999) Mastering the requirements process, Addison Wesley, Reading, MA, USA"},{"key":"3_CR37","volume-title":"Use case driven object modeling with UML: A practical approach","author":"D. Rosenberg","year":"1999","unstructured":"Rosenberg D, Scott K (1999) Use case driven object modeling with UML: A practical approach. Addison Wesley, Reading, MA, USA"},{"key":"3_CR38","unstructured":"Saeki M, Kaiya H (2003) Transformation based approach for weaving use case models in aspect-oriented requirements analysis. 4th Workshop on AOSD Modeling with UML, within the UML 2003 Conference, San Francisco, CA, USA, October"},{"key":"3_CR39","volume-title":"High Level System Modeling: Specification Languages","author":"A. Sarkar","year":"1995","unstructured":"Sarkar A, Waxman R, Cohoon J (1995) Specification modeling methodologies for reactive systems design. In: High Level System Modeling: Specification Languages. Berg\u00e9 JM, Levia O, Rouillard J. (Eds.), Kluwer Academic, Dordrecht, The Netherlands"},{"key":"3_CR40","volume-title":"Applying use cases: A practical guide","author":"G. Schneider","year":"1998","unstructured":"Schneider G, Winters JP (1998) Applying use cases: A practical guide. Addison Wesley, Reading, MA, USA"},{"key":"3_CR41","volume-title":"Systems engineering: Coping with complexity","author":"R. Stevens","year":"1998","unstructured":"Stevens R, Brook P, Jackson K, Arnold S (1998) Systems engineering: Coping with complexity. Prentice Hall Europe, Hertfordshire, UK"},{"key":"3_CR42","volume-title":"Jackson system development","author":"A. Sutcliffe","year":"1988","unstructured":"Sutcliffe A (1988) Jackson system development. Prentice Hall, Hertfordshire, UK"},{"issue":"12","key":"3_CR43","doi-asserted-by":"publisher","first-page":"1072","DOI":"10.1109\/32.738340","volume":"24","author":"A. Sutcliffe","year":"1998","unstructured":"Sutcliffe A, Maiden M, Minocha S, Manuel D (1998) Supporting scenario-based requirements engineering. IEEE Transactions on Software Engineering, 24(12): 1072\u201388","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"6\/7","key":"3_CR44","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/S0306-4379(97)00024-0","volume":"22","author":"A.H.M. Hofstede ter","year":"1997","unstructured":"ter Hofstede AHM, Verhoef TF (1997) On the feasibility of situational method engineering. Information Systems, 22(6\/7): 401\u201322","journal-title":"Information Systems"},{"issue":"12","key":"3_CR45","doi-asserted-by":"crossref","first-page":"1089","DOI":"10.1109\/32.738341","volume":"24","author":"A. Lamsweerde van","year":"1998","unstructured":"van Lamsweerde A, Willemet L (1998) Inferring declarative requirements specifications from operational scenarios. IEEE Transactions on Software Engineering, 24(12): 1089\u2013114","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR46","volume-title":"Structured design: Fundamentals of a discipline of computer program and systems design","author":"E. Yourdon","year":"1978","unstructured":"Yourdon E, Constantine L (1978) Structured design: Fundamentals of a discipline of computer program and systems design. Yourdon Press, New York, NY, USA"}],"container-title":["Engineering and Managing Software Requirements"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-28244-0_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:47:32Z","timestamp":1619560052000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-28244-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540250433"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/3-540-28244-0_3","relation":{},"subject":[]}}