Teaching of Formal Methods for Software Engineering

Maria Spichkova; Anna Zamansky

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Teaching of Formal Methods for Software Engineering

In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: COLAFORM, 370-376, 2016 , Rome, Italy

Authors: Maria Spichkova ¹ and Anna Zamansky ²

Affiliations: ¹ RMIT University, Australia ; ² University of Haifa, Israel

Keyword(s): Formal Modelling, Collaboration, Teaching.

Abstract: 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.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 18.191.5.239

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

Spichkova, M. and Zamansky, A. (2016). Teaching of Formal Methods for Software Engineering. In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering (ENASE 2016) - COLAFORM; ISBN 978-989-758-189-2; ISSN 2184-4895, SciTePress, pages 370-376. DOI: 10.5220/0005928503700376

@conference{colaform16,
author={Maria Spichkova. and Anna Zamansky.},
title={Teaching of Formal Methods for Software Engineering},
booktitle={Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering (ENASE 2016) - COLAFORM},
year={2016},
pages={370-376},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005928503700376},
isbn={978-989-758-189-2},
issn={2184-4895},
}

TY - CONF

JO - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering (ENASE 2016) - COLAFORM
TI - Teaching of Formal Methods for Software Engineering
SN - 978-989-758-189-2
IS - 2184-4895
AU - Spichkova, M.
AU - Zamansky, A.
PY - 2016
SP - 370
EP - 376
DO - 10.5220/0005928503700376
PB - SciTePress