{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:38:30Z","timestamp":1725676710609},"publisher-location":"London","reference-count":27,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198840"},{"type":"electronic","value":"9781447134527"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-3452-7_5","type":"book-chapter","created":{"date-parts":[[2012,4,24]],"date-time":"2012-04-24T07:13:53Z","timestamp":1335251633000},"page":"71-85","source":"Crossref","is-referenced-by-count":5,"title":["Integrating Formal Methods into a Professional Master of Software Engineering Program"],"prefix":"10.1007","author":[{"given":"David","family":"Garlan","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Gregory Abowd, Robert Allen, and David Garlan. Using style to give meaning to software architecture. In Procedings of SIGSOFT\u201993: Foundations of Software Engineering, December 1993."},{"key":"5_CR2","unstructured":"Robert Allen and David Garlan. A formal approach to software architectures. In Jan van Leeuwen, editor, Proceedings of IFIP\u201992. Elsevier Science Publishers B.V., September 1992. An expanded version appears as CMU School of Computer Science Technical Report CMU-CS-92\u2013163, Towards Formalized Software Architectures."},{"key":"5_CR3","volume-title":"Proceedings of the Sixteenth International Conference on Software Engineering","author":"R Allen","year":"1994","unstructured":"Robert Allen and David Garlan. Formalizing architectural connection. In Proceedings of the Sixteenth International Conference on Software Engineering, May 1994."},{"issue":"5","key":"5_CR4","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1109\/32.24710","volume":"15","author":"G Barrett","year":"1989","unstructured":"G. Barrett. Formal methods applied to a floating-point number system. IEEE Transactions on Software Engineering, 15 (5): 611\u2013621, May 1989.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR5","volume-title":"Conference on Probabilistic Safety Assessment and Management (PSAM)","author":"WC Bowman","year":"1991","unstructured":"W.C. Bowman, G.H. Archinoff, V.M. Raina, D.R. Tremaine, and N.G. Leveson. An application of fault tree analysis to safety critical software at Ontario Hydro. In Conference on Probabilistic Safety Assessment and Management (PSAM), April 1991."},{"issue":"5","key":"5_CR6","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/52.57890","volume":"7","author":"N Delisle","year":"1990","unstructured":"Norman Delisle and David Garlan. Applying formal specification to industrial problems: A specification of an oscilloscope. IEEE Software, 7 (5): 29\u201337, September 1990.","journal-title":"IEEE Software"},{"key":"5_CR7","first-page":"1991","volume-title":"sei report on graduate software engineering education. Technical Report CMU\/SEI-911-TR-2","author":"G Ford","year":"1991","unstructured":"Gary Ford. 1991 sei report on graduate software engineering education. Technical Report CMU\/SEI-911-TR-2, CMU Software Engineering Institute, April 1991."},{"key":"5_CR8","unstructured":"David Garlan. Preconditions for understanding. In Proceedings of the Fourth International Workshop on Software Specification and Design, pages 242\u2013245. IEEE Society Press, October 1991."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"David Garlan. Formal methods for software engineers: Tradeoffs in curriculum design. In Proceedings of the Sixth SEI Conference on Software Engineering Education. Springer Verlag, October 1992.","DOI":"10.1007\/3-540-55963-9_45"},{"key":"5_CR10","unstructured":"David Garlan. Formal approaches to software architecture. In David Alex Lamb and Sandra Crocker, editors, Proceedings of the Workshop on Studies of Software Design, number ISSN\u20130836\u2013022793\u2013352 in External Technical Report, Baltimore, Maryland, May 1993. Queen\u2019s University Department of Computing and Information Science."},{"key":"5_CR11","doi-asserted-by":"crossref","DOI":"10.21236\/ADA268983","volume-title":"The CMU Masters in Software Engineering core curriculum. Technical Report CMU-CS-93-180","author":"D Garlan","year":"1993","unstructured":"David Garlan, Alan Brown, Daniel Jackson, Jim Tomayko, and Jeannette Wing. The CMU Masters in Software Engineering core curriculum. Technical Report CMU-CS-93\u2013180, Carnegie Mellon University, August 1993."},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"J.V. Guttag and J.J. Horning. Formal specification as a design tool. In Seventh POPL. ACM, 1980. (also in Software Specification Techniques,pages 187\u2013207).","DOI":"10.1145\/567446.567471"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"David Garlan and David Notkin. Formalizing design spaces: Implicit invocation mechanisms. In VDM\u201991: Formal Software Development Methods, pages 31\u201344. Springer-Verlag, LNCS 551, October 1991.","DOI":"10.1007\/3-540-54834-3_5"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"D. Gries. The Science of Programming. Springer-Verlag, 1981.","DOI":"10.1007\/978-1-4612-5983-1"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"David Garlan, Mary Shaw, Chris Okasaki, Curtis Scott, and Roy Swonger. Experience with a course on architectures for software systems. In Proceedings of the Sixth SEI Conference on Software Engineering Education. Springer Verlag, LNCS 376, October 1992. Also available as a CMU\/SEI technical report, CMU\/SEI-92-TR17.","DOI":"10.21236\/ADA256221"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8: 231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"CA Hoare","year":"1972","unstructured":"C.A.R. Hoare. Proof of correctness of data representations. Acta Informatica, 1: 271\u2013281, 1972.","journal-title":"Acta Informatica"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Communicating sequential processes. CA CM, 21 (8): 666\u2013677, August 1978.","DOI":"10.1145\/359576.359585"},{"key":"5_CR19","unstructured":"C.B. Jones. Systematic program development. In Proc. Symposium on Mathematics and Computer Science,1986. (also in Software Specification Techniques,pages 89\u2013108)."},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"K. L. McMillan. The SMV system, February 1992. Draft.","DOI":"10.1007\/978-1-4615-3190-6_4"},{"key":"5_CR21","volume-title":"International Symposium on Shared Memory Multiprocessors","author":"K Mcmillan","year":"1991","unstructured":"K. McMillan and J. Schwalbe. Formal verification of the Encore Gigamax cache consistencey protocol. In International Symposium on Shared Memory Multiprocessors, 1991."},{"issue":"3","key":"5_CR22","first-page":"103","volume":"14","author":"CJ Nix","year":"1988","unstructured":"C.J. Nix and B.P. Collins. The use of software engineering, including the Z notation, in the development of CICS. Quality Assurance, 14 (3): 103\u2013110, September 1988.","journal-title":"Quality Assurance"},{"key":"5_CR23","unstructured":"H. Penny Nii. Blackboard systems Part 1: The blackboard model of problem solving and the evolution of blackboard architectures. AI Magazine,7(3):38\u201353, Summer 1986. Reprinted with corrections by AI Magazine."},{"key":"5_CR24","unstructured":"H. Penny Nii. Blackboard systems Part 2: Blackboard application systems and a knowledge engineering perspective. AI Magazine,7(4):82\u2013107, August 1986. Reprinted with corrections by AI Magazine."},{"key":"5_CR25","volume-title":"Proceedings of the International Conference on Requirements Engineering","author":"NR Reizer","year":"1994","unstructured":"Neil R. Reizer, Gregory D. Abowd, B. Craig Meyers, and Patrick R.H. Place. Using formal methods for requirements specification of a proposed POSIX standard. In Proceedings of the International Conference on Requirements Engineering, 1994."},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Lui Sha and John B. Goodenough. Real-time scheduling theory and Ada*. Computer, pages 53\u201362, April 1990.","DOI":"10.1109\/2.55469"},{"issue":"6","key":"5_CR27","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1109\/52.60586","volume":"7","author":"M Shaw","year":"1990","unstructured":"Mary Shaw. Prospects for an engineering discipline of software. IEEE Software, 7 (6): 15\u201324, November 1990.","journal-title":"IEEE Software"}],"container-title":["Workshops in Computing","Z User Workshop, Cambridge 1994"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3452-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T08:59:31Z","timestamp":1556701171000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3452-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198840","9781447134527"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3452-7_5","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}