Cargando…
Software Specification Methods.
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.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Hoboken :
John Wiley & Sons,
2010.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Mu 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn769341530 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr |n|---||||| | ||
| 008 | 111226s2010 xx o 000 0 eng d | ||
| 040 | |a EBLCP |b eng |e pn |c EBLCP |d MHW |d YDXCP |d MERUC |d OCLCQ |d UKDOC |d OCLCQ |d DEBSZ |d S3O |d OCLCQ |d ZCU |d ICG |d OCLCO |d OCLCF |d OCLCQ |d OCLCO |d OCLCQ |d DKC |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 020 | |a 9780470394656 | ||
| 020 | |a 047039465X | ||
| 029 | 1 | |a DEBBG |b BV044154860 | |
| 029 | 1 | |a DEBSZ |b 430996616 | |
| 035 | |a (OCoLC)769341530 | ||
| 050 | 4 | |a QA76.9.F67 | |
| 082 | 0 | 4 | |a 004/.01/51 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Habrias, Henri. | |
| 245 | 1 | 0 | |a Software Specification Methods. |
| 260 | |a Hoboken : |b John Wiley & Sons, |c 2010. | ||
| 300 | |a 1 online resource (446 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 505 | 0 | |a Software Specification Methods; Contents; Preface; List of Contributors; Part I State-Based Approaches; 1 Z; 1.1 Overview of the Z notation; 1.1.1 The process of producing a Z specification; 1.2 Analysis and specification of case 1; 1.3 Analysis and specification of case 2; 1.4 Validation of the specification; 1.5 The natural language description of the specifications; 1.6 Conclusion; 2 SAZ; 2.1 Overview of the SAZ method; 2.2 Analysis and specification of case 1; 2.2.1 Z specification; 2.3 Analysis and specification of case 2; 2.4 Natural language description of the specifications. | |
| 505 | 8 | |a 2.4.1 Case 12.4.2 Case 2; 2.5 Conclusions; 3 B; 3.1 Overview of the B notation; 3.2 Analysis and specification of case 1; 3.2.1 Identifying operations; 3.2.2 Defining the state space; 3.2.3 Defining the behavior of the invoicing operation; 3.2.4 The Product1 machine; 3.3 Analysis and specification of case 2; 3.3.1 Identifying operations; 3.3.2 The Product2 machine; 3.3.3 The Invoicing2 machine; 3.4 Validation of the specification; 3.5 The natural language description of the specifications; 3.5.1 Case 1; 3.5.2 Case 2; 3.6 Conclusion; 4 From UML Diagrams to B Specifications. | |
| 505 | 8 | |a 4.1 Overview of the method4.1.1 Summaryof the B method; 4.1.2 Data specification; 4.1.3 Transaction specification; 4.2 Specification of case 1; 4.2.1 The class diagram and its B representation; 4.2.2 Transaction specification; 4.3 Specification of case 2; 4.3.1 Transactions specification; 4.3.2 The formal specification; 4.4 Validation; 4.5 The natural-language description of the specifications; 4.5.1 Case 1; 4.5.2 Case 2; 4.6 Conclusion; 5 UML+Z: Augmenting UML with Z; 5.1 Overview of UML+ Z; 5.2 Analysis and Specification of case 1; 5.2.1 UML class model; 5.2.2 UML state models. | |
| 505 | 8 | |a 5.2.3 The Z model5.2.4 Checking model consistency; 5.2.5 Validating the model; 5.3 Analysis and Specification of case 2; 5.3.1 Entries of new orders; 5.3.2 Cancellation of orders; 5.3.3 Entries of quantities into stock; 5.4 Natural language description of the specification; 5.4.1 Case 1; 5.4.2 Case 2; 5.5 Conclusion; 6 ASM; 6.1 Overview of the ASM; 6.2 Requirements capture and Specification of case 1; 6.2.1 Identifying the agents; 6.2.2 Identifying the states; 6.2.3 Identifying static and dynamic parts of the states; 6.2.4 Identifying the transitions. | |
| 505 | 8 | |a 6.2.5 Identifying the initial and final states6.2.6 Exceptions handling and robustness; 6.2.7 Identifying the desired properties (validation/verification); 6.3 Requirements capture and Specification of case 2; 6.4 The natural language description of the specification; 6.4.1 Case 1; 6.4.2 Case 2; 6.5 Conclusion; 7 TLA+; 7.1 Overview of TLA+; 7.1.1 TLA; 7.1.2 TLA+ versus Z; 7.2 A Specification of case 2; 7.3 The problematic case 1; 7.4 Validation of the specification; 7.5 Satisfying the specification; 7.6 The natural language description; 7.7 Conclusion; Part II Event-Based Approaches. | |
| 500 | |a 8 Action Systems. | ||
| 520 | |a 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. | ||
| 588 | 0 | |a Print version record. | |
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Formal methods (Computer science) | |
| 650 | 0 | |a Computer software |v Specifications. | |
| 650 | 6 | |a Méthodes formelles (Informatique) | |
| 650 | 7 | |a Computer software |2 fast | |
| 650 | 7 | |a Formal methods (Computer science) |2 fast | |
| 655 | 7 | |a Specifications |2 fast | |
| 700 | 1 | |a Frappier, Marc. | |
| 758 | |i has work: |a Software specification methods (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGM3cDmPtrhMwT7wtJ8MxC |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Habrias, Henri. |t Software Specification Methods. |d Hoboken : John Wiley & Sons, ©2010 |z 9781905209347 |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=700744 |z Texto completo |
| 938 | |a 123Library |b 123L |n 11437 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL700744 | ||
| 938 | |a YBP Library Services |b YANK |n 3161109 | ||
| 994 | |a 92 |b IZTAP | ||