{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,3]],"date-time":"2025-08-03T04:04:54Z","timestamp":1754193894945,"version":"3.40.5"},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Software Engineering"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1023\/a:1018977602872","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"131-155","source":"Crossref","is-referenced-by-count":15,"title":["Towards quality requirements via animated formal specifications"],"prefix":"10.1007","volume":"3","author":[{"given":"Jawed I.","family":"Siddiqi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian C.","family":"Morrey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris R.","family":"Roast","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehmet B.","family":"Ozcan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"326131_CR1","first-page":"330","volume-title":"Proc. System Integration","author":"S. Antoy","year":"1990","unstructured":"Antoy, S., P. Forcheri and M. Zelkowitz (1990), \u201cRapid Prototyping of System Enhancements,\u201d In Proc. System Integration, New Jersey, IEEE Computer Society Press, pp. 330\u2013336."},{"key":"326131_CR2","volume-title":"Object Oriented Rapid Protyping of Z Specifications Using CLOS","author":"P. Archer","year":"1996","unstructured":"Archer, P. (1996), \u201cObject Oriented Rapid Protyping of Z Specifications Using CLOS,\u201d MSc Dissertation, School of Computing and Management Sciences, Sheffield Hallam University, UK."},{"issue":"11","key":"326131_CR3","doi-asserted-by":"publisher","first-page":"1257","DOI":"10.1109\/TSE.1985.231877","volume":"11","author":"R.M. Balzer","year":"1985","unstructured":"Balzer, R.M. (1985), \u201cA 15 Year Perspective on Automatic Programming,\u201d IEEE Transactions on Software Engineering 11,11, 1257\u20131268.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"326131_CR4","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1109\/TSE.1986.6312960","volume":"12","author":"B. Belkhouche","year":"1986","unstructured":"Belkhouche, B. and J.E. Urban (1986), \u201cDirect Implementation of Abstract Data Types from Abstract Specifications,\u201d IEEE Transactions on Software Engineering 12,5, 649\u2013661.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326131_CR5","unstructured":"Bergstra, J.A., J. Heering and P. Klint (1989), In Algebraic Specification, ACM Press."},{"issue":"5","key":"326131_CR6","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1109\/32.232011","volume":"19","author":"V. Berzins","year":"1993","unstructured":"Berzins, V., Luqi and A. Yehudai (1993), \u201cUsing Transformations in Specification-based Prototyping,\u201d IEEE Transactions on Software Engineering 19,5, 437\u2013452.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326131_CR7","doi-asserted-by":"crossref","unstructured":"Bidoit, M. and C. Choppy (1985), \u201cAsspegique: An Integrated Environment for Algebraic Specifications,\u201d In Proc. TAPSOFT Conf., pp. 246\u2013260.","DOI":"10.1007\/3-540-15199-0_16"},{"key":"326131_CR8","doi-asserted-by":"crossref","unstructured":"Breuer, P.T. and J.P. Bowen (1994), \u201cTowards Correct Executable Semantics for Z,\u201d In Z User Workshop, Cambridge, J.P. Bowen and J.A. Hall, Eds., Workshops in Computing, Springer-Verlag, pp. 185\u2013209.","DOI":"10.1007\/978-1-4471-3452-7_11"},{"key":"326131_CR9","unstructured":"Davis, A.M. (1992a), Software Requirements: Analysis & Specification, Prentice-Hall."},{"key":"326131_CR10","doi-asserted-by":"crossref","unstructured":"Davis, A.M. (1992b), \u201cOperational Prototyping: A New Development Approach,\u201d IEEE Software, September, 70\u201378.","DOI":"10.1109\/52.156899"},{"key":"326131_CR11","doi-asserted-by":"crossref","unstructured":"Dawes, J. (1991), The VDM-SL Reference Guide, Pitman.","DOI":"10.1201\/9781482267419"},{"key":"326131_CR12","doi-asserted-by":"crossref","unstructured":"Dick, A.J.J., P.J. Krause and J. Cozens (1990), \u201cComputer Aided Transformation of Z Into Prolog,\u201d In Z User Workshop, Oxford, 1989, J.E. Nicholls, Ed., Workshops in Computing, Springer-Verlag, pp. 71\u201385.","DOI":"10.1007\/978-1-4471-3877-8_5"},{"key":"326131_CR13","unstructured":"Dix, A.J. (1991), Formal Methods for Interactive Systems, Academic Press."},{"key":"326131_CR14","unstructured":"Dobson, J.E. and J.A. McDermid (1990), An Investigation into Modelling and Categorisation of Non-Functional Requirements (for the Specification of Surface Naval Command Systems), University of York, YCS, 141."},{"key":"326131_CR15","doi-asserted-by":"crossref","unstructured":"Doma, V. and R. Nicholl (1991), \u201cEZ: A System for Automatic Prototyping of Z Specifications,\u201d In VDM'91: Formal Software Development Methods, S. Prehn and W.J. Toetenel, Eds., Lecture Notes in Computer Science, Springer-Verlag, Vol. 551, pp. 189\u2013203.","DOI":"10.1007\/3-540-54834-3_13"},{"key":"326131_CR16","unstructured":"Duke, D.J., P.J. Barnard, D.A. Duce and J. May (1995), \u201cSyndetic Modelling,\u201d Amodeus Project Document, Integration and Design: ID\/WP49, University of York."},{"key":"326131_CR17","volume-title":"The Object-Z Specification Language","author":"R. Duke","year":"1991","unstructured":"Duke, R., P. King, G. Rose and G. Smith (1991), \u201cThe Object-Z Specification Language,\u201d University of Queensland, Australia."},{"issue":"9","key":"326131_CR18","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/185009.185028","volume":"29","author":"R. Elmstr\u00f8m","year":"1994","unstructured":"Elmstr\u00f8m, R., P.G. Larsen and P.B. Lassen (1994), \u201cThe IFAD VDM-SL Toolbox: A Practical Approach to Formal Specification,\u201d ACM SIGPLAN 29,9, 77\u201381.","journal-title":"ACM SIGPLAN"},{"key":"326131_CR19","doi-asserted-by":"crossref","unstructured":"Fuchs, N.E. (1992), \u201cSpecifications Are (Preferably) Executable,\u201d Software Engineering Journal.","DOI":"10.1049\/sej.1992.0033"},{"issue":"5","key":"326131_CR20","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1145\/1006258.1006273","volume":"7","author":"J. Goguen","year":"1982","unstructured":"Goguen, J. and J. Meseguer (1982), \u201cRapid Prototyping in the OBJ Specification Language,\u201d ACM SIGSOFT, Software Engineering Notes 7,5, 75\u201384.","journal-title":"ACM SIGSOFT, Software Engineering Notes"},{"key":"326131_CR21","volume-title":"Animating Z Specifications in Haskell Using a Monad, Technical Report","author":"H.S. Goodman","year":"1993","unstructured":"Goodman, H.S. (1993), \u201cAnimating Z Specifications in Haskell Using a Monad, Technical Report,\u201d University of Birmingham, England."},{"issue":"2","key":"326131_CR22","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/52.506462","volume":"13","author":"J.A. Goguen","year":"1996","unstructured":"Goguen, J.A. (1996), \u201cFormality and Informality in Requirements Engineering,\u201d Keynote presentation at International Conference on Requirements Engineering, IEEE Software 13,2, 52\u201364.","journal-title":"IEEE Software"},{"key":"326131_CR23","unstructured":"Harrison, M.D., A.E. Blandford and P.J. Barnard (1994), \u201cThe Requirements Engineering of User Freedom,\u201d In The Design, Specification and Verification of Interactive Systems, Eurographics 94, F. Paterno, Ed., Springer-Verlag, pp. 181\u2013194."},{"key":"326131_CR24","unstructured":"Hekmatpour, S. (1988), Lisp and Symbol Manipulation, Open University."},{"key":"326131_CR25","unstructured":"Hekmatpour, S. and D. Ince (1988), Software Prototyping, Formal Methods and VDM, Addison-Wesley."},{"key":"326131_CR26","unstructured":"Henderson, P. and C. Minkowitz (1985), \u201cThe mee too Method of Software Design,\u201d FPN-10, University of Stirling, Department of Computing Science."},{"issue":"2","key":"326131_CR27","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1109\/TSE.1986.6312939","volume":"12","author":"P. Henderson","year":"1986","unstructured":"Henderson, P. (1986), \u201cFunctional Programming, Formal Specification & Rapid Prototyping,\u201d IEEE Transactions on Software Engineering 12,2, 241\u2013250.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"11","key":"326131_CR28","doi-asserted-by":"publisher","first-page":"847","DOI":"10.1002\/spe.4380171106","volume":"17","author":"P. Jalote","year":"1987","unstructured":"Jalote, P. (1987), \u201cSynthesising Implementations of Abstract Data Types From Axiomatic Specifications,\u201d Software Practice and Experience 17,11, 847\u2013858.","journal-title":"Software Practice and Experience"},{"key":"326131_CR29","doi-asserted-by":"crossref","unstructured":"Johnson, M. and P. Sanders (1990), \u201cFrom Z Specifications to Functional Implementations,\u201d In Z User Workshop, Oxford 1989, J.E. Nicholls, Ed., Workshops in Computing, Springer-Verlag, pp. 86\u2013112.","DOI":"10.1007\/978-1-4471-3877-8_6"},{"key":"326131_CR30","unstructured":"Knott, R.D. and P.J. Krause (1992), \u201cThe Implementation of Z Specifications Using Program Transformation Systems: the SuZan Project,\u201d In The Unified Computation Laboratory, C. Rattray, R.G. Clark, Eds., Vol. 35 of IMA Conference Series, Oxford University Press, pp. 207\u2013220."},{"key":"326131_CR31","unstructured":"Kowalski, R.A. (1985), \u201cThe Relation Between Logic Programming and Logic Specification,\u201d In Mathematical Logic and Programming Languages, C.A.R. Hoare and J.C. Shepherdson, Eds., Prentice-Hall."},{"key":"326131_CR32","unstructured":"Van Lamsweerde, A., R. Darimont and P. Massonet (1995), \u201cGoal Directed Elaboration of Requirements for a Meeting Scheduler: Problems and Lessons Learnt,\u201d In 2nd IEEE International Symposium on Requirements Engineering."},{"key":"326131_CR33","doi-asserted-by":"crossref","unstructured":"Lehmann, T. and J. Loeckx (1987), \u201cThe Specification Language of OBSCURE,\u201d 5th Workshop on Specification of Abstract Data Types: Recent Trends in Data Type Specification, pp. 131\u2013153.","DOI":"10.1007\/3-540-50325-0_7"},{"key":"326131_CR34","unstructured":"Morgan, C. (1993), \u201cTelephone network,\u201d In Specification Case Studies, I. Hayes, Ed., Prentice-Hall, 2nd edition."},{"key":"326131_CR35","unstructured":"Morrey, I., J.I.A. Siddiqi, and J. Briggs (1992), \u201cZ Animation in LISP,\u201d In 5th International Conference on Putting into Practice Methods for Information System Design, Nantes."},{"key":"326131_CR36","unstructured":"Morrey, I., J.I.A. Siddiqi, R. Hibberd and G. Buckberry (1993), \u201cUse of a Specification Construction and Animation Tool to Teach Formal Methods,\u201d IEEE Compsac 93, The Seventeenth Annual Internation Computer Software and Applications Conference, Phoenix, Arizona, USA."},{"key":"326131_CR37","unstructured":"Morrey, I., J.I.A. Siddiqi, G. Buckberry, and R. Hibberd (1996), \u201cA Toolset to Support the Construction and Animation of Formal Specifications\u201d, Journal of Systems and Software, To appear."},{"issue":"6","key":"326131_CR38","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1093\/comjnl\/35.6.623","volume":"35","author":"G. O'Neill","year":"1992","unstructured":"O'Neill, G. (1992), \u201cAutomatic translation of VDM specifications into Standard ML programs,\u201d The Computer Journal 35,6, 623\u2013624.","journal-title":"The Computer Journal"},{"issue":"9","key":"326131_CR39","doi-asserted-by":"publisher","first-page":"999","DOI":"10.1002\/(SICI)1097-024X(199609)26:9<999::AID-SPE43>3.0.CO;2-W","volume":"26","author":"M.B. Ozcan","year":"1996","unstructured":"Ozcan, M.B. and J.I.A. Siddiqi (1996), \u201cInterchanging Specifications and Implementation in Evolutionary Prototyping\u201d, Software Practice and Experience 26,9, 999\u20131023.","journal-title":"Software Practice and Experience"},{"key":"326131_CR40","unstructured":"Parry, P.W., M.B. Ozcan and J. Siddiqi (1995), \u201cThe Application of Visualisation to Requirements Engineering,\u201d In Proc. Conf. on Software Engineering and Its Applications, France, pp. 699\u2013710."},{"key":"326131_CR41","doi-asserted-by":"crossref","unstructured":"Potts, C., K. Takahashi and A.I. Anton (1994), \u201cInquiry-Based Requirements Analysis,\u201d IEEE Software.","DOI":"10.1109\/52.268952"},{"key":"326131_CR42","unstructured":"Roast, C.R. (1993), Executing Models in Human Computer Interaction, PhD thesis, Department of Computer Science, University of York."},{"key":"326131_CR43","doi-asserted-by":"crossref","unstructured":"Roast, C.R. and J.I. Siddiqi (1995), \u201cA Formal Analysis of an Interface Specification using the Template Model,\u201d In Symbiosis of Human and Artifact, Advanced in Human Factors\/Ergonomics, 20B, Y. Anzai, K. Ogawa and H. Mori, Eds., Elsevier, pp. 483\u2013488","DOI":"10.1016\/S0921-2647(06)80263-7"},{"key":"326131_CR44","unstructured":"Roast, C.R. and J.I. Siddiqi (1996), \u201cThe Formal Interpretation of Cognitive Dimensions,\u201d In HCI Industry Day and Adjunct Proceedings, A. Blandford and H. Thimbleby, Eds., The Bristich HCI Group, pp. 150\u2013156."},{"key":"326131_CR45","doi-asserted-by":"crossref","unstructured":"Ryan, M., J. Fiadeiro and T. Maibaum (1991), \u201cSharing Actions and Attributes in Modal Action Logic,\u201d In Theoretical Aspects of Computer Software, T. Into and A.R. Meyer, Eds., Springer Verlag, pp. 569\u2013593.","DOI":"10.1007\/3-540-54415-1_65"},{"key":"326131_CR46","doi-asserted-by":"crossref","unstructured":"Sherrell, L.B. and D.L. Carver (1993), \u201cZ Meets Haskell: A Case Study,\u201d In Procs. 17th. Annual International Computer Software & Applications Conference, pp. 320\u2013326.","DOI":"10.1109\/CMPSAC.1993.404235"},{"issue":"12","key":"326131_CR47","doi-asserted-by":"publisher","first-page":"1159","DOI":"10.1002\/spe.4380241205","volume":"24","author":"L.B. Sherrell","year":"1994","unstructured":"Sherrell, L.B. and D.L. Carver (1994), \u201cExperiences in translating Z Designs to Haskell Implementations,\u201d Software \u2014 Practice And Experience 24,12, 1159\u20131178.","journal-title":"Software \u2014 Practice And Experience"},{"key":"326131_CR48","unstructured":"Siddiqi, J.I.A and I. Morrey (1995), \u201cToolset to Support a Software Engineering Strategy for AI Development,\u201d In IEEE International Conference on Tools with AI, Washington."},{"key":"326131_CR49","volume-title":"Towards Case Tools for Proto-typing Z specifications","author":"J.I.A. Siddiqi","year":"1993","unstructured":"Siddiqi, J.I.A., I. Morrey, G. Buckberry and R. Hibberd (1993), \u201cTowards Case Tools for Proto-typing Z specifications,\u201d In IEEE Case 93, Sixth International Workshop on CASE, National University of Singapore, Singapore."},{"key":"326131_CR50","unstructured":"Siddiqi, J., I. Morrey, R. Hibbert and G. Buckberry (1994), \u201cTowards a System for the Construction, Clarification, Discovery and Formalisation of Requirements,\u201d In Proc. International Conference on Requirements Engineering, ICRE94."},{"key":"326131_CR51","unstructured":"Siddiqi, J., I. Morrey, S. Shaw, and J. Briggs (1991), \u201cRapid Prototyping of Formal Specifications,\u201d In 4th International Conference on Software Engineering and its Applications, Toulouse."},{"key":"326131_CR52","unstructured":"Spivey, M. (1992), The Z Notation \u2014 A Reference Manual, 2nd Edition, Prentice-Hall."},{"key":"326131_CR53","unstructured":"Sufrin, B. and J. He (1990), \u201cSpecification, Refinement and Analysis of Interactive Processes,\u201d In Formal Methods in Human Computer Interaction, M.D. Harrison and H.W. Thimbleby, Eds., pp. 153\u2013200."},{"key":"326131_CR54","unstructured":"Turner, D.A. (1985), \u201cFunctional Programs as Executable Specifications,\u201d In Mathematical Logic and Programming Languages, C.A.R. Hoare and J.C. Shepherdson, Eds., Prentice-Hall."},{"key":"326131_CR55","unstructured":"Urban, J.E. (1982), \u201cSoftware Development with Executable Formal Specifications,\u201d In 6th Int. Conf. on Software Engineering, pp. 418\u2013419."},{"issue":"5\u20136","key":"326131_CR56","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/0950-5849(95)99365-T","volume":"37","author":"S.H. Valentine","year":"1995","unstructured":"Valentine, S.H. (1995), \u201cThe Programming Language Z\u2212,\u201d Information and Software Technology 37,5\u20136, 293\u2013301.","journal-title":"Information and Software Technology"},{"issue":"4","key":"326131_CR57","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1049\/sej.1992.0027","volume":"7","author":"M.M. West","year":"1992","unstructured":"West, M.M. and B.M. Eagleston (1992), \u201cSoftware Development: Two Approaches to Animation of Z Specifications Using Prolog,\u201d IEE\/BCS Software Engineering Journal 7,4, 264\u2013276.","journal-title":"IEE\/BCS Software Engineering Journal"},{"issue":"3","key":"326131_CR58","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1109\/TSE.1982.235254","volume":"8","author":"P. Zave","year":"1982","unstructured":"Zave, P. (1982), \u201cAn Operational Approach to Requirements Specification for Embedded Systems\u201d, IEEE Transactions on Software Engineering 8,3, 250\u2013269.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Annals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018977602872.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018977602872\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018977602872.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:25:57Z","timestamp":1747578357000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018977602872"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":58,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["326131"],"URL":"https:\/\/doi.org\/10.1023\/a:1018977602872","relation":{},"ISSN":["1022-7091","1573-7489"],"issn-type":[{"type":"print","value":"1022-7091"},{"type":"electronic","value":"1573-7489"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}