Software specification methods / edited by Henri Habrias, Marc Frappier.
Tipo de material:
TextoDetalles de publicación: London ; Newport Beach (California) : ISTE, cop. 2006.. Edición: 2nd ed.Descripción: XXV, 418 p. : il. ; 25 cmISBN: 978-1-905209-34-7Tema(s): Formal methods (Computer science) | Computer software -- Specifications | Software -- Especificaciones | Métodos formales (Informática)
Contenidos:
Resumen: 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.
Índice:Part I State-Based Approaches 1 Z 2 SAZ 21 3 B 4 From UML Diagrams to B Specifications 5 UML+Z: Augmenting UML with Z 6 ASM 7 TLA+ Part II Event-Based Approaches 8 Action Systems 9 Event B 10 VHDL 11 Estelle 12 SDL 13 E-LOTOS 14 EB3 Part III Other Formal Approaches 15 CASL 16 Coq 17 Petri Nets 18 Petri Nets with Objects Part IV Comparison and Glossary 19 A Comparison of the Specification Methods. Glossary. Index.
| Tipo de ítem | Biblioteca de origen | Signatura | URL | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|
| Monografías | 03. BIBLIOTECA INGENIERÍA PUERTO REAL | 681.3.06/SOF (Navegar estantería(Abre debajo)) | Texto completo | Prestado | 31/01/2025 | 3742850906 |
Total de reservas: 0
Índice alfabético: p. 411-418.
Índice:Part I State-Based Approaches 1 Z 2 SAZ 21 3 B 4 From UML Diagrams to B Specifications 5 UML+Z: Augmenting UML with Z 6 ASM 7 TLA+ Part II Event-Based Approaches 8 Action Systems 9 Event B 10 VHDL 11 Estelle 12 SDL 13 E-LOTOS 14 EB3 Part III Other Formal Approaches 15 CASL 16 Coq 17 Petri Nets 18 Petri Nets with Objects Part IV Comparison and Glossary 19 A Comparison of the Specification Methods. Glossary. Index.
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.
No hay comentarios en este titulo.