Formal Specification and Implemenation Using a Task Flow Diagram in Interactive System Design.

Mizuho Ikeda Yoshiaki Takata Hiroyuki Seki

Published in: ISAS-SCI (1) (2001)

Keyphrases

formal specification
object oriented design
specification languages
design methodology
formal methods
model checking
databases
case study
cooperative
knowledge based systems
database
real world
information systems
distributed systems
business process
reverse engineering