Φορτώνει......
Prototype of a Decision Table Generation Tool from the Formal Specification
This research has implemented a prototype of a decision table generation tool from the specification (the formal specification) described in a formal specification language. This paper uses the formal specification description language VDM++ which is the lightweight formal methods VDM (Vienna Develo...
Αποθηκεύτηκε σε:
| Κύριοι συγγραφείς: | , , , , , |
|---|---|
| Μορφή: | Artigo |
| Γλώσσα: | Inglês |
| Έκδοση: |
Atlantis Press
2015-11-01
|
| Σειρά: | Journal of Robotics, Networking and Artificial Life (JRNAL) |
| Θέματα: | |
| Διαθέσιμο Online: | https://www.atlantis-press.com/article/25844546.pdf |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|