Software Engineering Education: Rôles of Formal Specification and Design Calculi.

Dines Bjørner Jorge Cuéllar

Published in: Ann. Softw. Eng. (1998)

Keyphrases

formal specification
object oriented design
software engineering education
specification languages
reverse engineering
model checking
database systems
software engineering
building blocks
formal methods
specification language
open source
empirical evidence