𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Systems approaches to succinic acid-producing microorganisms

✍ Scribed by Soon Ho Hong

Publisher
The Korean Society for Biotechnology and Bioengineering
Year
2007
Tongue
English
Weight
222 KB
Volume
12
Category
Article
ISSN
1226-8372

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A rule-based approach to producing Z spe
A rule-based approach to producing Z specifications from Jackson system development
✍ Jonathan Lee; Jiann-I Pan πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 280 KB πŸ‘ 1 views

In this paper, we propose a rule-based approach called JSDZ to producing Z specifica-Ε½ . tions from Jackson system development JSD specifications automatically. In JSDZ, JSP is to serve as the structuring mechanism to help the analysis of problem domains, and Z is to express the formal specification