{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:59Z","timestamp":1725456059675},"publisher-location":"Berlin\/Heidelberg","reference-count":43,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354018581X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0016352","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T00:39:57Z","timestamp":1132706397000},"page":"174-207","source":"Crossref","is-referenced-by-count":0,"title":["Practical methods and tools for specification"],"prefix":"10.1007","author":[{"given":"J.","family":"Ludewig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Software Engineering Economics","author":"B. W. Boehm","year":"1980","unstructured":"Boehm, B. W. (1980): Software Engineering Economics. Prentice Hall, Englewood Cliffs, N.J."},{"key":"9_CR2","volume-title":"Software Engineering Concepts","author":"R. Fairley","year":"1985","unstructured":"Fairley, R. (1985): Software Engineering Concepts. McGraw-Hill Book Company, New York usw."},{"key":"9_CR3","volume-title":"Software Engineering","author":"I. Sommerville","year":"1985","unstructured":"Sommerville, I. (1985): Software Engineering. Addison-Wesley Publishing Company, London etc., 2nd ed.","edition":"2nd ed."},{"issue":"9","key":"9_CR4","doi-asserted-by":"crossref","first-page":"1060","DOI":"10.1109\/PROC.1980.11805","volume":"68","author":"M.M. Lehman","year":"1980","unstructured":"Lehman, M.M. (1980): Programs, life cycles, and laws of software evolution. Proc. of the IEEE, 68, 9, 1060\u20131076.","journal-title":"Proc. of the IEEE"},{"issue":"5","key":"9_CR5","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1109\/MC.1982.1654020","volume":"15","author":"J. Ludewig","year":"1982","unstructured":"Ludewig, J. (1982): Computer aided specification of process control software. IEEE COMPUTER, 15, 5, 12\u201320.","journal-title":"IEEE COMPUTER"},{"issue":"7","key":"9_CR6","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1145\/358557.358572","volume":"25","author":"W. Swartout","year":"1982","unstructured":"Swartout, W., R. Balzer (1982): On the inevitable intertwining of specification and implementation. Commun. ACM, 25, 7, 438\u2013440.","journal-title":"Commun. ACM"},{"key":"9_CR7","unstructured":"Balzer, R., N. Goldman (1979): Principles of good software specification and their implications for specification languages. in Proceedings of Specification of Reliable Software (SRS), IEEE Cat. No. 79 CH 1402-9C, pp.58\u201367."},{"key":"9_CR8","doi-asserted-by":"crossref","first-page":"1226","DOI":"10.1109\/TC.1976.1674590","volume":"C-25","author":"B.W. Boehm","year":"1976","unstructured":"Boehm, B.W. (1976): Software Engineering. IEEE Transactions on Computers, C-25, pp.1226\u20131241.","journal-title":"IEEE Transactions on Computers"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0164-1212(81)90041-8","volume":"2","author":"W.D. Brooks","year":"1981","unstructured":"Brooks, W.D. (1981): Software Technology Payoff: Some statistical evidence. Journal of Systems and Software, 2, 3\u20139.","journal-title":"Journal of Systems and Software"},{"key":"9_CR10","unstructured":"IEEE (1983): Standard glossary of software engineering terminology. IEEE Std 729\u20131983."},{"key":"9_CR11","unstructured":"Kramer, J. (ed.) (1982): Glossary of terms. TC on Application Oriented Specification. Jeffrey Kramer, Imperial College, 180 Queen's Gate, GB-London SW7 2BZ."},{"key":"9_CR12","first-page":"861","volume-title":"Information Processing 77","author":"D.L. Parnas","year":"1977","unstructured":"Parnas, D.L. (1977): The use of precise specifications in the development of software. In Gilchrist, B. (ed.): Information Processing 77. North Holland Publishing Company, Amsterdam, New York, Oxford, pp.861\u2013867."},{"key":"9_CR13","unstructured":"Timm, M. (1982): Grundlagen von Anforderungs-und Entwurfsspezifikationen im Proze\u00df der Software-Entwicklung. GMD-Studien, Nr. 66, 82 S."},{"key":"9_CR14","series-title":"Reihe Informatik","volume-title":"Die Entwicklung von Software-Systemen","author":"H. Balzert","year":"1982","unstructured":"Balzert, H. (1982): Die Entwicklung von Software-Systemen. Reihe Informatik\/34, Bibliographisches Institut, Mannheim."},{"key":"9_CR15","unstructured":"Hommel, G. (Hrsg.) (1980): Vergleich verschiedener Spezifikationsverfahren, am Beispiel einer Paketverteilanlage. KfK-PDV 186, Teile 1 und 2, Kernforschungszentrum Karlsruhe, BRD."},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Cheng, L.L. (1978): Program design languages \u2014 an introduction. Report No. ESD-TR-77-324, Electronic Systems Division, Hanscom Air Force Base, MA 01731.","DOI":"10.21236\/ADA051672"},{"issue":"5","key":"9_CR17","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1982.1654019","volume":"15","author":"COMPUTER","year":"1982","unstructured":"COMPUTER (1982): Special issue on application oriented specification. IEEE COMPUTER 15, 5 (May 1982), 10\u201359.","journal-title":"IEEE COMPUTER"},{"issue":"4","key":"9_CR18","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/MC.1985.1662860","volume":"18","author":"COMPUTER","year":"1985","unstructured":"COMPUTER (1985): Special issue on requirements engineering environments. IEEE COMPUTER 18, 4 (April 1985), 9\u201391.","journal-title":"IEEE COMPUTER"},{"key":"9_CR19","unstructured":"IEEE-SE (1977): Special collection on requirements analysis. IEEE Trans. Software Eng., SE-3, 2\u201384."},{"key":"9_CR20","unstructured":"Ludewig, J., W. Streng (1978): Methods and tools for software specification and design \u2014 a survey. EWICS TC on Safety and Security, Paper No. 149, 23 Seiten."},{"key":"9_CR21","unstructured":"Ludewig, J. (Hrsg.) (1983): Spezifikation von Realzeit-Systemen \u2014 Konzepte, L\u00f6sungen, Erfahrungen. 54. Tagung der Schweizerischen Gesellschaft f\u00fcr Automatik (SGA-ASSPA), Baden\/Aargau, 1983-3-21."},{"key":"9_CR22","unstructured":"Ohno, Y. (ed.) (1982): Requirements Engineering Environments. Proceedings of the International Symposium on current issues of Requirements Engineering Environments; Kyoto, Japan, September 20\u201321, 1982. NHPC, Amsterdam usw. (some of the papers have also been published in COMPUTER, 1985)."},{"issue":"5","key":"9_CR23","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/1005928.1005932","volume":"6","author":"D. Prentice","year":"1981","unstructured":"Prentice, D. (1981): An analysis of software development environments. ACM SIGSOFT Software Engineering Notes, 6, No.5, 19\u201327.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"9_CR24","first-page":"265","volume-title":"Software Engineering Techniques, Vol.2","author":"C.V. Ramamoorthy","year":"1977","unstructured":"Ramamoorthy, C.V., H.H. So (1977): Survey of principles and techniques of software requirements and specifications. in Software Engineering Techniques, Vol.2, Infotech Intern. Ltd., Nicholson House, Maidenhead, Berkshire, England, pp.265\u2013318."},{"key":"9_CR25","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1109\/TSE.1977.233838","volume":"SE-3","author":"M. Alford","year":"1977","unstructured":"Alford, M. (1977): A requirements engineering methodology for real time processing requirements. IEEE Transactions on Software Engineering, SE-3, 60\u201369. (on SREM)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"9_CR26","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/MC.1985.1662863","volume":"18","author":"M. Alford","year":"1985","unstructured":"Alford, M. (1985): SREM at the age of eight: The distributed computing design system. IEEE COMPUTER 18, 4, 36\u201346.","journal-title":"IEEE COMPUTER"},{"key":"9_CR27","unstructured":"Balzert, H. (1985): Moderne Software-Entwicklungssysteme und Werkzeuge. Reihe Informatik\/44, Bibliographisches Institut, Mannheim. (contains material on proMod, PRADOS and other systems; in German)"},{"key":"9_CR28","unstructured":"Bell, R. (1985): Structured analysis aids in micro-computer system design. EDN, March 21, 1985, 251\u2013257. (on Structured Analysis)"},{"key":"9_CR29","unstructured":"Biewald, J., P. G\u00f6hner, R. Lauber, H. Schelling (1979): EPOS \u2014 a specification and design technique for computer controlled real-time automation systems. 4th Intern. Conf. on Software Engineering, M\u00fcnchen, 1979, IEEE Cat. No. 79 CH 1479 \u2014 9C, pp.245\u2013250."},{"key":"9_CR30","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/TSE.1976.233798","volume":"SE-2","author":"M. Hamilton","year":"1976","unstructured":"Hamilton, M., S. Zeldin (1976): Higher Order Software \u2014 a methodology for defining software. IEEE Transactions on Software Engineering, SE-2, 9\u201332. (on HOS)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR31","unstructured":"Lissandre, M., P. Lagier, A. Skalli, H. Massi\u00e9 (1984): SPECIF \u2014 A specification assistance system. Institut de G\u00e9nie Logiciel, Paris, France. (SADT-tool)"},{"key":"9_CR32","unstructured":"Ludewig, J., M. Glinz, H.J. Huser, G. Matheis, H. Matheis, M.F. Schmidt (1985): SPADES \u2014 A Specification and Design System and its Graphical Interface. 8th Intern. Conf. on Software Engineering, IEEE CH2139-4\/85\/0000\/0083, 83\u201389."},{"key":"9_CR33","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/TSE.1977.229900","volume":"SE-3","author":"D.T. Ross","year":"1977","unstructured":"Ross, D.T. (1977): Structured analysis (SA): A language for communicating ideas. IEEE Trans. on Software Engineering, SE-3, 16\u201334. (on SADT)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"9_CR34","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.1985.1662862","volume":"4","author":"D.T. Ross","year":"1985","unstructured":"Ross, D.T. (1985 a): Applications and extensions of SADT. IEEE COMPUTER 18, 4, 25\u201334.","journal-title":"IEEE COMPUTER 18"},{"key":"9_CR35","first-page":"80","volume":"7","author":"D.T. Ross","year":"1985","unstructured":"Ross, D.T. (1985 b): Douglas Ross talks about Structured Analysis. IEEE COMPUTER 18, 7, 80\u201388. (on SADT)","journal-title":"IEEE COMPUTER 18"},{"key":"9_CR36","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/TSE.1977.229902","volume":"SE-3","author":"D. Teichroew","year":"1977","unstructured":"Teichroew, D., E.A. Hershey III (1977): PSL\/PSA: a computer aided technique for structured documentation and analysis of information processing systems. IEEE Trans. Software Eng., SE-3, 41\u201348.","journal-title":"IEEE Trans. Software Eng."},{"key":"9_CR37","volume-title":"Structured Design: Fundamentals of a disciplin of computer programs and systems design","author":"E. Yourdon","year":"1979","unstructured":"Yourdon, E., L.L. Constantine (1979): Structured Design: Fundamentals of a disciplin of computer programs and systems design. Prentice Hall Inc., Englewood Cliffs."},{"key":"9_CR38","unstructured":"Goldsack, S.J. (ed.) (1985): Ada for specification: Possibilities and limitations. Cambridge University Press (for the Commission of the EC)."},{"key":"9_CR39","unstructured":"Boehm, B.W., T.E. Gray, Th. Seewald (1984): Prototyping versus Specifying: A multi-project experiment. 7th ICSE, Orlando, FL., March 1984, 473\u2013484; also in IEEE Trans. on SE, SE-10, 290\u2013303."},{"volume-title":"Approaches to Prototyping","year":"1984","key":"9_CR40","unstructured":"Budde, R. K. Kuhlenkamp, L. Mathiassen, H. Z\u00fcllighoven (eds.) (1984): Approaches to Prototyping. Springer-Verlag, Berlin etc."},{"issue":"5","key":"9_CR41","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1145\/358506.358512","volume":"25","author":"W. Howden","year":"1982","unstructured":"Howden, W. (1982): Contemporary software development environments. Comm. ACM, 25, 5, 318\u2013329.","journal-title":"Comm. ACM"},{"volume-title":"Software Engineering environments","year":"1981","key":"9_CR42","unstructured":"H\u00fcnke, H. (ed.) (1981): Software Engineering environments. Proc. of the Symposium held at Lahnstein, June 16\u201320, 1980. North Holland Publishing Company, Amsterdam, New York, Oxford."},{"key":"9_CR43","doi-asserted-by":"crossref","unstructured":"Osterweil, L. (1981): Software environment research: directions for the next five years. IEEE COMPUTER, April 1981, 35\u201343","DOI":"10.1109\/C-M.1981.220412"}],"container-title":["Lecture Notes in Computer Science","Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0016352.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:36:07Z","timestamp":1607531767000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0016352"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354018581X"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/bfb0016352","relation":{},"subject":[]}}