Formal Methods of Future Interoperability (English)
- New search for: Davies, J.
- New search for: Gibbons, J.
- New search for: Davies, J.
- New search for: Gibbons, J.
In:
SIGCSE BULLETIN
;
41
, 2
;
60-64
;
2009
-
ISSN:
- Article (Journal) / Print
-
Title:Formal Methods of Future Interoperability
-
Contributors:Davies, J. ( author ) / Gibbons, J. ( author )
-
Published in:SIGCSE BULLETIN ; 41, 2 ; 60-64
-
Publisher:
- New search for: ACM ASSOCIATION FOR COMPUTING MACHINERY
-
Publication date:2009-01-01
-
Size:5 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 371.334
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 371.334 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 41, Issue 2
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 4
-
Messages - From the SIGCSE ChairOwens, Barbara Boucher et al. | 2009
- 5
-
From the EditorImpagliazzo, John et al. | 2009
- 6
-
Invited Editorial - Formal Methods versus EngineeringMaibaum, Tom et al. | 2009
- 6
-
Formal Methods versus EngineeringMaibaum, T. et al. | 2009
- 13
-
Special Section on Formal Methods Education and Training — Formally Reviewed Papers - Special Section| 2009
- 14
-
PrefaceDavies, Jim et al. | 2009
- 17
-
Teaching Formal Methods in the Context of Software EngineeringLiu, S. et al. | 2009
- 24
-
Teaching and Practicing Computer Science at the University LevelBoute, Raymond et al. | 2009
- 31
-
An Introductory Course on Programming Based on Formal Specification and Program CalculationBlanco, J. et al. | 2009
- 38
-
Evolution of a Course on Model Checking for Practical ApplicationsTahara, Y. et al. | 2009
- 45
-
Model Checking Education of Software Engineers in JapanNishihara, H. et al. | 2009
- 51
-
A Simple Refinement-based Method for Constructing AlgorithmsMéry, Dominique et al. | 2009
- 60
-
Formal Methods of Future InteroperabilityDavies, Jim et al. | 2009
- 65
-
Thinking Professionally — Professional Computer Ethics: "I didn't do it" Is Not Good EnoughGotterbarn, Don et al. | 2009
- 66
-
Taking the High Road — Ethics on the Run: The Principle of the Ordinary PersonMartin, C.Dianne et al. | 2009
- 67
-
Reflections — Building History ... Again!Kumar, Deepak et al. | 2009
- 69
-
Thinking ISsues — The Three P's of Capstone Project PerformanceClear, Tony et al. | 2009
- 70
-
IS Education — Accreditation of Degree Programs in Information SystemsTopi, Heikki et al. | 2009
- 72
-
CS Research — Rules for Sustaining the Discourse — Engage!Lister, Raymond et al. | 2009
- 74
-
Classroom Issues — Course Descriptions and Public Relations for Computer ScienceWalker, Henry M. et al. | 2009
- 76
-
Community College Corner — Exploring CAP-Space: The Next Frontier in Curricula, Assessment and PedagogyHawthorne, Elizabeth K. et al. | 2009
- 77
-
Distance Education — Different Models of Course Development: From Traditional Distance Education to Technology-based EducationGal-Ezer, Judith et al. | 2009
- 78
-
IFIP Vibes — The Seoul AccordTurner, A.Joe et al. | 2009
- 79
-
Percolations — Get a Clue: Ditch the Manual and Take the User's CuesKaczmarczyk, Lisa et al. | 2009
- 80
-
Out-of-the-Box — Cogito ergo hackAstrachan, Owen et al. | 2009
- 81
-
Math CountS — SIGCSE 2009 and CS UnpluggedHenderson, Peter B. et al. | 2009
- 82
-
Colorful Challenges — Chips GameGinat, David et al. | 2009
- 83
-
Nifty Assignments — Too Much InheritanceParlante, Nick et al. | 2009
- 85
-
Meet Our Columnists For This Issue| 2009
- 86
-
Computer Science Education in Peru: A New Kind of Monster?Gutierrez, J.M. / Sanders, I.D. et al. | 2009
- 86
-
Reviewed Papers - Computer Science Education in Perú: A New Kind of Monster?Gutierrez, Juan M. et al. | 2009
- 90
-
Constructive Reduction: Understanding Uncomputability through ProgrammingIbáñez, Jesús et al. | 2009
- 95
-
Degenerate Keys for RSA EncryptionBergmann, Seth D. et al. | 2009
- 99
-
Security Testing: Mind the Knowledge GapKreeger, Matthew Nicolas et al. | 2009
- 103
-
Challenges in Teaching a Graduate Course in Applied CryptographyGarera, Sujata et al. | 2009
- 108
-
Proglets for First-Year Programming in JavaEdmondson, Carol et al. | 2009
- 113
-
Teaching CS1 with Web Applications and Test-Driven DevelopmentSchaub, Stephen et al. | 2009
- 118
-
Teach Alice Programming to Non-MajorsSattar, Abdul et al. | 2009
- 122
-
Experiences with a CS1 for the Health SciencesStone, Jeffrey A. et al. | 2009
- 127
-
The Assignment Problem: Exploring ParallelismRolfe, Timothy J. et al. | 2009
- 132
-
Developing Creativity in Computer LessonsLai, Yiu-chi et al. | 2009
- 136
-
Use Writing Class Techniques to Create Software Design DocumentsSantore, John et al. | 2009
- 138
-
Reading a Computer Science Research PaperFong, Philip W.L. et al. | 2009
- 141
-
The Concept of Nondeterminism: Its Development and Implications for TeachingArmoni, M. / Ben-Ari, M. et al. | 2009
- 141
-
Reprint - The Concept of Nondeterminism: Its Development and Implications for TeachingArmoni, Michal et al. | 2009
- 161
-
Peripherals - Annals of Research on Engineering Education (AREE)| 2009
- 162
-
New Directions for inroads — Reprint of Message to SIGCSE Members by the SIGCSE Chair, 2008 March 13| 2009
- 164
-
ACM Categories and Levels of Prepublication Evaluation| 2009