Using Simulation Games in Teaching Formal Methods for Software Development

Advances in Higher Education and Professional Development
doi 10.4018/978-1-4666-7304-5.ch006
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

IGI Global

Related search

Formal Methods for Eternal Networked Software Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Methods of Using Simulation and Non-Simulation Games in Lessons Geography

2019English

Software Engineering and Formal Methods

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Simulation Games for Collaborative Development in E-Government

2010English

Software Development Effort Estimation Using Soft Computing Methods

INTERNATIONAL JOURNAL OF COMPUTER ENGINEERING AND TECHNOLOGY
2019English

Erratum To: Formal Methods for Distributed System Development

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2017English

Software Development Processes for Games: A Systematic Literature Review

Communications in Computer and Information Science
MathematicsComputer Science
2014English

Application of Lightweight Formal Methods to Software Security

English

Frameworks: The Future of Formal Software Development?

Computer Standards and Interfaces
HardwareLawArchitectureSoftware
1998English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy