02838nam 2200517 450 991046709460332120200923020339.01-55238-951-0(CKB)3790000000534872(MiAaPQ)EBC5085097(MiAaPQ)EBC5267305(PPN)238414299(Au-PeEL)EBL5085097(CaPaEBR)ebr11486649(OCoLC)1005461659(Au-PeEL)EBL5267305(CaONFJC)MIL1038689(EXLCZ)99379000000053487220180123h20172017 uy 0engurcnu||||||||rdacontentrdamediardacarrierThe writing on the wall the work of Joane Cardinal-Schubert /edited by Lindsey V. Sharman1st ed.Calgary, Alberta :University of Calgary Press,2017.©20171 online resource (194 pages) color illustrationsArt in Profile Series,1927-4351 ;Number 141-55238-949-9 Front Cover -- Half Title Page -- Series Page -- Full Title Page -- Copyright Page -- Table of Contents -- Introduction -- "I Am out of the Woods Now" - Joane Cardinal-Schubert -- Remembering Joane Cardinal-Schubert -- "Terribly Beautiful": Joane Cardinal-Schubert's "Intervention of Passion" -- Still Seeing Red -- Recollections -- [Still] Responding to Everyday Life -- Image List -- Curriculum Vitae -- Contributors -- Back Cover.The Writing on the Wall tells the story of artist, curator, writer and activist Dr. Joane Cardinal-Schubert, RCA. Although never claiming to be political and rejecting a feminist label, Cardinal-Schubert's work recognizes that the personal lived life of an Indigenous Canadian woman has social and political ramifications. During her time in the physical realm, Cardinal-Schubert supported and mentored those who struggled with the legacies of colonial histories and educated those who were unaware of how this system affected them. Here, her work leads the conversation and continues to reach and speak to those on all sides of a colonial history simultaneously. The essays included oscillate between, story-telling, art historical analysis of art works, personal narratives, academic readings of the artist's work, anecdotes and remembrances-embracing the places where the personal, the political, and the artistic meet.Art in profile ;Number 14.PaintersCanadaBiographyElectronic books.Painters759.11Sharman Lindsey V.MiAaPQMiAaPQMiAaPQBOOK9910467094603321The writing on the wall2445625UNINA04729nam 22006015 450 991078934330332120200703005312.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[electronic resource] 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 engineeringMathematical logicProgramming languages (Electronic computers)Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Software engineering.Mathematical logic.Programming languages (Electronic computers).Software Engineering.Mathematical Logic and Formal Languages.Programming Languages, Compilers, Interpreters.005.1/2/015113Lano Kevinauthttp://id.loc.gov/vocabulary/relators/aut746541BOOK9910789343303321The B Language and Method3720389UNINA00989nam2 22002773i 450 RML009000220251003044341.020000713d2000 ||||0itac50 baitaitz01i xxxe z01nz01ncRDAcarrier2Nicola La MarcaRomaBulzoni©2000IX, 459-828 p., [15] c. di tav.ill.23 cm.001RML00900002001 ˆLa ‰nobiltà romana e i suoi strumenti di perpetuazione del potereNicola La Marca2NobiltàRomaSec. 16.-20.FIRCFIC132157I305.52230945632NOBILTA. Roma23ITIT-00000020000713IT-BN0095 RML0090002Biblioteca Centralizzata di Ateneov. 1-3 01POZZO LIB.DONI DEMM 378 01 0000092885E VMA (0002 v. 2B 2022112920231019 01261340UNISANNIO