{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:32:55Z","timestamp":1725564775049},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540407966"},{"type":"electronic","value":"9783540452133"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45213-3_30","type":"book-chapter","created":{"date-parts":[[2010,9,4]],"date-time":"2010-09-04T01:44:48Z","timestamp":1283564688000},"page":"241-253","source":"Crossref","is-referenced-by-count":8,"title":["Demand-Driven Specification Partitioning"],"prefix":"10.1007","author":[{"given":"Roland T.","family":"Mittermeir","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Bollin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","volume-title":"Software Engineering Economics","author":"B.W. Boehm","year":"1981","unstructured":"Boehm, B.W.: Software Engineering Economics. Prentice Hall, Englewood Clifss (1981)"},{"key":"30_CR2","volume-title":"Requirements Engineering","author":"G. Kotonya","year":"1998","unstructured":"Kotonya, G., Sommerville, I.: Requirements Engineering, 2nd edn. John Wiley & Sons, Ltd., Chichester (1998)","edition":"2"},{"key":"30_CR3","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1109\/MS.2002.1032845","volume":"19","author":"D. Graham","year":"2002","unstructured":"Graham, D.: Requirements and Testing: Seven Missing-Link Myth. IEEE Software\u00a019, 15\u201317 (2002)","journal-title":"IEEE Software"},{"key":"30_CR4","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/2.976920","volume":"35","author":"B. Boehm","year":"2002","unstructured":"Boehm, B.: Get Ready for Agile Methods, with Care. IEEE Computer\u00a035, 64\u201369 (2002)","journal-title":"IEEE Computer"},{"key":"30_CR5","volume-title":"An Introduction to Formal Specification and Z","author":"B. Potter","year":"1991","unstructured":"Potter, B., Sinclair, J., Till, D.: An Introduction to Formal Specification and Z. Prentice-Hall Intl., Englewood Cliffs (1991)"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Knight, J.C., Leveson, N.G.: An Experimental Evaluation of the Assumption of Indepencence in Multiversion Programming. IEEE Trans. on Software Engineering\u00a0SE-12 (1986)","DOI":"10.1109\/TSE.1986.6312924"},{"key":"30_CR7","volume-title":"Black-Box Testing: Techniques for Functional Testing of Software Systems","author":"B. Beizer","year":"1995","unstructured":"Beizer, B.: Black-Box Testing: Techniques for Functional Testing of Software Systems. John Wiley & Sons, Inc., Chichester (1995)"},{"key":"30_CR8","first-page":"73","volume-title":"The Future of Software Engineering 2000","author":"K.H. Bennett","year":"2000","unstructured":"Bennett, K.H., Rajlich, V.T.: Software maintenance and evolution: A roadmap. In: Finkelstein, A. (ed.) The Future of Software Engineering 2000, pp. 73\u201387. ACM press, New York (2000)"},{"key":"30_CR9","volume-title":"Interviewing: Principles and Practices","author":"C.J. Stewart","year":"1978","unstructured":"Stewart, C.J., Cash, W.B.: Interviewing: Principles and Practices, 2nd edn. Wm. C. Brown, Iowa (1978)","edition":"2"},{"key":"30_CR10","unstructured":"Dane\u0161, F.: Functional sentence perspective and the organization of the text. In: Danes, F. (ed.) Papers on Functional Sentence Perspective, Academia, Publishing House of The Czechoslovak Academy of Sciences, Prague, pp. 106\u2013128 (1970)"},{"key":"30_CR11","volume-title":"An Introduction to Functional Grammar","author":"M. Halliday","year":"1985","unstructured":"Halliday, M.: An Introduction to Functional Grammar. Edward Arnold, London (1985)"},{"key":"30_CR12","volume-title":"The Z Notation: A Reference Manual","author":"J. Spivey","year":"1992","unstructured":"Spivey, J.: The Z Notation: A Reference Manual, 2nd edn. Prentice Hall International, Englewood Cliffs (1992)","edition":"2"},{"key":"30_CR13","unstructured":"Pirker, H.: Specification Based Software Maintenance: A Motivation for Service Channels. PhD thesis, Universit\u00e4t Klagenfurt (2001)"},{"key":"30_CR14","first-page":"63","volume-title":"Proceedings International Workshop on the Principles of Software Evolution (IWPSE 1998)","author":"H. Pirker","year":"1998","unstructured":"Pirker, H., Mittermeir, R.T.: Internal service channels: Principles and limits. In: Proceedings International Workshop on the Principles of Software Evolution (IWPSE 1998), pp. 63\u201367. IEEE-CS Press, Los Alamitos (1998)"},{"key":"30_CR15","doi-asserted-by":"crossref","unstructured":"Jackson, D.: Structuring Z Specifications with Views. ACM Trans. on Software Engineering and Methodology\u00a04 (1995)","DOI":"10.1145\/226241.226249"},{"key":"30_CR16","first-page":"439","volume-title":"Proceedings of the 5th International Conference on Software Engineering","author":"M. Weiser","year":"1982","unstructured":"Weiser, M.: Program slicing. In: Proceedings of the 5th International Conference on Software Engineering, pp. 439\u2013449. IEEE, Los Alamitos (1982)"},{"key":"30_CR17","first-page":"313","volume-title":"17th Annual International Computer Software and Applications Conference","author":"T. Oda","year":"1993","unstructured":"Oda, T., Araki, K.: Specification slicing in a formal methods software development. In: 17th Annual International Computer Software and Applications Conference, pp. 313\u2013319. IEEE Computer Society Press, Los Alamitos (1993)"},{"key":"30_CR18","unstructured":"Chang, J., Richardson, D.J.: Static and Dynamic Specification Slicing. Technical report, Department of Information and Computer Science, University of California (1994)"},{"key":"30_CR19","volume-title":"TAI 1997, 9th International Conference on Tools with Artificial Intelligence","author":"I. Burnstein","year":"1997","unstructured":"Burnstein, I., Roberson, K., Saner, F., Mirza, A., Tubaishat, A.: A role for chunking and fuzzy reasoning in a program comprehension and debugging tool. In: TAI 1997, 9th International Conference on Tools with Artificial Intelligence. IEEE press, Los Alamitos (1997)"},{"key":"30_CR20","unstructured":"Mittermeir, R., Rauner-Reithmayer, D.: Applying concepts of soft-computing to software re(verse)-engineering. In: Migration Strategies for Legacy Systems. TUV- 1841-97-06 (1997)"},{"key":"30_CR21","doi-asserted-by":"crossref","unstructured":"Tarr, P., Ossher, H., Harrison, W., Sutton, S.M.: N degrees of separation: Multidimensional separation of concerns. In: Proc. 22nd Internat. Conference on Software Engineering, pp. 107\u2013119. ACM and IEEE press (1999)","DOI":"10.1145\/302405.302457"},{"key":"30_CR22","doi-asserted-by":"crossref","unstructured":"Bollin, A., Mittermeir, R.T.: Specification Fragments with Defined Semantics to Support SW-Evolution. In: ACCIT\/IEEE Proc. of the Arab-International Conference on Computer Systems and Applications, AICCSA 2003 (2003)","DOI":"10.1109\/AICCSA.2003.1227496"},{"key":"30_CR23","unstructured":"Fenton, N.E., Pfleeger, S.L.: Software Metrics: A Rigourous & Practical Approach, 2nd edn. International Thompson Publishing Company (1996)"}],"container-title":["Lecture Notes in Computer Science","Modular Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45213-3_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,11]],"date-time":"2020-06-11T06:56:12Z","timestamp":1591858572000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45213-3_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540407966","9783540452133"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45213-3_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}