Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /
από: Drusinsky, Doron.
Στοιχεία έκδοσης: (2006)
Design methods for reactive systems Yourdan, Statemate, and the UML /
Design Methods for Reactive Systems describes methods and techniques for the design of software systemsparticularly reactive software systems that engage in stimulus-response behavior. Such systems, which include information systems, workflow management systems, systems for e-commerce, production co...
| Κύριος συγγραφέας: | Wieringa, Roel. |
|---|---|
| Μορφή: | Ηλεκτρονική πηγή |
| Γλώσσα: | English |
| Στοιχεία έκδοσης: |
Boston :
Morgan Kaufmann Publishers,
2003.
|
| Θέματα: | |
| Διαθέσιμο Online: |
http://www.sciencedirect.com/science/book/9781558607552 |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|