Description
Igi Global Handbook of Research on Records and Information Management Strategies for Enhanced Knowledge Coordination by Collence Takaingenhamo Chisita, Rexwhite Tega Enakrire
The convergence of technologies and emergence of interdisciplinary and transdisciplinary modus of knowledge production justify the need for research that explores the disinterestedness or interconnectivity of the information science disciplines. The quantum leap in knowledge production, increasing demand for information and knowledge, changing information needs, information governance, and proliferation of digital technologies in the era of ubiquitous digital technologies justify research that employs a holistic approach in x-raying the challenges of managing information in an increasingly knowledge- and technology-driven dispensation. The changing nature of knowledge production for sustainable development, along with trends and theory for enhanced knowledge coordination, deserve focus in current times. _x000D__x000D_The Handbook of Research on Records and Information Management Strategies for Enhanced Knowledge Coordination draws input from experts involved in records management, information science, library science, memory, and digital technology, creating a vanguard compendium of novel trends and praxis. While highlighting a vast array of topics under the scope of library science, information science, knowledge transfer, records management, and more, this book is ideally designed for knowledge and information managers, library and information science schools, policymakers, practitioners, stakeholders, administrators, researchers, academicians, and students interested in records and information management._x000D_ Table of contents : - _x000D_
Preface. Part I: Invited Talk. On the Semantics of Java Spaces; N. Busi, et al. Part II: Mobility. Elements of an object-based model for distributed and mobile computation; J.-B. Stefani, et al. Specification of Mobile Code Systems using Graph Grammars; F.L. Dotti, L. Ribeiro. Atomic Failure in Wide-Area Computation; D. Duggan. Part III: Invited Talk. Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems; J. Meseguer. Part IV: Java / UML. Requirements Level Semantics for UML Statecharts; R. Eshuis, R. Wieringa. A Step Toward Automatic Distribution of Java Programs; I. Attali, et al. Using Relationals and Behavioural Semantics in the Verification of Object Models; C. Bolton, J. Davies. Formally Modeling UML and its Evolution: A Holistic Approach; A.T. Alvarez, et al. Part V: Invited Talk. Object-Oriented Programming for Wide-Area Computing; J. Misra. Part VI: Refinement and Subtyping. Behavioural Subtyping and Property Preservation; H. Wehrheim. A Practical Approach to Incremental Specification; C. Lakos, G. Lewis. Refinement of objects and operations in Object-Z; J. Derrick, E. Boiten. Part VII: Invited Talk. E-speak: the Technology for Ubiquitous E-services; A.H. Karp. Part VIII: Time. Behavior Expression and OMDD; Y. Wang. On a Temporal Logic for Object-Based Systems; D. Distefano, et al. Stochastically Enhanced Timed Automata; L. Blair, et al. Part IX: Components. Fail-Stop Components by Pattern Matching; T. Janowski, W.I. Mostowski. A Formal Specification of the CORBAEvent Service; R. Bastide, et al. Components as Processes: An Exercise in Coalgebraic Modeling; L.S. Barbosa._x000D_