{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,25]],"date-time":"2025-05-25T04:03:23Z","timestamp":1748145803803,"version":"3.41.0"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1997,10,1]],"date-time":"1997-10-01T00:00:00Z","timestamp":875664000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,10,1]],"date-time":"1997-10-01T00:00:00Z","timestamp":875664000000},"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":["Automated Software Engineering"],"published-print":{"date-parts":[[1997,10]]},"DOI":"10.1023\/a:1008680612960","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T15:12:40Z","timestamp":1040569960000},"page":"419-438","source":"Crossref","is-referenced-by-count":63,"title":["Requirements and Specification Exemplars"],"prefix":"10.1007","volume":"4","author":[{"given":"Martin S.","family":"Feather","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen","family":"Fickas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anthony","family":"Finkelstein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"van Lamsweerde","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"139415_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.R., Borger, E., and Langmaack, H. (Eds.) 1996. Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control System, Springer-Verlag, vol. LNCS 1165.","DOI":"10.1007\/BFb0027227"},{"issue":"11","key":"139415_CR2","doi-asserted-by":"crossref","first-page":"1257","DOI":"10.1109\/TSE.1985.231877","volume":"11","author":"B. Balzer","year":"1985","unstructured":"Balzer, B. 1985. A 15 year perspective on automatic programming. IEEE Trans.on Software Engineering, 11(11):1257\u20131267.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"139415_CR3","doi-asserted-by":"crossref","unstructured":"Chung, L. and Nixon, B. 1995. Dealing with non-functional requirements: Three experimental studies of a process-oriented approach. Proc.ICSE17-Seventeenth International Conference on Software Engineering, IEEE-ACM, pp. 25\u201337.","DOI":"10.1145\/225014.225017"},{"key":"139415_CR4","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BF00289519","volume":"1","author":"E.W. Dijkstra","year":"1971","unstructured":"Dijkstra, E.W. 1971. Hierarchical ordering of sequential processes. Acta Informatica, 1:115\u2013138.","journal-title":"Acta Informatica"},{"key":"139415_CR5","doi-asserted-by":"crossref","unstructured":"Fickas, S. and Nagarajan, P. 1988. Critiquing software specifications. IEEE Software, 37\u201347.","DOI":"10.1109\/52.10002"},{"key":"139415_CR6","unstructured":"Hayes, I. 1993. Specification Case Studies, 2nd edition. Prentice Hall."},{"key":"139415_CR7","unstructured":"Heitmeyer, C., Jeffords, R., and Labaw, B. 1993. A benchmark for comparing different approaches for specifying and verifying real-time systems. Proc.10th Intl.Workshop on Real-Time Operating Systems and Software, Reprinted in Formal Methods for Real-Time Computing, C. Heitmeyer and D. Mandrioli (Eds.), Wiley, p. xii."},{"key":"139415_CR8","unstructured":"Heninger, K., Kallender, J., Parnas, D.L., and Shore, J. 1978. Software requirements for the A-7 aircraft. NRL Report 3876, US Naval Res. Lab., Washington, D.C."},{"key":"139415_CR9","unstructured":"Hinchey, M. and Bowen, J. (Eds.) 1995. Applications of Formal Methods. Prentice Hall Intl. Series in Computer Science."},{"key":"139415_CR10","unstructured":"Icarus 1989. A tasteful variety of specification case studies. ESPRIT Project 2537, aAvailable at ftp:\/\/ftp.info.ucl.ac.be\/pub\/publi\/89\/CaseStudies.ps."},{"key":"139415_CR11","unstructured":"Jones, C.B. and Shaw, R.C. 1990. Case Studies in Systematic Software Development. Prentice Hall."},{"issue":"1","key":"139415_CR12","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/TSE.1985.231535","volume":"11","author":"R.A. Kemmerer","year":"1985","unstructured":"Kemmerer, R.A. 1985. Testing formal specifications to detect design errors. IEEE Transactions on Software Engineering, 11(1):32\u201343.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"139415_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1049\/ip-d.1983.0001","volume":"130","author":"J. Kramer","year":"1983","unstructured":"Kramer, J., Magee, J., Sloman M., and Lister, A. 1983. CONIC: An integrated approach to distributed computer control systems. IEE Proceedings, vol. 130, Pt. E, No. 1, pp. 1\u201310.","journal-title":"IEE Proceedings"},{"key":"139415_CR14","doi-asserted-by":"crossref","unstructured":"Kramer, J., Magee, J., and Finkelstein, A. 1990. A constructive approach to the design of distributed systems. Proc.10th International Conference on Distributed Computing Systems, IEEE, pp. 580\u2013587.","DOI":"10.1109\/ICDCS.1990.89266"},{"key":"139415_CR15","doi-asserted-by":"crossref","unstructured":"Lano, K. and Haughton, H. (Eds.) 1994. Object-Oriented Specification Case Studies. Prentice Hall Object-Oriented Series.","DOI":"10.1007\/978-1-4471-3073-4_9"},{"issue":"9","key":"139415_CR16","doi-asserted-by":"crossref","first-page":"684","DOI":"10.1109\/32.317428","volume":"20","author":"N. Leveson","year":"1994","unstructured":"Leveson, N., Heimdahl, M., Hildreth, H., and Reese, J. 1994. Requirements specification for process-control systems. IEEE Transactions on Software Engineering, 20(9):684\u2013706.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"139415_CR17","doi-asserted-by":"crossref","unstructured":"Lewerentz, C. and Lindner, T. (Eds.) 1995. Formal Development of Reactive Systems-Case Study Production Cell, Springer-Verlag, vol. LNCS 891.","DOI":"10.1007\/3-540-58867-1"},{"key":"139415_CR18","doi-asserted-by":"crossref","unstructured":"London, P.E. and Feather, M.S. 1986. Implementing specification freedoms. In Readings in Artificial Intelligence and Software Engineering, C. Rich and R.C. Waters (Eds.), Morgan Kaufmann, pp. 285\u2013305","DOI":"10.1016\/B978-0-934613-12-5.50026-4"},{"key":"139415_CR19","unstructured":"Marca, D. and Harandi, M. 1987. Problem set for the Fourth International Workshop on Software Specification and Design. In Proc.4th International Workshop on Software Specification and Design, IEEE CS Press, pp. ix-x."},{"issue":"1","key":"139415_CR20","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1109\/MS.1985.229776","volume":"2","author":"B. Meyer","year":"1985","unstructured":"Meyer, B. 1985. On formalism in specifications. IEEE Software 2(1):6\u201326.","journal-title":"IEEE Software"},{"key":"139415_CR21","doi-asserted-by":"crossref","unstructured":"Modugno, F., Leveson, N., Reese, J., Partridge, K., and Sandys, S. 1997. Integrated safety analysis of requirements specifications. Proc.RE'97\u20133rd IEEE Symposium on Requirements Engineering, Annapolis (MD), pp. 148-159.","DOI":"10.1109\/ISRE.1997.566862"},{"key":"139415_CR22","unstructured":"Olle, T. 1982. Comparative review of information systems design methodologies-Stage 1: Taking Stock. In Information Systems Design Methodologies: A Comparative Review, T. Olle, H. Sol, and A. Verrijn-Stuart (Eds.), Proc.IFIP WG8.1 CRIS 1, North-Holland, pp. 1\u201314."},{"key":"139415_CR23","unstructured":"Olle, T., Sol, H., and Tully, C. 1983. Information systems design methodologies: A feature analysis. In Proc.IFIP WG8.1 CRIS 2, North-Holland."},{"issue":"2","key":"139415_CR24","first-page":"189","volume":"32","author":"D.L. Parnas","year":"1991","unstructured":"Parnas, D.L., Asmis, J.K., and Madey, J. 1991. Assessments of safety-critical software. Nuclear Safety, 32(2):189\u2013198.","journal-title":"Nuclear Safety"},{"key":"139415_CR25","doi-asserted-by":"crossref","unstructured":"Potts, C. 1993. Software engineering research revisited. IEEE Software, 19\u201328.","DOI":"10.1109\/52.232392"},{"issue":"3","key":"139415_CR26","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/182824.182826","volume":"19","author":"C. Potts","year":"1994","unstructured":"Potts, C. and Fickas, S. 1994. Requirements engineering. Section of Succeedings of the 7th International Workshop on Software Specification and Design. In ACM SIGSOFT Software Engineering Notes, 19(3):18\u201322.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"5","key":"139415_CR27","first-page":"37","volume":"14","author":"G.-C. Roman","year":"1989","unstructured":"Roman, G.-C. and Babb, R. 1989. Concurrency, coordination and distribution. ACM SIGSOFT Software Engineering Notes, 14(5):37\u201338.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"2","key":"139415_CR28","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1147\/sj.132.0115","volume":"13","author":"W. Stevens","year":"1974","unstructured":"Stevens, W., Myers, G., and Constantine 1974. Structured design. IBM Systems Journal, 13(2):115\u2013139.","journal-title":"IBM Systems Journal"},{"issue":"7","key":"139415_CR29","first-page":"483","volume":"25","author":"W. Swartout","year":"1982","unstructured":"Swartout, W. and Balzer, R. 1982. On the inevitable intertwining of specification and implementation. Communi-cations of the ACM, 25(7):483\u2013440.","journal-title":"Communi-cations of the ACM"},{"issue":"1","key":"139415_CR30","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0164-1212(94)00111-Y","volume":"28","author":"W.F. Tichy","year":"1995","unstructured":"Tichy, W.F., Lukowicz, P., Prechelt, L., and Heinz, E.A. 1995. Experimental evaluation in computer science: A quantitative study. Journal of Systems and Software, 28(1):9\u201318.","journal-title":"Journal of Systems and Software"},{"key":"139415_CR31","doi-asserted-by":"crossref","unstructured":"van Diepen, N. and Partsch, H.A. 1991. Formalizing informal requirements: Some aspects. In Algebraic Methods II: Theory, Tools and Applications, J.A. Bergstra and L.M.G. Feijs (Eds.), Springer-Verlag, vol. LNCS 490, pp. 7\u201327.","DOI":"10.1007\/3-540-53912-3_16"},{"key":"139415_CR32","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A., Darimont, R., and Massonet, P. 1995. Goal-directed elaboration of requirements for a meeting scheduler: Problems and lessons learned. Proc.RE'95\u20132nd Int.Symp.on Requirements Engineering, IEEE, York, pp. 194-203.","DOI":"10.1109\/ISRE.1995.512561"},{"key":"139415_CR33","doi-asserted-by":"crossref","unstructured":"Wing, J.M. 1988. A study of 12 specifications of the library problem. IEEE Software, pp. 66\u201376.","DOI":"10.1109\/52.17803"},{"issue":"3","key":"139415_CR34","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1109\/32.75412","volume":"17","author":"P. Zave","year":"1991","unstructured":"Zave, P. 1991. An insider's evaluation of PAISLey. IEEE Trans.on Software Engineering, 17(3):212\u2013225.","journal-title":"IEEE Trans. on Software Engineering"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008680612960.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008680612960\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008680612960.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:25:00Z","timestamp":1748071500000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008680612960"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,10]]},"references-count":34,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1997,10]]}},"alternative-id":["139415"],"URL":"https:\/\/doi.org\/10.1023\/a:1008680612960","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[1997,10]]}}}