Formal Specifications for a Document Management Assistant.

Daniel G. Schwartz

Published in: SCSS (2009)

Keyphrases

document management
formal specification
information management
model checking
object oriented design

specification languages
workflow management
multimedia
concurrent systems
formal methods

temporal logic
reverse engineering
formal specification language
design methodology
software components

data management
artificial intelligence
protocol specification
business rules
databases