05187nam 22007334a 450 991081627270332120240912150341.01-280-51062-597866105106271-84704-484-00-470-61251-70-470-39465-X1-84704-584-7(CKB)1000000000335549(EBL)700744(SSID)ssj0000248174(PQKBManifestationID)11192882(PQKBTitleCode)TC0000248174(PQKBWorkID)10200752(PQKB)11330166(Au-PeEL)EBL700744(CaPaEBR)ebr10360912(CaONFJC)MIL51062(Au-PeEL)EBL261397(OCoLC)501313839(MiAaPQ)EBC700744(MiAaPQ)EBC261397(EXLCZ)99100000000033554920060317d2006 uy 0engur|n|---|||||txtccrSoftware specification methods /edited by Henri Habrias, Marc Frappier2nd ed.London ;Newport Beach, CA ISTE Ltd20061 online resource (446 p.)ISTE ;v.106Description based upon print version of record.1-905209-34-7 Includes bibliographical references and index.Software Specification Methods; Preface; Contents; 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 specifications2.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 Specifications4.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 models5.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 transitions6.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 Approaches8 Action SystemsThis 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.ISTEFormal methods (Computer science)Computer softwareSpecificationsFormal methods (Computer science)Computer software004/.01/51Habrias Henri960900Frappier Marc1965-960901MiAaPQMiAaPQMiAaPQBOOK9910816272703321Software specification methods2178355UNINA01805nam 2200409z- 450 991055752670332120211118(CKB)5400000000044311(oapen)https://directory.doabooks.org/handle/20.500.12854/73514(oapen)doab73514(EXLCZ)99540000000004431120202111d2020 |y 0engurmn|---annantxtrdacontentcrdamediacrrdacarrierVirtual Drug DesignFrontiers Media SA20201 online resource (336 p.)2-88963-359-4 This eBook is a collection of articles from a Frontiers Research Topic. Frontiers Research Topics are very popular trademarks of the Frontiers Journals Series: they are collections of at least ten articles, all centered on a particular subject. With their unique mix of varied contributions from Original Research to Review Articles, Frontiers Research Topics unify the most influential researchers, the latest key findings and historical advances in a hot research area! Find out more on how to host your own Frontiers Research Topic or contribute to one as an author by contacting the Frontiers Editorial Office: frontiersin.org/about/contactScience: general issuesbicsscactivity profilingdrug discoverymolecular modelingtarget predictionvirtual screeningScience: general issuesSchuster Danielaedt1293421Li HonglinedtSchuster DanielaothLi HonglinothBOOK9910557526703321Virtual Drug Design3022607UNINA