01276nam0 22002891i 450 UON0028134620231205103838.62920061009d2006 |0itac50 bajpnJP|||| 1||||Kansai jakunenso no hanashikotoba ni miru gengo henka no shosoTakagi ChieToyonakaOsaka University2006212 p.24 cm.001UON002813272001 Handai Nihongo Kenkyu. BessatsuOsaka Daigaku Bungakubu Nihon Gakka2UON00375931Language change among young speakers of Kansai Dialect / Takagi ChieLingua giapponeseDialettologiaUONC001680FIToyonakaUONL004102GIA II DGIAPPONE - DIALETTOLOGIAATAKAGI ChieUONV163044692743*Osaka *Daigaku : *Bungakubu *Nihon *GakkaUONV272000650ITSOL20250620RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00281346SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI GIA II D 028 N SI SA 117925 5 028 N Kansai jakunenso no hanashikotoba ni miru gengo henka no shoso1246821UNIOR04458nam 22006375 450 991097111640332120250801083229.01-4471-1494-910.1007/978-1-4471-1494-9(CKB)3400000000088512(SSID)ssj0000805248(PQKBManifestationID)11498383(PQKBTitleCode)TC0000805248(PQKBWorkID)10842167(PQKB)11706568(DE-He213)978-1-4471-1494-9(MiAaPQ)EBC3074773(EXLCZ)99340000000008851220121227d1996 u| 0engurnn|008mamaatxtccrThe B Language and Method A Guide to Practical Formal Development /by Kevin Lano1st ed. 1996.London :Springer London :Imprint: Springer,1996.1 online resource (VIII, 232 p.) Formal Approaches to Computing and Information Technology (FACIT)Bibliographic Level Mode of Issuance: Monograph3-540-76033-4 Includes bibliographical references and index.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.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.Formal Approaches to Computing and Information Technology (FACIT)Software engineeringMachine theoryCompilers (Computer programs)Software EngineeringFormal Languages and Automata TheoryCompilers and InterpretersSoftware engineering.Machine theory.Compilers (Computer programs)Software Engineering.Formal Languages and Automata Theory.Compilers and Interpreters.005.1/2/015113Lano Kevinauthttp://id.loc.gov/vocabulary/relators/aut746541MiAaPQMiAaPQMiAaPQBOOK9910971116403321The B Language and Method4430416UNINA01426nam a2200313 i 450099100356166970753620250930114408.0180911s2017 mau b 001 0 eng d9781292153599b14352060-39ule_instBibl. Dip.le Aggr. Ingegneria Innovazione - Sez. Ingegneria Innovazioneeng004.6723Kurose, James F.67747Computer networking :a top-down approach /James F. Kurose, Keith W. Ross7th ed.Boston :Pearson,c2017852 p. ;24 cmIncludes bibliographical references and indexInternetComputer networksRoss, Keith W.,1956-.b1435206024-10-1823-10-18991003561669707536LE026 004.67 D KUR 01.03 C.1 2017C.112026000072463le026Prof. Ciccarese / BibliotecapE72.50-n-10000.i1586512523-10-18LE026 004.67 D KUR 01.03 C.2 2017C.212026000072470le026Prof. Ciccarese / BibliotecapE72.50-l-00000.i1586513723-10-18LE026 004.67 D KUR 01.03 C.3 2017C.312026000072487le026Prof. Ciccarese / BibliotecapE72.50-l-00000.i1586514923-10-18Computer networking228945UNISALENTOle02611-09-18maengmau00