skip to main content
research-article

Model checking education for software engineers in Japan

Published: 25 June 2009 Publication History

Abstract

This paper is the preliminary report of a joint research project on developing a body of knowledge on model checking. The project is being carried out by four organizations that give model checking courses to software engineers in Japan. The paper explains the main objective of the project and reports the results of an evaluation of model checking programs.

References

[1]
ISO/IEC 15408. Information technology - Security techniques - Evaluation criteria for IT security -- Part1, Part2 and Part3. ISO/IEC, 2005.
[2]
IEC 61508-3. Functional safety of electrical/ electronic/ programmable electronic safety related systems -- Part3: Software requirements. Bureau Central de la Commission Electrotechnique International, 1998.
[3]
A. Abran, J. W. Moore, P. Bourque, and R. Dupuis. Guide to the Software Engineering Body of Knowledge 2004 Version SWEBOK. IEEE, 2004.
[4]
G.J. Holzmann. The SPIN model checker: Primer and reference manual. Addison Wesley, 2004.
[5]
S. Honiden, Y. Tahara, N. Yoshioka, K. Taguchi, and H. Washizaki. Top se: Educating superarchitects who can apply software engineering tools to practical development in Japan. In ICSE, pages 708--718. IEEE Computer Society, 2007.
[6]
J. Magee and J. Kramer. Concurrency: State Models & Java Programs, Second Edition. John Wiley & Sons, 2006.
[7]
K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, Norwell, MA, USA, 1993.
[8]
J.N. Oliveira. A survey of formal methods courses in European higher education. In C. Neville Dean and Raymond T. Boute, editors, TFM, volume 3294 of Lecture Notes in Computer Science, pages 235--248. Springer, 2004.

Cited By

View all
  • (2019)Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a Modelling-Focussed ApproachFormal Methods Teaching10.1007/978-3-030-32441-4_13(196-211)Online publication date: 7-Oct-2019
  • (2017)Combined Model Checking and Testing Create Confidence—A Case on Commercial Automotive Operating SystemCyber-Physical System Design from an Architecture Analysis Viewpoint10.1007/978-981-10-4436-6_5(109-132)Online publication date: 12-May-2017
  • (2013)Building a Body of Knowledge on Model Checking for Software DevelopmentProceedings of the 2013 IEEE 37th Annual Computer Software and Applications Conference10.1109/COMPSAC.2013.129(784-789)Online publication date: 22-Jul-2013
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGCSE Bulletin
ACM SIGCSE Bulletin  Volume 41, Issue 2
June 2009
166 pages
ISSN:0097-8418
DOI:10.1145/1595453
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 25 June 2009
Published in SIGCSE Volume 41, Issue 2

Check for updates

Author Tags

  1. body of knowledge
  2. evaluation
  3. training

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)2
  • Downloads (Last 6 weeks)0
Reflects downloads up to 17 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2019)Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a Modelling-Focussed ApproachFormal Methods Teaching10.1007/978-3-030-32441-4_13(196-211)Online publication date: 7-Oct-2019
  • (2017)Combined Model Checking and Testing Create Confidence—A Case on Commercial Automotive Operating SystemCyber-Physical System Design from an Architecture Analysis Viewpoint10.1007/978-981-10-4436-6_5(109-132)Online publication date: 12-May-2017
  • (2013)Building a Body of Knowledge on Model Checking for Software DevelopmentProceedings of the 2013 IEEE 37th Annual Computer Software and Applications Conference10.1109/COMPSAC.2013.129(784-789)Online publication date: 22-Jul-2013
  • (2011)From a community of practice to a body of knowledgeProceedings of the 17th international conference on Formal methods10.5555/2021296.2021329(308-322)Online publication date: 20-Jun-2011
  • (2011)From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods CommunityFM 2011: Formal Methods10.1007/978-3-642-21437-0_24(308-322)Online publication date: 2011
  • (2010)A primer on model checkingACM Inroads10.1145/1721933.17219501:1(40-47)Online publication date: 1-Mar-2010

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media