Teaching of Formal Methods for Software Engineering

被引：7

作者：

Spichkova, Maria ^{[1
]}

Zamansky, Anna ^{[2
]}

机构：

[1] RMIT Univ, Sch Sci, 414-418 Swanston St, Melbourne, Vic 3001, Australia

[2] Univ Haifa, Informat Syst Dept, IL-31905 Haifa, Israel

来源：

ENASE: PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL SOFTWARE APPROACHES TO SOFTWARE ENGINEERING | 2016年

关键词：

Formal Modelling; Collaboration; Teaching;

D O I：

10.5220/0005928503700376

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The use of Formal Methods (FMs) offers rigour and precision, while reducing ambiguity and inconsistency. The major barriers hindering the adoption of FMs in industry are the problems of understandability, comprehensibility, and scalability. To solve the understandability problem, from one side, the readability of the method have to be increased, but from another side, an appropriate teaching and learning approach have to be introduced. This paper presents an overview of existing approaches on teaching of FMs and Logic, also discusses the common issues in teaching of this subjects.

引用

页码：370 / 376

页数：7

共 59 条

[31]

Pokorny M, 2012, 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING ELEARNING TECHNOLOGIES AND APPLICATIONS (ICETA 2012), P301, DOI 10.1109/ICETA.2012.6418316

[32]

Powers K, 2007, SIGCSE 2007: PROCEEDINGS OF THE THIRTY-EIGHTH SIGCSE TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, P213, DOI 10.1145/1227504.1227386

[33] Inductive teaching and learning methods: Definitions, comparisons, and research bases [J].

Prince, Michael J. ;

Felder, Richard M. .

JOURNAL OF ENGINEERING EDUCATION, 2006, 95 (02) :123-138

[34] MATHEMATICS ANXIETY RATING SCALE - PSYCHOMETRIC DATA [J].

RICHARDSON, FC ;

SUINN, RM .

JOURNAL OF COUNSELING PSYCHOLOGY, 1972, 19 (06) :551-+

[35]

Rustan K, 2010, LECT NOTES ARTIF INT, V6355, P348, DOI 10.1007/978-3-642-17511-4_20

[36]

Sahami M, 2011, SIGCSE 11: PROCEEDINGS OF THE 42ND ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, P161

[37] Active and Inductive Learning in Software Engineering Education [J].

Sedelmaier, Yvonne ;

Landes, Dieter .

2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 2, 2015, :418-427

[38]

Sherman B.F., 2003, Math. Educ. Res. J, V12, P138, DOI DOI 10.1007/BF03217375

[39]

Sirkia Teemu, 2012, P 12 KOL CALL INT C, P19, DOI 10.1145/2401796.2401799

[40]

Spichkova M., 2015, 10 INT C EV NOV APPR

← 1 2 3 4 5 6 →