Using Formal Specification in the Acquisition of Information Systems: Educating Information Systems Professionals.

Paul A. Swatman

Published in: Z User Workshop (1992)

Keyphrases

information systems
formal specification
information technology
model checking
specification languages
databases
specification language
object oriented design
business management
systems development
process algebra