{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:09Z","timestamp":1725663129680},"publisher-location":"Berlin, Heidelberg","reference-count":58,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540151999"},{"type":"electronic","value":"9783540393078"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15199-0_8","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:12:57Z","timestamp":1330193577000},"page":"117-128","source":"Crossref","is-referenced-by-count":7,"title":["Specifying and prototyping: Some thoughts on why they are successful"],"prefix":"10.1007","author":[{"given":"Daniel M.","family":"Berry","sequence":"first","affiliation":[]},{"given":"Jeannette M.","family":"Wing","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Alavi, M., \u201cAn Assessment of the Prototyping Approach to Information Systems Development,\u201d CACM 27:6, June, 1984.","DOI":"10.1145\/358080.358095"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Backus, J., \u201cCan Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs,\u201d CACM, 21:8, Aug., 1978.","DOI":"10.1145\/359576.359579"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Balzer, R.M., Goldman, N.M., and Wile, D.S., \u201cOperational Specification as the Basis for Rapid Prototyping,\u201d \u201cSpecial Issue on Rapid Prototyping, Working Papers from the ACM SIGSOFT Rapid Prototyping Workshop,\u201d SOFTWARE ENGINEERING NOTES 7:5, Dec., 1982.","DOI":"10.1145\/1006258.1006261"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Boehm, B.W., Gray, T.E., and Seewaldt, T., \u201cPrototyping vs. Specifying: A Multi-Project Experiment,\u201d Proceedings of the Seventh International Conference on Software Engineering, Orlando, FL, May, 1984.","DOI":"10.1109\/TSE.1984.5010238"},{"key":"8_CR5","volume-title":"Software Engineering Economics","author":"B. W. Boehm","year":"1981","unstructured":"Boehm, B.W., Software Engineering Economics, Prentice-Hall, Englewood Cliffs, NJ, 1981."},{"key":"8_CR6","volume-title":"The Mythical Man Month, Essays on Software Engineering","author":"F. P. Brooks Jr.","year":"1975","unstructured":"Brooks, F.P., Jr., The Mythical Man Month, Essays on Software Engineering, Addison-Wesley, Reading, MA, 1975."},{"volume-title":"Approaches to Prototyping","year":"1984","key":"8_CR7","unstructured":"Budde, R., Kuhlenkamp, K., Mathiassen, L., and Z\u00fcllighoven, H. (Eds.), Approaches to Prototyping, Springer-Verlag, Berlin, 1984."},{"key":"8_CR8","unstructured":"CCITT, \u201cSpecifications of Signalling System No. 7,\u201d Yellow Book, VI, Fascicle VI-6, Recommendations Q.701\u2013Q.741, 1981. Referenced in [Orl84] by J. Woodcock."},{"key":"8_CR9","volume-title":"COBOL with Style, Programming Proverbs","author":"L. J. Chmura","year":"1976","unstructured":"Chmura, L.J. and Ledgard, H.F., COBOL with Style, Programming Proverbs, Heyden, Rochelle Pk., NJ, 1976."},{"key":"8_CR10","unstructured":"Clemmensen, G.B. and Oest, O.N. \u201cFormal Specification and Development of an Ada Compiler \u2014 A VDM Case Study,\u201d Proceedings of the Seventh International Conference on Software Engineering, Orlando, FL, May, 1984."},{"key":"8_CR11","volume-title":"Programming in Prolog","author":"W. F. Clocksin","year":"1981","unstructured":"Clocksin, W.F., and Mellish, C.S., Programming in Prolog, Springer-Verlag, Berlin, 1981."},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Davis, A.M. \u201cRapid Prototyping Using Executable Requirements Specification,\u201d \u201cSpecial Issue on Rapid Prototyping, Working Papers from the ACM SIGSOFT Rapid Prototyping Workshop,\u201d SOFTWARE ENGINEERING NOTES 7:5, Dec., 1982.","DOI":"10.1145\/1006258.1006266"},{"issue":"5","key":"8_CR13","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1145\/359104.359106","volume":"22","author":"R. A. Millo De","year":"1979","unstructured":"De Millo, R.A., Lipton, R.J., and Perlis, A., \u201cSocial Processes and Proofs of Theorems and Programs,\u201d CACM, 22:5, pp. 271\u2013280, 1979.","journal-title":"CACM"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Feather, M. \u201cMappings for Rapid Prototyping,\u201d \u201cSpecial Issue on Rapid Prototyping, Working Papers from the ACM SIGSOFT Rapid Prototyping Workshop,\u201d SOFTWARE ENGINEERING NOTES 7:5, Dec., 1982.","DOI":"10.1145\/1006258.1006262"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Floyd, C., \u201cA Systematic Look at Prototyping,\u201d in [BKMZ84], pp. 1\u201318, 1984.","DOI":"10.1007\/978-3-642-69796-8_1"},{"key":"8_CR16","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1109\/MC.1983.1654440","volume":"16","author":"L.J. Fraim","year":"1983","unstructured":"Fraim, L.J. \u201cSCOMP: A Solution to the MLS Problem,\u201d Computer 16:7, July, 1983.","journal-title":"Computer"},{"key":"8_CR17","unstructured":"Forgaard, R., and Guttag, J.V., \u201cREVE: A Term Rewriting System Generator with Failure-Resistant Knuth-Bendix,\u201d in Procceedings of an NSF Workshop on the Rewrite Rule Laboratory, September, 1983, J.V. Guttag, D. Kapur, and D.R. Musser, (editors), available as a General Electric Technical Report No. 84GEN008, April, 1984."},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Goguen, J.A. and Meseguer, J., \u201cRapid Prototyping in the OBJ Executable Specification Language,\u201d \u201cSpecial Issue on Rapid Prototyping, Working Papers from the ACM SIGSOFT Rapid Prototyping Workshop,\u201d SOFTWARE ENGINEERING NOTES 7:5, Dec., 1982.","DOI":"10.1145\/1006258.1006273"},{"key":"8_CR19","unstructured":"Goguen, J.A., and Tardo, J., \u201cAn Introduction to OBJ: A Language for Writing and Testing Formal Algebraic Program Specifications,\u201d Proceedings Conference on Specifications of Reliable Software, Boston, 1979."},{"key":"8_CR20","series-title":"Tech. Report","volume-title":"Report on the Language Gypsy, Version 2.0","author":"D. I. Good","year":"1978","unstructured":"Good, D.I., Cohen, R.M., Hoch, C.G., Hunter, L.W., and Hare, D.F., \u201cReport on the Language Gypsy, Version 2.0,\u201d Tech. Report ICSCA-CMP-10, University of Texas, Austin, Sept., 1978."},{"key":"8_CR21","series-title":"Final Report, Institute for Computing Science","volume-title":"Message Flow Modulator","author":"D. I. Good","year":"1982","unstructured":"Good, D.I., Siebert, A.E., and Smith, L.M., \u201cMessage Flow Modulator,\u201d Final Report, Institute for Computing Science TR-34, University of Texas, Austin, Dec., 1982."},{"key":"8_CR22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0167-6423(82)90004-1","volume":"2","author":"J.V. Guttag","year":"1982","unstructured":"Guttag, J.V., Horning, J.J., and Wing, J.M., \u201cSome Notes on Putting Formal Specifications to Productive Use,\u201d Science of Computer Programming, 2:1, Oct., 1982.","journal-title":"Science of Computer Programming"},{"key":"8_CR23","unstructured":"Guttag, J.V., and Horning, J.J., \u201cAn Introduction to the Larch Shared Language,\u201d Proceedings IFIP Congress 1983, Paris, 1983."},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Guttag, J.V., and Horning, J.J., \u201cFormal Specification as a Design Tool,\u201d Proceedings Principles of Programming Languages Conference, Las Vegas, 1980.","DOI":"10.1145\/567446.567471"},{"key":"8_CR25","unstructured":"Heninger, K.L. \u201cSpecifying Software Requirements for Complex Systems: New Techniques and Their Application,\u201d Proceedings Conference on Specifications of Reliable Software, Boston, 1979."},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Hinke, T., Althouse, J., and Kemmerer, R.A., \u201cSDC Secure Release Terminal Project,\u201d Proceedings of the 1983 Symposium on Security and Privacy, Oakland, CA, April, 1983.","DOI":"10.1109\/SP.1983.10011"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Hooper, J.W. and Hsia, P., \u201cScenario-Based Prototyping for Requirements Identification,\u201d \u201cSpecial Issue on Rapid Prototyping, Working Papers from the ACM SIGSOFT Rapid Prototyping Workshop,\u201d SOFTWARE ENGINEERING NOTES 7:5, Dec., 1982.","DOI":"10.1145\/1006258.1006275"},{"key":"8_CR28","unstructured":"International Workshop on Models and Languages for Software Specification and Design, Orlando, Florida, Workshop Notes, R.G. Babb and A. Mili, editors, D\u00e9partement d'Informatique, Universit\u00e9 Laval, Qu\u00e9bec, DIUL-RR-8408, March, 1984."},{"key":"8_CR29","volume-title":"A User's Manual for the UNISEX System","author":"R. A. Kemmerer","year":"1983","unstructured":"Kemmerer, R.A. and Eckmann, S.T., \u201cA User's Manual for the UNISEX System,\u201d Department of Computer Science, UCSB, Santa Barbara, CA, Dec., 1983."},{"key":"8_CR30","series-title":"Computing Science Technical Report","volume-title":"A Typesetter-independent TROFF","author":"B. W. Kernighan","year":"1982","unstructured":"Kernighan, B.W., \u201cA Typesetter-independent TROFF,\u201d Computing Science Technical Report No. 97, Bell Laboratories, Murray Hill, NJ, 1982."},{"key":"8_CR31","volume-title":"The Elements of Programming Style","author":"B. W. Kernighan","year":"1974","unstructured":"Kernighan, B.W. and Plauger, P.J., The Elements of Programming Style, McGraw-Hill, New York, 1974."},{"key":"8_CR32","doi-asserted-by":"crossref","unstructured":"Klausner, A. and Konchan, T.E., \u201cRapid Prototyping and Requirements Specification Using PDS,\u201d \u201cSpecial Issue on Rapid Prototyping, Working Papers from the ACM SIGSOFT Rapid Prototyping Workshop,\u201d SOFTWARE ENGINEERING NOTES 7:5, Dec., 1982.","DOI":"10.1145\/1006258.1006277"},{"key":"8_CR33","doi-asserted-by":"crossref","unstructured":"Kruchten, P., and Schonberg, E., \u201cThe Ada\/Ed System: A Large-Scale Experiment in Software Prototyping Using SETL,\u201d in [BKMZ84], pp. 398\u2013415, 1984.","DOI":"10.1007\/978-3-642-69796-8_34"},{"key":"8_CR34","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1109\/MC.1983.1654445","volume":"16","author":"C.E. Landwehr","year":"1983","unstructured":"Landwehr, C.E., \u201cThe Best Available Technologies for Computer Security,\u201d Computer 16:7, July, 1983.","journal-title":"Computer"},{"key":"8_CR35","volume-title":"Pascal with Style, Programming Proverbs","author":"H. F. Ledgard","year":"1979","unstructured":"Ledgard, H.F., Hueras, J.F., and Nagin, P.A., Pascal with Style, Programming Proverbs, Heyden, Rochelle Pk., NJ, 1979."},{"key":"8_CR36","doi-asserted-by":"crossref","unstructured":"Lescanne, P., \u201cComputer Experiments with the REVE Term Rewriting system Generator,\u201d Proceedings of Tenth Symposium on Principles of Programming Languages, Austin, TX, Jan., 1983.","DOI":"10.1145\/567067.567078"},{"key":"8_CR37","volume-title":"The HDM Handbook","author":"K. N. Levitt","year":"1979","unstructured":"Levitt, K.N., Robinson, L., and Silverberg, B.A., \u201cThe HDM Handbook,\u201d Vols. 1\u20133, SRI International, Menlo Pk., CA, 1979."},{"key":"8_CR38","unstructured":"Locasso, R., Scheid, J., Schorre, D.V., and Eggert, P.R., \u201cThe Ina Jo Reference Manual,\u201d TM-(L)-6021\/001\/000, System Development Corporation, 1980."},{"key":"8_CR39","doi-asserted-by":"crossref","unstructured":"MacEwan, G.H., \u201cSpecification Prototyping,\u201d \u201cSpecial Issue on Rapid Prototyping, Working Papers from the ACM SIGSOFT Rapid Prototyping Workshop,\u201d SOFTWARE ENGINEERING NOTES 7:5, Dec., 1982.","DOI":"10.1145\/1006258.1006279"},{"key":"8_CR40","doi-asserted-by":"crossref","unstructured":"McMullin, P.R., and Gannon, J.D., \u201cCombining Testing with Formal Specifications: A Case Study,\u201d IEEE-TSE, SE-9:3, May, 1983.","DOI":"10.1109\/TSE.1983.236869"},{"key":"8_CR41","doi-asserted-by":"crossref","unstructured":"Melliar-Smith, P.M., and Schwartz, R.L., \u201cFormal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System,\u201d IEEE Transactions on Computers, C-31:7, July, 1982.","DOI":"10.1109\/TC.1982.1676059"},{"key":"8_CR42","volume-title":"Composite\/Structured Design","author":"G. J. Myers","year":"1979","unstructured":"Myers, G.J., Composite\/Structured Design, Van Nostrand Reinhold, New York, 1979."},{"key":"8_CR43","unstructured":"\u201cProgrammer's Reference Manual for S-PORT SIMULA 67 System, Norwegian Computing Center, (data cannot be determined from document)."},{"key":"8_CR44","doi-asserted-by":"crossref","unstructured":"Parnas, D.L., \u201cOn the Criteria to be Used in Decomposing Systems into Modules,\u201d CACM, 15:2, Dec., 1972.","DOI":"10.1145\/361598.361623"},{"key":"8_CR45","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1002\/spe.4380120707","volume":"12","author":"D. J. Rees","year":"1982","unstructured":"Rees, D.J., \u201cThe Kernel of the EMAS 2900 Operating System,\u201d Software\u2014Practice and Experience 12, 655\u2013667, 1982.","journal-title":"Software\u2014Practice and Experience"},{"key":"8_CR46","unstructured":"Shelness, N.H., Rees, D.J., Stephens, P.D., and Yarwood, J.K., \u201cAn Experiment in Doing it Again, But Very Well This Time,\u201d CSR-18-77 Department of Computer Science, University of Edinburgh, December, 1977."},{"key":"8_CR47","doi-asserted-by":"crossref","first-page":"993","DOI":"10.1002\/spe.4380101206","volume":"10","author":"P. D. Stephens","year":"1980","unstructured":"Stephens, P.D., Yarwood, J.K., Rees, D.J., and Shelness, N.H., \u201cThe Evolution f the Operating System EMAS 2900\u201d, Software\u2014Practice and Experience 10, 993\u20131008, 1980.","journal-title":"Software\u2014Practice and Experience"},{"key":"8_CR48","doi-asserted-by":"crossref","unstructured":"Smoliar, S.W., \u201cApproaches to Executable Specifications,\u201d \u201cSpecial Issue on Rapid Prototyping, Working Papers from the ACM SIGSOFT Rapid Prototyping Workshop,\u201d SOFTWARE ENGINEERING NOTES 7:5, Dec., 1982.","DOI":"10.1145\/1006258.1006285"},{"key":"8_CR49","doi-asserted-by":"crossref","unstructured":"\u201cSpecial Issue on Rapid Prototyping, Working Papers from the ACM SIGSOFT Rapid Prototyping Workshop,\u201d SOFTWARE ENGINEERING NOTES 7:5, Dec., 1982.","DOI":"10.1145\/1006258.1006260"},{"key":"8_CR50","volume-title":"LSI GUARD System Specification (Type A)","author":"S. Stahl","year":"1981","unstructured":"Stahl, S., \u201cLSI GUARD System Specification (Type A),\u201d MTR-8452, MITRE Corp., Bedford, MA, Oct., 1981."},{"key":"8_CR51","series-title":"DTI Document","volume-title":"COS\/NFE Functional Description","author":"S. A. Sutton","year":"1982","unstructured":"Sutton, S.A. and Wilut, C.K., \u201cCOS\/NFE Functional Description,\u201d DTI Document 389, Compion Corp., Champaign, IL, Nov., 1982."},{"key":"8_CR52","doi-asserted-by":"crossref","unstructured":"Teitelman, W., \u201cA Tour Through Cedar,\u201d Proceedings of the Seventh International Conference on Software Engineering, Orlando, FL, May, 1984.","DOI":"10.1109\/MS.1984.234050"},{"key":"8_CR53","unstructured":"\u201cThe UNIX Programmer's Manual,\u201d Bell Telephone Laboratories, Murray Hill, NJ, June, 1981."},{"volume-title":"AFFIRM Reference Manual","year":"1981","key":"8_CR54","unstructured":"Thompson, D.H. and Erickson, R.W. (Eds.), \u201cAFFIRM Reference Manual,\u201d USC Information Sciences Institute, Marina Del Rey, CA, Feb., 1981."},{"key":"8_CR55","unstructured":"Wing, J.M., \u201cExperience with Two Examples: A Household Budget and Graphs,\u201d USC\/ISI Affirm Memo-30-JMW, Aug., 1980."},{"key":"8_CR56","unstructured":"Wing, J.M., \u201cHelping Specifiers Evaluate Their Specifications,\u201d Proceedings Second International Conference on Software Engineering, AFCET, Nice, France, June, 1984."},{"key":"8_CR57","doi-asserted-by":"crossref","unstructured":"Zave, P., \u201cAn Operational Approach to Requirements Specification for Embedded Systems,\u201d IEEETSE, SE-8:3, May, 1982.","DOI":"10.1109\/TSE.1982.235254"},{"key":"8_CR58","doi-asserted-by":"crossref","unstructured":"Zave, P., \u201cThe Operational Versus the Conventional Approach to Software Development,\u201d CACM, 27:2, Feb., 1984.","DOI":"10.1145\/69610.357982"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15199-0_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:12Z","timestamp":1605643692000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15199-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540151999","9783540393078"],"references-count":58,"URL":"https:\/\/doi.org\/10.1007\/3-540-15199-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}