{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:35:32Z","timestamp":1725557732097},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642143465"},{"type":"electronic","value":"9783642143472"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14347-2_2","type":"book-chapter","created":{"date-parts":[[2010,6,21]],"date-time":"2010-06-21T00:11:27Z","timestamp":1277079087000},"page":"2-13","source":"Crossref","is-referenced-by-count":6,"title":["Using Process Definitions to Support Reasoning about Satisfaction of Process Requirements"],"prefix":"10.1007","author":[{"given":"Leon J.","family":"Osterweil","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Wise","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Osterweil, L.J.: Software processes are software too. In: 9th International Conference on Software Engineering (ICSE 1987), Monterey, CA, March 1987, pp. 2\u201313 (1987)","DOI":"10.1109\/TSE.1987.233154"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Osterweil, L.J.: Software processes are software too, revisited. In: 19th International Conference on Software Engineering (ICSE 1997), Boston, MA, May 1987, pp. 540\u2013548 (1997)","DOI":"10.1145\/253228.253440"},{"key":"2_CR3","unstructured":"Wise, A.: Little-JIL 1.5 language report. Technical Report UM-CS-2006-51, Department of Computer Science, University of Massachusetts, Amherst, MA (2006)"},{"key":"2_CR4","unstructured":"CMMI Product Team: CMMI for development, version 1.2. Technical Report CMU\/SEI-2006-TR-008, Software Engineering Institute, Carnegie Mellon University, Pittsburg, PA (August 2006)"},{"issue":"8","key":"2_CR5","first-page":"29","volume":"9","author":"J. Highsmith","year":"2001","unstructured":"Highsmith, J., Fowler, M.: The agile manifesto. Software Development Magazine\u00a09(8), 29\u201330 (2001)","journal-title":"Software Development Magazine"},{"key":"2_CR6","volume-title":"Agile Software Development with Scrum","author":"K. Schwaber","year":"2002","unstructured":"Schwaber, K., Beedle, M.: Agile Software Development with Scrum. Prentice Hall, Upper Saddle River (2002)"},{"key":"2_CR7","volume-title":"Agile Project Management with Scrum","author":"K. Schwaber","year":"2004","unstructured":"Schwaber, K.: Agile Project Management with Scrum. Microsoft Press, Redmond (2004)"},{"key":"2_CR8","volume-title":"Succeeding with Agile: Software Development Using Scrum","author":"M. Cohn","year":"2010","unstructured":"Cohn, M.: Succeeding with Agile: Software Development Using Scrum. Pearson Education, Inc., Boston (2010)"},{"key":"2_CR9","unstructured":"Scrum Alliance, Inc., http:\/\/www.scrumalliance.org\/"},{"key":"2_CR10","unstructured":"Schwaber, K.: http:\/\/www.controlchaos.com\/"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/11754305_17","volume-title":"Software Process Change","author":"B. Chen","year":"2006","unstructured":"Chen, B., Avrunin, G.S., Clarke, L.A., Osterweil, L.J.: Automatic fault tree derivation from little-jil process definitions. In: Wang, Q., Pfahl, D., Raffo, D.M., Wernick, P. (eds.) SPW 2006 and ProSim 2006. LNCS, vol.\u00a03966, pp. 150\u2013158. Springer, Heidelberg (2006)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Chen, B., Avrunin, G.S., Henneman, E.A., Clarke, L.A., Osterweil, L.J., Henneman, P.L.: Analyzing medical processes. In: ACM SIGSOFT\/IEEE 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 2008, pp. 623\u2013632 (2008)","DOI":"10.1145\/1368088.1368175"},{"issue":"4","key":"2_CR13","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/1040291.1040292","volume":"13","author":"M.B. Dwyer","year":"2004","unstructured":"Dwyer, M.B., Clarke, L.A., Cobleigh, J.M., Naumovich, G.: Flow analysis for verifying properties of concurrent software systems. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a013(4), 359\u2013430 (2004)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Cobleigh, R.L., Avrunin, G.S., Clarke, L.A.: User guidance for creating precise and accessible property specifications. In: ACM SIGSOFT 14th International Symposium on Foundations of Software Engineering (FSE14), Portland, OR, November 2006, pp. 208\u2013218 (2006)","DOI":"10.1145\/1181775.1181801"},{"key":"2_CR15","unstructured":"International Conference on Software Process, http:\/\/www.icsp-conferences.org\/"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Dami, S., Estublier, J., Amiour, M.: Apel: A graphical yet executable formalism for process modeling. Automated Software Engineering\u00a05(1) (1998)","DOI":"10.1023\/A:1008658325298"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Katayama, T.: A hierarchical and functional software process description and its enaction. In: Proceedings of the 11th international conference on Software engineering, Pittsburgh, PA, pp. 343\u2013352 (1989)","DOI":"10.1109\/ICSE.1989.714446"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Kaiser, G., Barghouti, N., Sokolsky, M.: Experience with process modeling in the marvel software development environment kernel. In: 23rd Annual Hawaii Internationall Conference on System Sciences, pp. 131\u2013140 (1990)","DOI":"10.1109\/HICSS.1990.205161"},{"key":"2_CR19","unstructured":"OMG: Software & systems process engineering meta-model specification. Technical Report formal\/2008-04-01, Object Management Group (2008)"},{"key":"2_CR20","volume-title":"The Unified Software Development Process","author":"I. Jacobson","year":"1999","unstructured":"Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison-Wesley Longman, Inc., Reading (1999)"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Christov, S., Avrunin, G., Clarke, L.A., Osterweil, L.J., Henneman, E.: A benchmark for evaluating software engineering techniques for improving medical processes. In: International Conference on Software Engineering, Workshop on Software Engineering in Health Care (SEHC 2010), Cape Town, South Africa (May 2010)","DOI":"10.1145\/1809085.1809092"}],"container-title":["Lecture Notes in Computer Science","New Modeling Concepts for Today\u2019s Software Processes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14347-2_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:51:22Z","timestamp":1606186282000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14347-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642143465","9783642143472"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14347-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}