An introductory course on programming based on formal specification and program calculation.
Javier BlancoLeticia LosanoNazareno AguirreMaría Marta NovairaSonia PermigianiGastón ScilingoPublished in: ACM SIGCSE Bull. (2009)
Keyphrases
- formal specification
- programming course
- object oriented design
- programming education
- model checking
- specification languages
- specification language
- novice programmers
- programming environment
- software testing
- programming environments
- reverse engineering
- computer programs
- code generation
- concurrent systems
- formal methods
- data abstraction
- programming language
- student learning
- source code
- process algebra
- formal specification language
- computer programming
- business rules
- programming skills
- business process
- introductory programming
- open source
- computer science