A Language for Biochemical Systems: Design and Formal Specification.
Michael PedersenGordon D. PlotkinPublished in: Trans. Comp. Sys. Biology (2010)
Keyphrases
- formal specification
- specification language
- formal methods
- object oriented design
- specification languages
- highly modular
- design methodologies
- design methodology
- building blocks
- process algebra
- case study
- data abstraction
- programming language
- knowledge based systems
- concurrent systems
- formal specification language
- software components
- model checker
- description language
- reverse engineering
- model checking
- experimental data
- natural language
- artificial intelligence
- databases