Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a Modelling-Focussed Approach

Formal Methods Teaching - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32441-4_13 ◽

2019 ◽

pp. 196-211

Author(s):

Andrew Simpson

Keyword(s):

Formal Methods ◽

Discrete Mathematics ◽

Software Engineers

Download Full-text

Book Review of Discrete Mathematics: An Introduction for Software Engineers, by Mike Piff

ACM SIGPLAN Notices ◽

10.1145/131080.891742 ◽

1992 ◽

Vol 27 (4) ◽

pp. 10

Author(s):

James Bret Michael

Keyword(s):

Discrete Mathematics ◽

Software Engineers

Download Full-text

Formal methods for software engineers: Tradeoffs in curriculum design

Software Engineering Education - Lecture Notes in Computer Science ◽

10.1007/3-540-55963-9_45 ◽

1992 ◽

pp. 131-142 ◽

Author(s):

David Garlan

Keyword(s):

Formal Methods ◽

Curriculum Design ◽

Software Engineers

Download Full-text

An experience teaching formal methods in discrete mathematics

ACM SIGCSE Bulletin ◽

10.1145/209849.209860 ◽

1995 ◽

Vol 27 (3) ◽

pp. 60-64 ◽

Author(s):

J. Stanley Warford

Keyword(s):

Formal Methods ◽

Discrete Mathematics ◽

Experience Teaching

Download Full-text

What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project

Teaching Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04912-5_5 ◽

2009 ◽

pp. 57-71 ◽

Author(s):

Fuyuki Ishikawa ◽

Kenji Taguchi ◽

Nobukazu Yoshioka ◽

Shinichi Honiden

Keyword(s):

Formal Methods ◽

Software Engineers

Download Full-text

Introducing formal methods to software engineers through OMG's CORBA environment and interface definition language

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/bfb0014307 ◽

1996 ◽

pp. 52-61 ◽

Author(s):

Sriram Sankar

Keyword(s):

Formal Methods ◽

Software Engineers ◽

Interface Definition ◽

Interface Definition Language

Download Full-text

Discrete mathematics: an introduction for software engineers

Choice Reviews Online ◽

10.5860/choice.29-4563 ◽

1992 ◽

Vol 29 (08) ◽

pp. 29-4563-29-4563

Keyword(s):

Discrete Mathematics ◽

Software Engineers

Download Full-text

Making formal methods education effective for professional software engineers

Information and Software Technology ◽

10.1016/0950-5849(95)99361-p ◽

1995 ◽

Vol 37 (5-6) ◽

pp. 261-268 ◽

Author(s):

David Garlan

Keyword(s):

Formal Methods ◽

Software Engineers

Download Full-text

Teaching Formal Methods and Discrete Mathematics

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.149.4 ◽

2014 ◽

Vol 149 ◽

pp. 30-43 ◽

Author(s):

Mathieu Jaume ◽

Théo Laurent

Keyword(s):

Formal Methods ◽

Discrete Mathematics

Download Full-text

Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper)

10.1007/978-3-030-91550-6_6 ◽

2021 ◽

pp. 75-83

Author(s):

Livia Lestingi

Keyword(s):

Collaborative Learning ◽

Formal Methods ◽

Short Paper ◽

Software Engineers

Download Full-text

Application of formal methods to the VIPER microprocessor

IEE Proceedings E Computers and Digital Techniques ◽

10.1049/ip-e.1987.0023 ◽

1987 ◽

Vol 134 (3) ◽

pp. 133 ◽

Author(s):

W.J. Cullyer ◽

C.H. Pygott

Keyword(s):

Download Full-text