Verification of an interactive software by analysis of its formal specification.

Philippe A. Palanque Rémi Bastide

Published in: INTERACT (1995)

Keyphrases

formal specification
model checking
formal methods
object oriented design
real world
source code
information systems
access control
rule base
software projects
business rules
software design
concurrent systems