Using the Aslan Formal Specification Language in Undergraduate Software Engineering Courses.

Brent Auernheimer Daniel Stearns

Published in: Comput. Sci. Educ. (1991)

Keyphrases

engineering courses
software engineering
e learning
formal specification language
temporal logic
software systems
test cases
formal specification
software design
commercial software
website
case study
formal methods