Cargando…

The B language and method : a guide to practical formal development /

B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support form...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Lano, K.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London ; New York : Springer, ©1996.
Colección:Formal approaches to computing and information technology.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000 a 4500
001 EBOOKCENTRAL_ocn604169628
003 OCoLC
005 20240329122006.0
006 m o d
007 cr bn||||||abp
007 cr bn||||||ada
008 100407s1996 enka o 001 0 eng d
010 |a  96012591  
040 |a OCLCE  |b eng  |e pn  |c OCLCE  |d OCLCQ  |d I9W  |d OCLCF  |d OCLCO  |d GW5XE  |d UA@  |d OCLCQ  |d EBLCP  |d YDX  |d UAB  |d OCLCQ  |d LEAUB  |d OCLCQ  |d VT2  |d K6U  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCL 
019 |a 607786844  |a 958525664  |a 1001511529  |a 1086475786  |a 1262681076 
020 |a 9781447114949  |q (electronic bk.) 
020 |a 1447114949  |q (electronic bk.) 
020 |z 3540760334  |q (Berlin ;  |q pbk. ;  |q alk. paper) 
020 |z 9783540760337  |q (Berlin ;  |q pbk. ;  |q alk. paper) 
024 7 |a 10.1007/978-1-4471-1494-9  |2 doi 
029 1 |a AU@  |b 000051746028 
029 1 |a AU@  |b 000068724468 
029 1 |a NZ1  |b 14979515 
029 1 |a NZ1  |b 15565030 
029 1 |a AU@  |b 000069391766 
035 |a (OCoLC)604169628  |z (OCoLC)607786844  |z (OCoLC)958525664  |z (OCoLC)1001511529  |z (OCoLC)1086475786  |z (OCoLC)1262681076 
042 |a dlr 
050 4 |a QA76.73.B155  |b L36 1996 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
072 7 |a UMZ  |2 thema 
082 0 4 |a 005.1/2/015113  |2 20 
049 |a UAMI 
100 1 |a Lano, K. 
245 1 4 |a The B language and method :  |b a guide to practical formal development /  |c K. Lano. 
260 |a London ;  |a New York :  |b Springer,  |c ©1996. 
300 |a 1 online resource (232 pages) :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file 
347 |b PDF 
490 1 |a Formal approaches to computing and information technology 
506 |3 Use copy  |f Restrictions unspecified  |2 star  |5 MiAaHDL 
533 |a Electronic reproduction.  |b [Place of publication not identified] :  |c HathiTrust Digital Library,  |d 2010.  |5 MiAaHDL 
538 |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.  |u http://purl.oclc.org/DLF/benchrepro0212  |5 MiAaHDL 
583 1 |a digitized  |c 2010  |h HathiTrust Digital Library  |l committed to preserve  |2 pda  |5 MiAaHDL 
588 0 |a Print version record. 
520 |a B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics. 
505 0 |a 1 Introduction -- 1.1 Formal Methods -- 1.2 The History of B -- 1.3 The Relationship of B to Other Formal Methods -- 1.4 Summary -- 2 The Foundations of B AMN -- 2.1 Mathematical Notation -- 2.2 Defining Operations -- 2.3 Abstract Machines -- 2.4 Machine Composition Mechanisms -- 2.5 Refinement -- 2.6 Implementation -- 2.7 Summary -- 2.8 Exercises 1 -- 3 Analysis and Specification -- 3.1 Requirements Analysis -- 3.2 Specification Development -- 3.3 Animation -- 3.4 Proof of Internal Consistency Obligations -- 3.5 Ship Loading Case Study -- Specification -- 3.6 Renaming -- 3.7 Aggregation -- 3.8 Summary -- 3.9 Exercises 2 -- 4 Design and Implementation -- 4.1 The Layered Development Paradigm -- 4.2 Refinement Examples -- 4.3 Proofs of Refinement -- 4.4 Decomposing Implementations -- 4.5 Ship Loading Case Study -- Implementation -- 4.6 Summary -- 4.7 Exercises 3 -- 5 Case Studies -- 5.1 Personnel System Development -- 5.2 Mine Pump Control -- 5.3 Vending Machine -- 6 Conclusions -- A Exercise Solutions -- A.1 Exercises 1 -- A.2 Exercises 2 -- A.3 Exercises 3 -- B Properties of Weakest Preconditions -- B.1 Termination and Feasibility -- B.2 Set-theoretic Semantics -- B.3 Refinement -- B.4 Well-formedness Obligations -- B.5 Normal Forms -- B.6 Rules for? -- B.7 Definition of := -- C Proof Techniques. 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
650 0 |a B (Computer program language) 
650 0 |a Computer software  |x Development. 
650 6 |a B (Langage de programmation) 
650 7 |a B (Computer program language)  |2 fast 
650 7 |a Computer software  |x Development  |2 fast 
758 |i has work:  |a The B Language and Method (Text)  |1 https://id.oclc.org/worldcat/entity/E39PCYPmrQJG4mPhRF849XfQMd  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 0 8 |i Print version:  |a Lano, K.  |t B language and method.  |d London ; New York : Springer, ©1996  |w (DLC) 96012591  |w (OCoLC)34411406 
830 0 |a Formal approaches to computing and information technology. 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=3074773  |z Texto completo 
938 |a ProQuest Ebook Central  |b EBLB  |n EBL3074773 
938 |a YBP Library Services  |b YANK  |n 13337474 
994 |a 92  |b IZTAP