{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:38Z","timestamp":1725664118989},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568834"},{"type":"electronic","value":"9783540477761"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56883-2_1","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:47:11Z","timestamp":1330256831000},"page":"1-31","source":"Crossref","is-referenced-by-count":0,"title":["On the use of theory based systems to traverse educational gaps in computer system related activities"],"prefix":"10.1007","author":[{"given":"Peter E.","family":"Lauer","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"1_CR1","unstructured":"Aho A.V., Ullman J.D. Foundations of Computer Science. W.H. Freeman and Company, 1992."},{"key":"1_CR2","unstructured":"Van Leeuwen J. (Ed.) Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity. Volume B: Formal Models and Semantics. Elsevier, 1990."},{"issue":"No.2","key":"1_CR3","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1111\/j.1365-2575.1992.tb00071.x","volume":"2","author":"P. A. Swatman","year":"1992","unstructured":"Swatman P.A., Swatman P.M.C. Formal Specification: An Analytic tool for (Management) Information Systems. Journal of Information Systems, Vol. 2, No.2, April 1992, 121\u2013160.","journal-title":"Journal of Information Systems"},{"key":"1_CR4","unstructured":"Garland S.J., Guttag J.V., Horning J.J. An Overview of LARCH. In this volume."},{"key":"1_CR5","unstructured":"Ophel John An Introduction to the High-Level Language Standard ML. In this volume."},{"key":"1_CR6","unstructured":"Winkler Tim Programming in OBJ and Maude. In this volume."},{"key":"1_CR7","unstructured":"Howe D.J. Reasoning About Functional Programs in Nuprl. In this volume."},{"key":"1_CR8","unstructured":"Kromodimoeljo S., Pase Bill, Saaltink M., Craigen D., Meisels I. The EVES System. In this volume."},{"key":"1_CR9","unstructured":"Malhotra J., Shapiro R.M. Generating an Algorithm for Executing Graphical Models. In this volume."},{"key":"1_CR10","unstructured":"Shapiro R.M., Pinci V.O., Mameli R. Modeling a NORAD Command Post Using SADT and Colored Petri Nets. In this volume."},{"key":"1_CR11","unstructured":"van Hee K.M., Rambags P.M.P, Verkoulen P.A.C. Specification and Simulation in ExSpect. In this volume."},{"key":"1_CR12","unstructured":"MacQueen D.B. Reflections on Standard ML. In this volume."},{"key":"1_CR13","unstructured":"Cleaveland R. Analyzing Concurrent Systems Using the Concurrency Workbench. In this volume."},{"key":"1_CR14","unstructured":"Zucker J. Propositional Temporal Logics and their Use in Model Checking. In this volume."},{"key":"1_CR15","unstructured":"Zucker J. The Propositional \u03bc-Calculus and its Use in Model Checking. In this volume."},{"key":"1_CR16","unstructured":"Lauer P.E. Computer System Dossiers. In Distributed Computing Systems, Academic Press, 1983, 109\u2013147."},{"key":"1_CR17","unstructured":"Lauer P.E., Campbell R.H. RECIPE: Requirements for an Evolutionary Computerbased Information Processing Environment. In Software Process Workshop, Egham U.K., 1984"},{"key":"1_CR18","unstructured":"Whiteside Fred GRIPE: A User Complaint and Maintainer Response System. Report on a Software Engineering Project, Dept. of Computer Science and Systems, McMaster University, Hamilton, Ontario, Canada, 1985."},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Hoare C.A.R. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Janicki R., Lauer P.E. Specification and Analysis of Concurrent Systems: The COSY Approach. Springer-Verlag, 1992.","DOI":"10.1007\/978-3-642-77337-2"},{"key":"1_CR21","volume-title":"The Definition of Standard ML","author":"R. Milner","year":"1990","unstructured":"Milner R., Tofte M., and Harper R. The Definition of Standard ML. The MIT Press, Cambridge, 1990."},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Appel A. and MacQueen D. A standard ML compiler. In Functional Programming Languages and Computer Architecture, pages 301\u2013324. Springer-Verlag Lecture Notes In Computer Science 274, 1987.","DOI":"10.1007\/3-540-18317-5_17"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Gordon M.J.C. HOL: A Proof Generating System for Higher-Order Logic. In VLSI Specification, Verification and Synthesis, edited by G. Birtwistle and P.A. Subramanyam, Kluwer, 1988, 73\u2013128.","DOI":"10.1007\/978-1-4613-2007-4_3"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Sannella D., Tarlecki A. Extended ML: an institution-independent framework for formal program development. Technical report, Report ECS-LFCS-86-16, Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh University, 1986.","DOI":"10.1007\/3-540-17162-2_133"},{"key":"1_CR25","unstructured":"Sannella D. Formal program development in Extended ML for the working programmer. Technical report, Report ECS-LFCS-89-102, Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh University, 1989."},{"key":"1_CR26","unstructured":"Parnas D.L. Tabular Representation of Relations. Technical report, CRL Report No.260, Communications Research Laboratory, McMaster University, October 1992."},{"key":"1_CR27","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1145\/355602.361309","volume":"5","author":"D. L. Parnas","year":"1972","unstructured":"Parnas D.L. A technique for software module specification with examples. CACM 15, 5(1972), 330\u2013336.","journal-title":"CACM 15"},{"issue":"12","key":"1_CR28","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"D. L. Parnas","year":"1972","unstructured":"Parnas D.L. On the Criteria to be Used in Decomposing Systems into Modules. CACM 15, 12(1972), 1053\u20131058.","journal-title":"CACM"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Reps T.W., Teitelbaum T. The Synthesizer Generator: A system for constructing language-based editors. Springer-Verlag, 1988.","DOI":"10.1007\/978-1-4613-9633-8"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Reps T.W., Teitelbaum T. The Synthesizer Generator: Reference Manual. Springer-Verlag, 1989.","DOI":"10.1007\/978-1-4613-9623-9"},{"key":"1_CR31","unstructured":"Custeau R., Shelley C. Development of an Editor for Proving Theorems of First-order Logic. Senior Undergraduate Project, Department of Computer Science and Systems, McMaster University, 1990."},{"key":"1_CR32","unstructured":"Pollack R. The Theory of LEGO. Manuscript, Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh University, 1988."},{"key":"1_CR33","unstructured":"Luo Z., Pollack R., Taylor P. How to use LEGO. Preliminary User's Manual, Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh University, 1989."},{"key":"1_CR34","unstructured":"Reppy J.H. Concurrent ML: Design, Application and Semantics. In this volume."},{"issue":"6","key":"1_CR35","first-page":"293","volume":"26","author":"J. H. Reppy","year":"1991","unstructured":"Reppy J.H. CML: A higher-order concurrent language. In SIGPLAN'91 Conference on Programming Language Design and Implementation, pages 293\u2013305. SIGPLAN Notices 26(6), 1991.","journal-title":"SIGPLAN'91 Conference on Programming Language Design and Implementation"},{"key":"1_CR36","unstructured":"Sanella D. A Survey of Formal Software Development Methods. Technical report, Report ECS-LFCS-88-56, Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh University, 1988."},{"key":"1_CR37","unstructured":"Broy M., Geser A., Hussmann H. Towards Programming Environments Based on Algebraic Concepts. MIP-8826, Faculty of Mathematics and Informatik, University of Passau, 1988."},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"Dauchy P., Marre B. Test Data Selection from the Algebraic Specification of a Module of an Automatic Subway. Rapp. de Recherche no. 638, L.R.I. Universite de Paris Sud, 1991.","DOI":"10.1007\/3540547428_44"},{"key":"1_CR39","doi-asserted-by":"crossref","unstructured":"Bernot G., Gaudel M.C., Marre B. Software Testing Based on Formal Specifications: A Theory and a Tool. Rapp. de Recherche no. 581, L.R.I. Universite de Paris Sud, 1990.","DOI":"10.1049\/sej.1991.0040"},{"key":"1_CR40","doi-asserted-by":"crossref","unstructured":"Reisig W. Petri Nets: An Introduction. Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"1_CR41","doi-asserted-by":"crossref","unstructured":"Ehrig H., Mahr B. Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. Springer-Verlag, 1990.","DOI":"10.1007\/978-3-642-61284-8"},{"key":"1_CR42","doi-asserted-by":"crossref","unstructured":"Messeguer J. A Logical Theory of Concurrent Objects. SRI-CS-90-07, SRI International, Computer Science Laboratory, 1990.","DOI":"10.1145\/97945.97958"},{"key":"1_CR43","doi-asserted-by":"crossref","unstructured":"Messeguer J. Conditional Rewriting Logic as a Unified Model of Concurrency. SRI-CS-91-05, SRI International, Computer Science Laboratory, 1991.","DOI":"10.1007\/3-540-54317-1_81"},{"key":"1_CR44","volume-title":"ML for the Working Programmer","author":"L. C. Paulson","year":"1992","unstructured":"Paulson L.C. ML for the Working Programmer. Cambridge University Press, Cambridge, 1992."},{"key":"1_CR45","volume-title":"Elements of Functional Programming","author":"C. Reade","year":"1989","unstructured":"Reade C. Elements of Functional Programming. Addison-Wesley, Reading, MA, 1989."},{"issue":"2","key":"1_CR46","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1093\/comjnl\/32.2.98","volume":"32","author":"J. Hughes","year":"1989","unstructured":"Hughes J. Why functional programming matters. The Computer Journal, 32(2):98\u2013107, 1989.","journal-title":"The Computer Journal"}],"container-title":["Lecture Notes in Computer Science","Functional Programming, Concurrency, Simulation and Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56883-2_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T05:04:36Z","timestamp":1640927076000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56883-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568834","9783540477761"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/3-540-56883-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}