Login / Signup
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