Title:
Software specification methods
Publication Information:
London : ISTE Publishing Company, 2006
ISBN:
9781905209347
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
|---|---|---|---|---|---|
Searching... | 30000010160817 | QA76.9.F67 S63 2006 | Open Access Book | Book | Searching... |
On Order
Summary
Summary
This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.
Author Notes
Henri Habrias , University of Nantes, France
Marc Frappier , University of Sherbrooke, Canada
Table of Contents
| Preface. |
| Part 1 State-Based Approaches. |
| 1 ZJ. Bowen. |
| 2 SAZF. Polack. |
| 3 BH. Diab and M. Frappier. |
| 4 From UML Diagrams to B SpecificationsR. Laleau and A. Mammar. |
| 5 UML+Z: Augmenting UML with Z, N. AmalioF. Polack and S. Stepney. |
| 6 ASM, E. B_rgerA. GargantiniE. Riccobene. |
| 7 TLA+L. Lamport. |
| Part 2 Event-Based Approaches. |
| 8 Action SystemsJ. Sinclair. |
| 9 Event BD.Cansell and D. M_ry. |
| 10 VHDLL. Pierre. |
| 11 EstelleE. Lallet and J.-L. Raffy. |
| 12 SDLP. Poizat. |
| 13 (E)-LotosK. Turner and M. Sighireanu. |
| 14 EB3F. Gervais and M. Frappier. |
| Part 3 Other Formal Approaches. |
| 15 CaslH. Baumeister and D. Bert. |
| 16 CoqJ.-F. Monin. |
| 17 Petri NetsA. Choquet-Geniet and P. Richard. |
| 18 Petri Nets with ObjectsC. Sibertin-Blanc. |
| Part 4 Comparison and Glossary. |
| 19 A Comparison of the Specification MethodsM. Frappier and H. Habrias and P. Poizat. |
| 20 Glossary, H. HabriasP. PoizatM. Frappier. |
| Glossary. |
| Index. |
