{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T03:54:32Z","timestamp":1725594872460},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604068"},{"type":"electronic","value":"9783540455523"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60406-5_18","type":"book-chapter","created":{"date-parts":[[2011,7,5]],"date-time":"2011-07-05T19:52:06Z","timestamp":1309895526000},"page":"235-253","source":"Crossref","is-referenced-by-count":0,"title":["A structured analysis formalism with execution semantics to allow unambiguous model interpretation"],"prefix":"10.1007","author":[{"given":"Craig","family":"Gaskell","sequence":"first","affiliation":[]},{"given":"Roger","family":"Phillips","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,8,18]]},"reference":[{"issue":"4","key":"18_CR1","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1002\/spe.4380160404","volume":"16","author":"A. Burns","year":"1986","unstructured":"A. Burns and J. A. Kirkham. The construction of information management system prototypes in ada. Software \u2014 Practice and Experience, 16(4):341\u2013350, April 1986.","journal-title":"Software \u2014 Practice and Experience"},{"key":"18_CR2","volume-title":"Structured Analysis and System Specification","author":"T. DeMarco","year":"1978","unstructured":"T. DeMarco. Structured Analysis and System Specification. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1978."},{"issue":"5","key":"18_CR3","doi-asserted-by":"publisher","first-page":"454","DOI":"10.1109\/32.90448","volume":"17","author":"M. D. Fraser","year":"1991","unstructured":"M. D. Fraser, K. Kumar, and V. K. Vaishnavi. Informal and formal requirements specification languages: Bridging the gap. IEEE Transactions On Software Engineering, 17(5):454\u2013466, May 1991.","journal-title":"IEEE Transactions On Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"N. Fuchs. Specifications are (preferably) executable. Software Engineering Journal, pages 323\u2013334, September 1992.","key":"18_CR4","DOI":"10.1049\/sej.1992.0033"},{"unstructured":"C. Gaskell and R. Phillips. A graphical formalism for executable specification. Technical Report 92\/15, Department of Computer Science, University of Hull, May 1992.","key":"18_CR5"},{"doi-asserted-by":"crossref","unstructured":"C. Gaskell and R. Phillips. Executable specifications and case. Software Engineering Journal, July 1994.","key":"18_CR6","DOI":"10.1049\/sej.1994.0023"},{"unstructured":"C. Gaskell and R. Phillips. Software architecture of the executable graphical specification tool \u2014 egsl. Technical Report 94\/5, Department of Computer Science, University of Hull, 1994.","key":"18_CR7"},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"doi-asserted-by":"crossref","unstructured":"D. Harel. Biting the silver bullet. Computer (IEEE), pages 8\u201320, January 1992.","key":"18_CR9","DOI":"10.1109\/2.108047"},{"key":"18_CR10","first-page":"54","volume-title":"On the formal semantics of statecharts","author":"D. Harel","year":"1987","unstructured":"D. Harel, A. Pnueli, J. P. Schmidt, and R. Sherman. On the formal semantics of statecharts. In Proceedings of the Symposium on Logic in Computer Science, pages 54\u201364, Ithaca, New York, June 22\u201325 1987. IEEE Computer Society Press."},{"key":"18_CR11","volume-title":"Strategies for Real-Time System Specification","author":"D. Hatley","year":"1987","unstructured":"D. Hatley and I. Pirbhai. Strategies for Real-Time System Specification. Dorset House Publishing, New York, 1987."},{"issue":"9","key":"18_CR12","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1016\/0950-5849(90)90205-6","volume":"32","author":"R-J Lea","year":"1990","unstructured":"R-J Lea and C-G Chung. Rapid prototyping from structured analysis: executable specification approach. Information and Software Technology, 32(9):589\u2013597, November 1990.","journal-title":"Information and Software Technology"},{"unstructured":"I. Mitchell, P. Dunne, J. Moses, and N. Parrington. An object-oriented case tool for analysis. In Proceedings of the first international congress on META-CASE, Sunderland, UK, January 5\u20136 1995. (formal proceedings to be published).","key":"18_CR13"},{"key":"18_CR14","first-page":"16","volume-title":"Execution of ward's transformation schema on the graphic specification and prototyping tool specs","author":"P. Pulli","year":"1988","unstructured":"P. Pulli, J. Dahler, H. P. Gisiger, and A. Kundig. Execution of ward's transformation schema on the graphic specification and prototyping tool specs. In COM-PEURO88 \u2014 Systems Design, Concepts, Methods and Tools, pages 16\u201325, Brussels, April 11\u201314 1988. IEEE Computer Society Press, Washington D.C., USA."},{"key":"18_CR15","volume-title":"Proc. Structured Techniques Assoc. Conf. STA5","author":"P. J. Pulli","year":"1989","unstructured":"P. J. Pulli. An object oriented approach to distributed prototype execution of sa\/rt specifications. In Proc. Structured Techniques Assoc. Conf. STA5, Univ Chicago, Chicago IL., May 1989."},{"key":"18_CR16","first-page":"288","volume-title":"Real-time pattern matching technique for executable sa\/rt specifications","author":"P. J. Pulli","year":"1990","unstructured":"P. J. Pulli. Real-time pattern matching technique for executable sa\/rt specifications. In Proceedings of COMPEURO' 90: IEEE Int. Conf. on Computer Systems and Software Engineering, pages 288\u2013295, Tel-Aviv, Israel, May 8\u20139 1990. IEEE Computer Society Press, Los Alamilos, California, USA."},{"unstructured":"E. L. Reilly and J. W. Brackett. An experimental system for executing real-time structured analysis models. In Proceedings of the 12th Structured Methods Conference: SMC XII, pages 301\u2013313, Chicago, Illinois, August 1987.","key":"18_CR17"},{"issue":"4","key":"18_CR18","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/0950-5849(90)90056-W","volume":"32","author":"G. Tate","year":"1990","unstructured":"G. Tate. Prototyping: Helping to build the right software. Information and Software Technology, 32(4):237\u2013244, May 1990.","journal-title":"Information and Software Technology"},{"issue":"2","key":"18_CR19","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TSE.1986.6312936","volume":"12","author":"P. T. Ward","year":"1986","unstructured":"P. T. Ward. The transformation schema: An extension of the data flow diagram to represent control and timing. IEEE Transactions On Software Engineering, 12(2):198\u2013210, February 1986.","journal-title":"IEEE Transactions On Software Engineering"},{"key":"18_CR20","volume-title":"Structured Development for Real-Time Systems","author":"P. T. Ward","year":"1985","unstructured":"P. T. Ward and S. Mellor. Structured Development for Real-Time Systems. Prentice-Hall, Englewood Cliffs, New Jersey, 1985."},{"volume-title":"ACM SIGPLAN NOTICES: Haskell special issue, volume 27(5)","year":"1992","unstructured":"R. L. Wexelblat, editor. ACM SIGPLAN NOTICES: Haskell special issue, volume 27(5). ACM Press, 1515 Broadway, New York 10036, May 1992.","key":"18_CR21"},{"key":"18_CR22","volume-title":"Modern Structured Analysis","author":"E. Yourdon","year":"1989","unstructured":"E. Yourdon. Modern Structured Analysis. Prentice-Hall Inc., Englewood Cliffs, New Jersey, 1989."}],"container-title":["Lecture Notes in Computer Science","Software Engineering \u2014 ESEC '95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60406-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T16:04:20Z","timestamp":1549209860000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60406-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604068","9783540455523"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-60406-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}