{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T04:02:10Z","timestamp":1747627330176,"version":"3.40.5"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[1998,3,1]],"date-time":"1998-03-01T00:00:00Z","timestamp":888710400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,3,1]],"date-time":"1998-03-01T00:00:00Z","timestamp":888710400000},"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":[[1998,3]]},"DOI":"10.1023\/a:1018977919653","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"411-432","source":"Crossref","is-referenced-by-count":0,"title":["Understanding and exploring formal specifications"],"prefix":"10.1007","volume":"6","author":[{"given":"Jawed","family":"Siddiqi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Morrey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Hibberd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Graham","family":"Buckberry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"326204_CR1","unstructured":"Abelson, H. and G. Sussman (1985), The Structure and Interpretation of Computer Programs, McGraw-Hill."},{"key":"326204_CR2","doi-asserted-by":"crossref","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 11"},{"key":"326204_CR3","volume-title":"Structured Programming","author":"O.J. Dahl","year":"1972","unstructured":"Dahl, O.J., E.W. Dijkstra, and C.A.R. Hoare (1972), Structured Programming, Academic Press, New York."},{"key":"326204_CR4","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W. (1976), A Discipline of Programming, Prentice-Hall, Englewood Cliffs, NJ."},{"key":"326204_CR5","doi-asserted-by":"crossref","unstructured":"Faulk, S. et al. (1992), \u201cThe Core Method for Real-Time Requirements,\u201d IEEE Software 9, 5.","DOI":"10.1109\/52.156894"},{"key":"326204_CR6","unstructured":"Ford, G. and H. Gibbs (1996), \u201cAttributes and Goals for a Mature Software Engineering Profession,\u201d In Proceedings of Professional Awareness in Software Engineering, London."},{"key":"326204_CR7","unstructured":"GAO, U.S. General Accounting Office (1992), \u201cMission Critical Systems: Defense Attempting to Address Major Software Challenges,\u201d GAO\/IMTEC-93-13."},{"key":"326204_CR8","doi-asserted-by":"crossref","unstructured":"Gladden, G.R. (1982), \u201cStop the Life-Cycle, I Want to Get off,\u201d ACM SIGSOFT Software Engineering Notes 7, 2.","DOI":"10.1145\/1005937.1005945"},{"key":"326204_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"The Science of Programming","author":"D. Gries","year":"1981","unstructured":"Gries, D. (1981), The Science of Programming, Springer-Verlag, New York, NY."},{"key":"326204_CR10","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R. (1987), \u201cLaws of Programming,\u201d Communications of the ACM 30, 8.","DOI":"10.1145\/27651.27653"},{"key":"326204_CR11","doi-asserted-by":"crossref","unstructured":"Lutz, R. (1993), \u201cAnalysing Software Requirements in Errors in Safety Critical Embedded Systems,\u201d Proc. IEEE Internat. Symp. Requirements Engrg., IEEE CS Press, pp. 126\u2013133.","DOI":"10.1109\/ISRE.1993.324825"},{"key":"326204_CR12","unstructured":"McCracken, D.D. and M.A. Jackson (1981), \u201cA Minority Dissenting Position,\u201d In Systems Analysis and Design \u2013 A Foundation for the 1980's, W.W. Cotterman et al., Eds., pp. 551\u2013553."},{"key":"326204_CR13","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/MS.1987.231413","volume":"5","author":"H.D. Mills","year":"1987","unstructured":"Mills, H.D., M. Dyer, and R.C. Linger (1987), \u201cCleanroom Software Engineering,\u201d IEEE Software 4, 5, 19\u201325.","journal-title":"IEEE Software 4"},{"key":"326204_CR14","volume-title":"Specification Case Studies","author":"C. Morgan","year":"1987","unstructured":"Morgan, C. (1987), \u201cTelephone Network,\u201d In Specification Case Studies, I. Hayes, Ed., 1st Edition, Prentice-Hall, Englewood Cliffs, NJ.","edition":"1st Edition"},{"key":"326204_CR15","volume-title":"Specification Case Studies","author":"C. Morgan","year":"1993","unstructured":"Morgan, C. (1993), \u201cTelephone Network,\u201d In Specification Case Studies, I. Hayes, Ed., 2nd Edition, Prentice-Hall, Englewood Cliffs, NJ.","edition":"2nd Edition"},{"key":"326204_CR16","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/S0164-1212(97)10016-4","volume":"41","author":"I. Morrey","year":"1998","unstructured":"Morrey, I., J. Siddiqi, R. Hibberd, and G. Buckberry (1998), \u201cA Toolset to Support the Construction and Animation of Formal Specifications,\u201d Journal of Systems Software 41, 147\u2013160.","journal-title":"Journal of Systems Software"},{"key":"326204_CR17","first-page":"103","volume":"3","author":"C.J. Nix","year":"1988","unstructured":"Nix, C.J. and B.P. Collins (1988), \u201cThe Use of Software Engineering Including the Z Notation, in the Development of CICs,\u201d Quality Assurance 14, 3, 103\u2013110.","journal-title":"Quality Assurance 14"},{"key":"326204_CR18","volume-title":"Applications of Formal Methods","author":"D. Parnas","year":"1995","unstructured":"Parnas, D. (1995), \u201cUsing Mathematical Descriptions in the Inspection of Safety-Critical Software,\u201d In Applications of Formal Methods, M.G. Hinchey and J.P. Bowen, Eds., Prentice-Hall, Englewood Cliffs, NJ."},{"key":"326204_CR19","doi-asserted-by":"crossref","unstructured":"Place, P.R.H., W. Wood, and M. Tudball (1990), \u201cSurvey of Formal Specification Techniques for Reactive Systems,\u201d Software Engineering Institute, CMU\/SEI-90-TR-5.","DOI":"10.21236\/ADA232045"},{"key":"326204_CR20","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/S0020-7373(85)80078-X","volume":"22","author":"B. Ratcliff","year":"1985","unstructured":"Ratcliff, B. and J.I.A. Siddiqi (1985), \u201cAn Empirical Investigation into Problem Decomposition Strategies Used in Program Design,\u201d International Journal of Man-Machine Studies 22, 77\u201390.","journal-title":"International Journal of Man-Machine Studies"},{"key":"326204_CR21","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1016\/0950-5849(95)01057-2","volume":"5","author":"H. Saiedman","year":"1996","unstructured":"Saiedman, H. and M. Hinchey (1996), \u201cChallenges in the Successful Transfer of Formal Methods Technology into Industrial Application,\u201d Information and Software Technology 38, 5, 313\u2013321.","journal-title":"Information and Software Technology 38"},{"key":"326204_CR22","doi-asserted-by":"crossref","first-page":"1159","DOI":"10.1002\/spe.4380241205","volume":"12","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 \u2013 Practice and Experience 24, 12, 1159\u20131178.","journal-title":"Software \u2013 Practice and Experience 24"},{"key":"326204_CR23","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1023\/A:1018977602872","volume":"3","author":"J. Siddiqi","year":"1997","unstructured":"Siddiqi, J., I. Morrey, C. Roast, and M. Ozcan (1997), \u201cTowards Quality Requirements via Animated Formal Specifications,\u201d Annals of Software Engineering 3, 131\u2013155.","journal-title":"Annals of Software Engineering"},{"key":"326204_CR24","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1016\/0020-7373(89)90002-3","volume":"31","author":"J.I.A. Siddiqi","year":"1989","unstructured":"Siddiqi, J.I.A. and B. Ratcliff (1989), \u201cSpecifications Influences in Program Design,\u201d International Journal of Man\u2013Machine Studies 31, 393\u2013404.","journal-title":"International Journal of Man\u2013Machine Studies"},{"key":"326204_CR25","volume-title":"Empirical Studies of Programmers","author":"J.I.A. Siddiqi","year":"1996","unstructured":"Siddiqi, J.I.A., B. Khazaei, R. Osborn, and C. Roast (1996), \u201cThe Pitfalls of Changing Programming Paradigms,\u201d In Empirical Studies of Programmers, Ablex Publishers, Washington."},{"key":"326204_CR26","volume-title":"The Z Notation","author":"J.M. Spivey","year":"1989","unstructured":"Spivey, J.M. (1989), The Z Notation, Prentice-Hall, Englewood Cliffs, NJ."},{"key":"326204_CR27","unstructured":"Vienneau, R. (1997), \u201cA Review of Formal Methods,\u201d In Software Requirements Engineering, M. Thayer and R.H. Dorfman, Eds., 2nd Edition, pp. 324\u2013335."},{"key":"326204_CR28","volume-title":"Proc. of the Workshop on Refinement","author":"J.B. Wordsworth","year":"1989","unstructured":"Wordsworth, J.B. (1989), \u201cA Z Development Method,\u201d In Proc. of the Workshop on Refinement, The Open University, Milton Keynes."}],"container-title":["Annals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018977919653.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018977919653\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018977919653.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:18:44Z","timestamp":1747577924000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018977919653"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,3]]},"references-count":28,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1998,3]]}},"alternative-id":["326204"],"URL":"https:\/\/doi.org\/10.1023\/a:1018977919653","relation":{},"ISSN":["1022-7091","1573-7489"],"issn-type":[{"type":"print","value":"1022-7091"},{"type":"electronic","value":"1573-7489"}],"subject":[],"published":{"date-parts":[[1998,3]]}}}