Software Engineering Books
Springer Nature Switzerland AG On the Pursuit of Insight and Elegance
£44.99
Springer International Publishing AG Agile!: The Good, the Hype and the Ugly
Book SynopsisAre you attracted by the promises of agile methods but put off by the fanaticism of many agile texts? Would you like to know which agile techniques work, which ones do not matter much, and which ones will harm your projects? Then you need Agile!: the first exhaustive, objective review of agile principles, techniques and tools.Agile methods are one of the most important developments in software over the past decades, but also a surprising mix of the best and the worst. Until now every project and developer had to sort out the good ideas from the bad by themselves. This book spares you the pain. It offers both a thorough descriptive presentation of agile techniques and a perceptive analysis of their benefits and limitations.Agile! serves first as a primer on agile development: one chapter each introduces agile principles, roles, managerial practices, technical practices and artifacts. A separate chapter analyzes the four major agile methods: Extreme Programming, Lean Software, Scrum and Crystal.The accompanying critical analysis explains what you should retain and discard from agile ideas. It is based on Meyer’s thorough understanding of software engineering, and his extensive personal experience of programming and project management. He highlights the limitations of agile methods as well as their truly brilliant contributions — even those to which their own authors do not do full justice.Three important chapters precede the core discussion of agile ideas: an overview, serving as a concentrate of the entire book; a dissection of the intellectual devices used by agile authors; and a review of classical software engineering techniques, such as requirements analysis and lifecycle models, which agile methods criticize.The final chapters describe the precautions that a company should take during a transition to agile development and present an overall assessment of agile ideas.This is the first book to discuss agile methods, beyond the brouhaha, in the general context of modern software engineering. It is a key resource for projects that want to combine the best of established results and agile innovations. Trade Review“This is probably the first serious book ever written about Agile … . Bertrand Meyer is not a signatory of the Agile Manifesto, resulting in a book free of hype or marketing propaganda. … It consists of a short … enumeration of ‘pros and cons’ of various methodologies, with discussions about their applicability and suitability for certain projects.” (Adrian Kosmaczewski, De Programmatica Ipsum, deprogrammaticaipsum.com, January 6, 2021)“This book was written to be an independent, impartial and objective study of the various agile methods (scrum, xp, lean, crystal) viewed against the knowledge-base of software engineering methods and principles. … This book, in my view, should be essential reading for any software manager, looking to understand agile methods before diving head-first into a vanilla, textbook-implementations.” (Outlet!, khanmjk-outlet.blogspot.de, November, 2015)“The purpose of this excellent book is to ‘enable readers to benefit from the good ideas in agile methods and stay away from the bad ones.’ … The overall presentation is elegant, clear, and understandable … . It can be used both by novices and by experts … .” (H. I. Kilov, Computing Reviews, September, 2014) Table of Contents
£49.99
Springer International Publishing AG Models of Computation
Book SynopsisThis book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language; concurrent, nondeterministic and interactive models; and probabilistic/stochastic models.The authors have class-tested the book content over many years, and it will be valuable for graduate and advanced undergraduate students of theoretical computer science and distributed systems, and for researchers in this domain. Each chapter of the book concludes with a list of exercises addressing the key techniques introduced, solutions to selected exercises are offered at the end of the book.Table of ContentsPreliminaries.- Operational Semantics of IMP.- Induction and Recursion.- Partial Orders and Fixpoints.- Denotational Semantics of IMP.- Operational Semantics of HOFL.- Domain Theory.- HOFL Denotational Semantics.- Equivalence Between HOFL Denotational and Operational Semantics.- Calculus for Communicating Systems (CCS).- Temporal Logic and mu-Calculus.- Pi-Calculus.- Measure Theory and Markov Chains.- Markov Chains with Actions and Non-determinism.- Performance Evaluation Process Algebra (PEPA).
£24.99
Wiley-VCH Verlag GmbH Handbook of Software Solutions for ICME
Book SynopsisAs one of the results of an ambitious project, this handbook provides a well-structured directory of globally available software tools in the area of Integrated Computational Materials Engineering (ICME). The compilation covers models, software tools, and numerical methods allowing describing electronic, atomistic, and mesoscopic phenomena, which in their combination determine the microstructure and the properties of materials. It reaches out to simulations of component manufacture comprising primary shaping, forming, joining, coating, heat treatment, and machining processes. Models and tools addressing the in-service behavior like fatigue, corrosion, and eventually recycling complete the compilation. An introductory overview is provided for each of these different modelling areas highlighting the relevant phenomena and also discussing the current state for the different simulation approaches. A must-have for researchers, application engineers, and simulation software providers seeking a holistic overview about the current state of the art in a huge variety of modelling topics. This handbook equally serves as a reference manual for academic and commercial software developers and providers, for industrial users of simulation software, and for decision makers seeking to optimize their production by simulations. In view of its sound introductions into the different fields of materials physics, materials chemistry, materials engineering and materials processing it also serves as a tutorial for students in the emerging discipline of ICME, which requires a broad view on things and at least a basic education in adjacent fields.Table of ContentsList of Contributors XVII Preface XXVII 1 Introduction 1Georg J. Schmitz and Ulrich Prahl 1.1 Motivation 1 1.2 What is ICME? 2 1.3 Industrial Needs for ICME 4 1.4 Present ICME 9 1.5 Scope of this Book 11 1.6 Structure of the Book 13 2 Modeling at the Process and Component Scales 192.1 Overview of Processing Methods and Process Chains 21Ralph Bernhardt and Georg J. Schmitz 2.1.1 History of Metalworking 22 2.1.2 History of Modeling of Manufacturing Processes 23 2.1.3 Overview of Processing Methods 25 2.1.4 Processes and Process Chains 26 2.1.5 Benefits of Modeling Process Chains 27 2.1.6 Available Modeling Tools at Component Scale 29 2.2 Primary Shaping Processes 35Christoph Broeckmann, Christian Hopmann, Georg J. Schmitz, Sree Koundinya Sistla, Marcel Spekowius, Roberto Spina, and Chung Van Nguyen 2.2.1 Overview 35 2.2.1.1 Solidification and Crystal Growth 36 2.2.2 Casting 36 2.2.3 Plastics Processing 38 2.2.4 Sintering 41 2.2.5 Additive Manufacturing 44 2.2.6 Typical Applications of Simulations in Primary Shaping Processes 44 2.2.7 Phenomena to be Modeled 48 2.2.8 Basic Equations to be Solved 51 2.2.9 Initial and Boundary Conditions 54 2.2.10 Required Data and their Origin 55 2.2.11 Simulation Codes in the Area of Primary Shaping 58 2.3 Forming Processes 81Stephan Hojda and Markus Bambach 2.3.1 Overview: Manufacturing Process Forming 81 2.3.2 Phenomena Occurring during Forming Processes 81 2.3.3 Modeling and Simulation Methods 85 2.3.4 Typical Applications of Forming Simulations 86 2.3.5 Initial and Boundary Conditions 87 2.3.6 Required Data and their Origin 88 2.3.7 Numerical Aspects 90 2.3.8 Software Codes 91 2.4 Heat Treatment 97Martin Hunkel 2.4.1 Introduction into Heat Treatment 97 2.4.2 Heat Transfer in and out of a Part 98 2.4.3 Microstructure 101 2.4.4 Mechanical Behavior during Heat Treatment 104 2.4.5 Thermochemical Treatment 105 2.4.6 Heat Treatment Simulation 107 2.5 Joining Processes 111Ulrike Beyer, Gerson Meschut, Stephan Horstmann, and Ralph Bernhardt 2.5.1 Introduction 111 2.5.2 Basics and Definitions 112 2.5.3 Welding 115 2.5.4 Joining by Forming 120 2.5.5 Software for Joining Processes 128 2.6 Thick Coating Formation Processes 135Kirsten Bobzin, Mehmet Öte, Thomas Frederik Linke, and Ilkin Alkhasli 2.6.1 Overview 135 2.6.2 Typical Applications of Coating Simulations 136 2.6.3 Phenomena Occurring During Coating Formation 137 2.6.4 Basic Equations to Model the Phenomena 139 2.6.5 Initial and Boundary Conditions 140 2.6.6 Process Modeling on the Example of Thermal Spraying 140 2.6.7 Conclusion 150 2.6.8 Software Tools 151 2.7 Thin-Film Deposition Processes 157Andreas Pflug, Michael Siemers, ThomasMelzig, Martin Keunecke, Lothar Schäfer, and Günter Bräuer 2.7.1 Introduction 157 2.7.2 Overview of Thin-Film Deposition Methods 159 2.7.3 Modeling of Thin-Film Deposition as a Multiscale Problem 165 2.7.4 Software Codes 172 2.8 Machining 19André Teixeira, Markus Krömer, and Roland Müller 2.8.1 Introduction to Machining Processes 191 2.8.2 General Aspects of Machining Simulations 196 2.8.3 Combination of Analytic–Geometric Simulation Models and FEM Simulation Models 200 2.8.4 Simulation of Surface Integrity Modifications 201 2.8.5 Summary 204 2.8.6 Simulation Tools for Machining Processes 204 2.9 Fatigue Modeling: From Microstructure to Component Scale 209Mohamed Sharaf and Sebastian Münstermann 2.9.1 Influence Factors on Component Fatigue Limit 209 2.9.2 Micromechanics as a Modeling Approach 211 2.9.3 Numerical Representation of Microstructure 212 2.9.4 Cyclic Elastoplasticity of Crystals and Microsubstructures 213 2.9.5 The Notion of Fatigue Indicator Parameters (FIPs) 216 2.9.6 Fatigue Limit as a Function of Microstructure 218 2.9.7 Software Tools for Modeling Fatigue 223 2.10 Corrosion and Its Context in Service Life 227Daniela Zander, Daniel Höche, Johan Deconinck, and Theo Hack 2.10.1 Overview 227 2.10.2 Corrosion Modeling and Applications 229 2.10.3 Industrial Demands in ICME-Related Corrosion Modeling 238 2.10.4 Software Tool-Related Corrosion Modeling 240 2.10.5 Future Tasks and Limits 244 2.10.6 Acknowledgments 244 2.11 Recycling Processes 247Klaus Hack, Markus A. Reuter, Stephan Petersen, and Sander Arnout 2.11.1 Overview 247 2.11.2 Materials-Centric versus Product-Centric Approach 248 2.11.3 General Phenomena: LED Lamp Recycling as an Example 249 2.11.4 Methods Available 251 2.11.5 Thermochemical Aspects of Recycling 252 2.11.6 Recycling of Aluminum 255 2.11.7 Recycling of Zinc: Fuming 258 2.11.8 Valorization of "Wastes" 262 2.11.9 Summary of Simulation Tools 265 3 Microstructure Modeling 269Markus Apel, Robert Spatschek, Franz Roters, Henrik Larsson, Charles-André Gandin, Gildas Guillemot, Frigyes Podmaniczky, László Gránásy, Georg J. Schmitz, and Qing Chen 3.1 Overview and Definitions 269 3.1.1 What is a Microstructure and why it is Important? 269 3.2 How to Describe and Store a Microstructure? 271 3.2.1 Digital Microstructures 273 3.3 Phenomena Affecting Microstructure Evolution 273 3.4 Basic Equations/Models 275 3.5 Models for Microstructure Evolution 276 3.5.1 Overview 276 3.5.2 Example for Integral Models 276 3.5.3 Nucleation Models 279 3.5.4 Diffusion Models 286 3.5.5 Precipitation Models 289 3.5.6 Cellular Automaton Models 292 3.5.7 Monte Carlo Potts Models 295 3.5.8 Phase-Field and Multiphase-Field Models 296 3.5.9 Phase-Field Crystal Models 300 3.5.10 Crystal Plasticity 304 3.6 Software Tools 308 4 Thermodynamics 325Tore Haug-Warberg, Long-Qing Chen, Ursula Kattner, Bengt Hallstedt, André Costa e Silva, Joonho Lee, Jean-Marc Joubert, Jean-Claude Crivello,Fan Zhang, Bethany Huseby, and Olle Blomberg 4.1 Overview 325 4.2 Basic Concepts and Principles 326 4.2.1 The Concept of theThermodynamic State 326 4.2.2 Fundamental Relations and Canonical State Variables 327 4.2.3 Equations of State (EOS) 330 4.2.4 Euler Integration of EOS into a Fundamental Relation 332 4.2.5 The Principle ofThermodynamic Equilibrium 333 4.3 Thermodynamic Modeling 335 4.3.1 Gibbs and Helmholtz Energy Residuals 336 4.3.2 Excess Gibbs Energy 337 4.4 The CALPHAD Approach 340 4.4.1 History 341 4.4.2 Crystallography and Models of Phases 342 4.4.3 Models of Composition Dependence 345 4.4.4 Model of Nanosize Effect 346 4.4.5 CALPHAD Databases 348 4.4.6 Database Development and Parameter Optimization 350 4.4.7 Phase Names 353 4.4.8 Reference States 356 4.4.9 Database Formats 356 4.4.10 Extensions 360 4.4.11 Limitations and Challenges 363 4.5 Deriving Thermodynamics from Ab Initio Calculations 364 4.5.1 DFT Methodology 365 4.5.2 Heat of Formation 366 4.5.3 Mixing Enthalpy 367 4.5.4 Lattice Vibrations 368 4.6 Use of Thermodynamics at Larger Scales 370 4.7 Applications and Success Stories 373 4.8 Software Tools 378 5 Discrete Models: Down to Atoms and Electrons 385Seyed Masood Hafez Haghighat, Ignacio Martin-Bragado, Cláudio M.Lousada, and Pavel A. Korzhavyi 5.1 Overview and Definitions 385 5.2 Discrete and Semidiscrete Mesoscopic Models in Materials Science 386 5.2.1 Discrete Dislocation Dynamics 386 5.2.2 Monte Carlo Method 391 5.3 Atomistic Simulations: Models and Methods 394 5.3.1 Kinetic Monte Carlo 394 5.3.2 Molecular Dynamics 398 5.4 Electronic StructureMethods 401 5.4.1 Approximate Solutions to the Electronic Wave Function 403 5.4.2 Density Functional Theory (DFT) 407 5.5 Potentials, Force Fields, and Effective Cluster Interactions 411 5.6 Software Tools in the Area of Discrete Modeling 412 6 Effective Properties 433Ludovic Noels, Ling Wu, Laurent Adam, Jan Seyfarth, Ganesh Soni, Javier Segurado, Gottfried Laschet, Geng Chen, Maxime Lesueur, Mauricio Lobos, Thomas Böhlke, Thomas Reiter, Stefan Oberpeilsteiner, Dietmar Salaberger, Dieter Weichert, and Christoph Broeckmann 6.1 Computational Homogenization Methods and Codes: An Overview 433 6.1.1 Review of Homogenization Methods for Heterogeneous Materials 433 6.1.2 Homogenization in Industrial Application: Current State of the Art 442 6.2 Finite Element-Based Homogenization 447 6.2.1 Effective Properties of Polycrystalline Materials 447 6.2.2 Variation of the Effective Elastic Properties During γ − α Phase Transformation of a Low-Carbon Steel, Simulated by the Phase-Field Method 449 6.2.3 A Direct Method-Based Statistical Prediction of the Effective Strengths of Particulate-Reinforced Metal Matrix Composite 452 6.2.4 Effective Elastic Properties of Semicrystalline Thermoplastic Microstructures of Injection-Molded Parts 454 6.2.5 On the Effective Mechanical Properties of Discontinuous Fiber Composites (DFC): Application to a Ribbed Beam 456 6.3 Mean-Field Homogenization 459 6.3.1 Fiber-Reinforced Overmolded Composite Parts: An Industrial Application Example 459 6.4 Screening and Virtual Testing of Material Properties 462 6.4.1 Material Screening and Design Based on nth-Order Bounds 462 6.4.2 Comparison of In Situ/XCT Measurements with Virtual Testing of SFRP Materials 465 6.5 Software Tools for the Determination of Effective Properties 468 6.5.1 Software Categories 468 6.5.2 List of Software 468 7 Numerical Methods 487Carlos Agelet de Saracibar, Romain Boman, Philippe Bussetta, Juan Carlos Cajas, Miguel Cervera, Michele Chiumenti, Abel Coll, Pooyan Dadvand, Joaquin A. Hernández Ortega, Guillaume Houzeaux, Miguel Ángel Pasenau de Riera, and Jean-Philippe Ponthot 7.1 Overview 487 7.2 Preprocess and Space Discretization Methods 488 7.2.1 Preprocess 488 7.2.2 Space Discretization Methods 489 7.3 Numerical Methods for Engineering Problems 491 7.3.1 Kinematic Frameworks 491 7.3.2 Computational Strategies for Coupled Problems 492 7.3.3 Numerical Methods for PDE 493 7.3.4 Numerical Methods for Contact Problems 497 7.4 Postprocess and Visualization Methods 499 7.4.1 Postprocess 499 7.4.2 Visualization Methods 500 7.5 Mapping and Data Transfer Methods 501 7.5.1 Element Interpolation Methods 502 7.5.2 Interpolation from Clouds of Points 503 7.5.3 Projection using Mortar Elements 503 7.5.4 Projection using Discontinuous Reconstructions 504 7.5.5 Particular Case of ALE Remapping 504 7.6 Reduced-Order Multiscale Models 505 7.6.1 Introduction 505 7.6.2 Problem Statement 508 7.6.3 Small-Scale ROM (Bar Equilibrium) 508 7.6.4 Large-Scale ROM (Truss Equilibrium) 509 7.7 HPC and Parallelization Methods 511 7.7.1 Introduction 511 7.7.2 Substructuring 512 7.7.3 Algebraic Solvers 514 7.7.4 Efficiency 516 7.7.5 The Challenges 516 7.8 Software Codes 517 8 Platforms for ICME 533Adham Hashibon, Önder Babur, Mauricio Hanzich, Guillaume Houzeaux, and Bo¡rek Patzák 8.1 Introduction 533 8.2 Integration Approaches 534 8.2.1 A Categorization of Software to be Integrated 536 8.2.2 Object-Oriented Approaches 536 8.2.3 Component-Based Approaches 537 8.2.4 Service-Oriented Approaches 538 8.2.5 Data-Centric Approaches 539 8.2.6 Model-Based Approaches 539 8.2.7 Ontology-Based Approaches 540 8.2.8 Existing Standards for Integration 540 8.2.9 Coupling and Linking Approaches 541 8.3 High-Performance and Distributed Computing 543 8.3.1 HPC Hardware 544 8.3.2 HPC Programming Models 546 8.3.3 On Major HPC/Distributed Computing Architectures 548 8.3.4 Fault Tolerance 549 8.4 Overview of Existing Platform Solutions 551 9 Future Directions 565Ulrich Prahl and Georg J. Schmitz 9.1 Lessons Learned 565 9.2 Interoperability and Communication Standards 567 9.3 Hierarchical Description of a Material 569 9.3.1 What Is a Material? 569 9.4 Metadata 572 9.5 Metadata Schemata 573 9.6 Platforms: Orchestration of Simulation Tools 575 9.7 Databases: Storage and Retrieval of Information 576 9.8 Sustainability 578 9.9 Outlook 579 Index 583
£143.95
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Software Development Tools
Book SynopsisThis text contains the proceedings of a workshop on software develoDment tools, held at Pingree Park, Colorado in May, 1979. The workshop, for which we were co-chair men, was primarily, but not exclusively, concerned with a variety of tools supporting pre-implementation phases of software development. The workshop brought together researchers and practitioners from industrial, governmental, and academic sectors to compare and assess current work and to set some directions for future work in this emerging technical area. The fifty participants represented research and development efforts in software tools within the United States, Canada, France, Great Britain, and Japan. (A list of participants appears at the end of the text. ) Sponsorship was provided by the National Aeronautics and Space Administration, the National Bureau of Standards, the National Science Foundation, and Digital Equipment Corporation. The conference consisted of seven formal sessions and numerous organized and impromptu discussions. Each session (except the last) included invited papers, prepared remarks by discussants, and an open discussion.Table of ContentsI. Introduction.- I. Introduction.- II. Needs.- Tools for Software System Construction.- Issues in the Design of Tools for Distributed Software System Development.- A Critical Look at the Process of Tool Development: An Industrial Perspective.- Discussion.- III. Experiences.- An Experience-based Assessment of Development Systems.- Discussion.- IV. Development Support Systems.- A Software Lifecycle Methodology and Tool Support.- Software Tools and the User Software Engineering Project.- Discussion.- V. Procedural Description Techniques.- The Use of Data Abstraction in Program Design.- Procedural Approaches to Software Design Modelling.- Discussion.- VI. Non-Procedural Description Techniques.- Software Specification Languages Based on Regular Expressions.- A Data Base Approach to Software Specification.- Discussion.- VII. Analysis Tools.- The Role of Verification Tools and Techniques.- Aerospace and Communications Corporation Software Validation and Pre-implementation Issues.- Discussion.- VIII. Summary.- VIII. Summary.- Discussion.- Bibliography and References.- List of Attendees.
£44.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG A Pathology of Computer Viruses
Book SynopsisThe 1980's saw the advent of widespread (and potentially damaging) computer virus infection of both personal computer and mainframe systems. The computer security field has been comparatively slow to react to this emerging situation. It is only over the last two years that a significant body of knowledge on the operation, likely evolution and prevention of computer viruses has developed. A Pathology of Computer Viruses gives a detailed overview of the history of the computer virus and an in-depth technical review of the principles of computer virus and worm operation under DOS, Mac, UNIX and DEC operating systems. David Ferbrache considers the possible extension of the threat to the mainframe systems environment and suggests how the threat can be effectively combatted using an antiviral management plan. The author addresses the latest developments in "stealth" virus operations, specifically the trend for virus authors to adopt extensive camouflage and concealment techniques, which allow viruses to evade both existing anti-viral software and to avoid detection by direct observation of machine behaviour. A Pathology of Computer Viruses addresses a distinct need - that of the computer specialist and professional who needs a source reference work detailing all aspects of the computer virus threat.Table of Contents1 Introduction.- 1.1 Preamble.- 1.2 What is a Computer Virus?.- 1.3 Worms: Networked Viruses.- 1.4 Terminology.- 2 Historical Perspectives.- 2.1 Introduction.- 2.2 1960s: Early Rabbits.- 2.3 1970s: Fiction and the Worm.- 2.4 1980–1983: Genesis.- 2.5 1984–1986: Exodus.- 2.6 1987: Mac, Atari and Amiga Next.- 2.7 1988: Proliferation and Disbelief.- 2.7.1 January-March.- 2.7.2 April-September.- 2.7.3 October-December.- 2.8 1989: Reaction by the Community.- 2.8.1 January-March.- 2.8.2 April-June.- 2.8.3 July-September.- 2.8.4 October-December.- 2.9 1990: Organisation and Litigation.- 2.9.1 January-April.- 2.9.2 May-September.- 2.9.3 October-December.- 2.10 Summary.- 3 Theory of Viruses.- 3.1 Introduction.- 3.2 Addition of Viral Code.- 3.3 Detection of Viruses.- 3.4 Classes of Viruses.- 3.5 Thompson: and Trusting Trust.- 3.6 Biological Analogies.- 3.6.1 Biological Viruses.- 3.6.2 Parallels Between Low Level Operation.- 3.6.3 High Level Parallels.- 3.7 Quest for Life.- 3.8 Evolution: Genetic Algorithms.- 3.8.1 Random Mutation.- 3.8.2 Programmed Mutation.- 3.8.3 Genetic Algorithms.- 3.8.4 Growth and Death.- 4 Operation of PC Viruses.- 4.1 Introduction.- 4.2 PC Boot Sequence: Initialisation.- 4.3 BIOS and DOS.- 4.4 Master Boot Record.- 4.5 DOS Boot Sector.- 4.6 System Initialisation.- 4.7 Batch Processing Viruses.- 4.8 COM and EXE Viruses.- 4.8.1 Non-overwriting Prepending COM Infectors.- 4.8.2 Overwriting COM Infectors.- 4.8.3 Non-overwriting Appending COM Infectors.- 4.8.4 EXE Viruses.- 4.9 Resident and Transient Viruses.- 4.10 Manipulation by Viral Code.- 4.11 Activation Criteria.- 4.12 Camouflage.- 4.12.1 Concealment in Infected Files.- 4.12.2 Encryption of Viral Code.- 4.12.3 Hiding of Viral Code.- 4.12.4 Checksum Calculation.- 4.12.5 Prevention of Alteration Detection.- 4.12.6 Concealment of Viral Code in Memory.- 4.12.7 Concealment of Viral Activity.- 4.12.8 Concealing Disk Activity.- 4.12.9 Concealing System Slowdown.- 4.13 Replication.- 4.13.1 Locating a Host.- 4.13.2 Signatures.- 4.13.3 Miscellaneous Topics.- 4.13.3.1 Corresponding File Virus.- 4.13.3.2 SYS Virus.- 4.13.3.3 Multi-vector Viruses.- 4.13.3.4 Multi-architecture Viruses.- 4.13.3.5 Architecture Dependent Viruses.- 5 Management of PC Viruses.- 5.1 Perspective on Security.- 5.2 Components of a Virus Control Scheme.- 5.3 Prevention of Virus Attack.- 5.3.1 Physical Access Constraints.- 5.3.2 Electronic Measures.- 5.3.2.1 Physical Feature Verification.- 5.3.2.2 Knowledge Verification.- 5.3.2.2.1 Passwords.- 5.3.2.2.2 Background Verification.- 5.3.2.2.3 Other Techniques.- 5.3.2.3 Possession Verification.- 5.3.3 Media Access Controls.- 5.3.4 Network Access Controls.- 5.3.4.1 Identification of Access Controls.- 5.3.4.1.1 Centralised Network File Servers.- 5.3.4.1.2 Distributed Trust.- 5.3.4.1.3 Network Transport by Public Carrier or Accessible Media.- 5.3.5 Ideological Controls.- 5.3.5.1 User Education.- 5.3.6 Management Policies.- 5.3.6.1 Training of Employees.- 5.3.6.2 Use of Anti-viral Measures.- 5.3.6.3 Compartmentalisation.- 5.3.6.4 Centralisation.- 5.3.6.5 Personnel Policies.- 5.3.7 Vaccination and Inoculation.- 5.4 Detection of Viral Code.- 5.4.1 Monitoring and Logging.- 5.4.2 Signature Recognition.- 5.4.3 Generic Code Recognition.- 5.4.4 Sacrificial Lamb.- 5.4.5 Auditing.- 5.4.6 Use of Expert Systems to Analyse Viral Behaviour.- 5.4.7 Fighting Fire with Fire.- 5.5 Containment of Viral Code.- 5.5.1 Hardware Compartmentalisation.- 5.5.1.1 Virtual Machine.- 5.5.1.1.1 80386 Task Switching Support.- 5.5.1.1.2 80386 Paged Segmented Memory.- 5.5.1.1.3 Accessing OS Code.- 5.5.1.1.4 Segment Permissions.- 5.5.1.1.5 Paged Memory Operation.- 5.5.1.1.6 Input/Output Operations.- 5.5.1.1.7 Virtual Machine in Software.- 5.5.1.2 Automatic Flow Verification.- 5.5.1.3 Software Distribution: Ensuring Trust.- 5.5.2 Software Compartmentalisation.- 5.5.2.1 Interrupt Trapping Code.- 5.5.2.1.1 Configurable Monitors.- 5.5.2.1.2 Operation of a Monitor.- 5.5.2.1.3 Extensions to Real Time Monitoring.- 5.5.2.2 OS Support.- 5.5.3 Network Compartmentalisation.- 5.5.4 Investigation and Response.- 5.5.4.1 What is the Infection?.- 5.5.4.1.1 Acquisition.- 5.5.4.1.2 Logging of Relevant Information.- 5.5.4.1.3 Disassembly.- 5.5.4.2 Dissemination of Information.- 5.5.4.3 General Containment.- 5.5.4.4 Tracing of Infection Source.- 5.5.5 Disinfection of Viral Code.- 5.5.5.1 Re-installation.- 5.5.5.2 Recompilation from Source.- 5.5.6 Checking for Re-infection.- 5.5.7 Disinfection Utilities.- 5.6 Recovery from Viral Infection.- 5.6.1 Backup Procedures.- 5.7 Contingency Planning.- 5.7.1 Redundancy.- 5.7.2 Insurance.- 5.7.3 Public Relations.- 5.8 Remedial Action.- 6 Apple Macintosh Viruses.- 6.1 Introduction.- 6.2 Macintosh: The Abstract Operating System.- 6.2.1 Initialisation.- 6.2.2 Resources.- 6.2.3 Trap Dispatch Table Structure.- 6.2.4 Non-link Viruses.- 6.2.5 Link Viruses.- 6.2.6 Notes on Keyboard Sequences.- 6.2.7 Summary of Mac Protection.- 7 Mainframe Systems: The Growing Threat.- 7.1 Introduction.- 7.2 Hardware Architectures.- 7.3 Software Architecture.- 7.3.1 Discretionary Access Controls.- 7.3.2 Integrity versus Confidentiality.- 7.3.3 Mandatory Access Controls.- 7.3.4 Commentary on Security Standardisation.- 7.4 UNIX: A Viral Risk Assessment.- 7.4.1 System Startup.- 7.4.2 Login and User Commands.- 7.4.3 Bugs and Loopholes.- 7.4.4 Mechanics of UNIX Viruses.- 7.4.4.1 Batch Viruses.- 7.4.4.2 Link Viruses.- 7.4.4.3 Dynamic Loading.- 7.4.4.4 Other Considerations.- 7.4.4.5 Protecting Against UNIX Viruses.- 7.4.4.6 Cohen: Early UNIX Viruses.- 8 Network Viruses: The Worms.- 8.1 Introduction.- 8.2 Standardisation.- 8.3 History of Network Pests.- 8.3.1 Early Work: Pre-1980.- 8.3.2 Recent Benign and Malicious Worms.- 8.3.3 CHRISTMA EXEC Chain Letter.- 8.3.4 Chain Letters on UNIX.- 8.4 Internet Protocols.- 8.4.1 Architecture.- 8.4.2 Peer Authentication.- 8.4.3 Access Controls.- 8.4.4 Data Stream Integrity.- 8.4.5 Daemons and Servers.- 8.4.6 Distributed Trust.- 8.4.7 Trusted Ports.- 8.4.8 Problems and Solutions.- 8.4.9 Internet Worm: Black Thursday — 3 November 1988.- 8.4.9.1 Internals.- 8.4.9.2 Action and Reaction.- 8.4.9.3 The Aftermath.- 8.4.10 DISNET: A Child of the Internet.- 8.5 OSI: Security in the Making.- 8.6 DECNET: Insecurity Through Default.- 8.6.1 HI.COM: The Christmas Worm.- 8.6.1.1 Reaction of the DECNET Community.- 8.6.1.2 Worms Against Nuclear Killers.- 9 Reactions of the IT Community.- 9.1 Discussion and Advice.- 9.1.1 Bulletin Board and Casual Users.- 9.1.2 Academic Establishments.- 9.1.2.1 CREN/CSNET.- 9.1.2.2 NSFNET.- 9.1.2.3 HEPNET/SPAN.- 9.1.2.4 General Community Responses.- 9.1.3 Government Research Organisations.- 9.1.4 Military Organisations.- 9.1.5 Commercial Organisations.- 9.1.6 Criminal Investigation Organisations.- 9.1.7 Professional Organisations.- 9.2 Legislative Issues.- 9.2.1 Scottish Law Commission.- 9.2.2 English Law Commission.- 9.2.3 Computer Misuse Act.- 9.2.4 Summary of Legislation.- 9.3 Professionalism and Software Development.- 10 Conclusions: The Future Ahead.- Appendices.- 1 DOS Filestore Structure.- 1.1 Introduction.- 1.2 Master Boot Record.- 1.3 DOS Boot Sector.- 1.4 File Allocation Table.- 1.5 Root Directory.- 2 Low Level Disk Layout.- 3 EXE File Format.- 4 Mac Filestore Structure.- 5 PC Virus Relationship Chart.- 6 Macintosh Virus Relationship Chart.- 7 PC Boot Sequence.- 8 AIDS Trojan: Accompanying Licence.- 9 Software Infected at Source.- 10 Nomenclature.- 10.1 Types of Virus.- 10.1.1 Master Boot Sector Viruses.- 10.1.2 DOS Boot Sector Viruses.- 10.1.3 Executable COM/EXE Viruses.- 10.1.4 Memory Resident Viruses.- 10.1.5 Overwriting Viruses.- 10.1.6 Prepending Viruses.- 10.1.7 Appending Viruses.- 10.2 Generations of Virus.- 10.3 Classes of Anti-virus Product.- 11 UNIX Boot Sequence.- 12 CERT Press Release.- 13 CERT/CIAC Advisories.- 14 Contact Points.- 15 Abbreviations.- 16 Further Reading.- 17 Virus-1 Archive Sites.- 18 Relative Frequencies of IBM Viruses.
£44.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Funktionale Programmierung: Sprachdesign und
Book SynopsisGegenstand dieses Werkes sind die Theorie und Praxis der modernen funktionalen Programmierung. Dabei betrachten die Autoren aber nicht nur das, was mittels der heute implementierten Sprachen wie HASKELL, OPAL, ML usw. machbar ist, sondern weisen auch auf aktuelle Entwicklungen hin. Zum einen werden fortgeschrittene Programmiertechniken vorgestellt, wie z.B. die Verwendung unendlicher Datenstrukturen, Parser als Funktionen höherer Ordnung, Approximations-Algorithmen, Lösung von Gleichungssystemen usw. Zum anderen werden aber auch Sprachkonzepte diskutiert, wie z.B. eine systematische Form der Modularisierung oder besonders ausdrucksstarke und flexible Formen der Typisierung. Ein besonderes Gewicht wird generell auf die Integration verschiedener Paradigmen gelegt, wie etwa die Verbindung mit Konzepten der objektorientierten, der nebenläufigen oder der Constraint-basierten Programmierung. In diesem Zusammenhang wird speziell auch die Bedeutung von Monaden analysiert und kritisch hinterfragt.Trade ReviewAus den Rezensionen: "Bei diesem Titel … werden … fortgeschrittene Leser angesprochen, die mit den Grundlagen der funktionalen Programmierung vertraut sind. … ‘Im Vordergrund stehen Ideen und Konzepte einer eleganten, sicheren und produktiven Form des Programmierens‘, wobei der Blick in die Zukunft gerichtet ist und Konzepte und Methoden vorgestellt werden, die erst in den Sprachen der nächsten Generation verfügbar sein werden. Geeignet für Bibliotheken … an Hochschulstandorten … Das Lehrbuch kann noch weiter genutzt werden." (Isigkeit, in: ekz-Informationsdienst, 2006)Table of ContentsElementare Funktionale Programmierung Eine Wiederholung.- Das Strittigste vorab: Notationen.- Grundlagen der Funktionalen Programmierung.- Faulheit währt unendlich.- Parser als Funktionen höherer Ordnung.- Strukturierung von Programmen.- Gruppen: Die Basis der Modularisierung.- Operatoren auf Gruppen (Morphismen).- Die Idee der Typisierung.- Typen.- Subtypen (Vererbung).- Polymorphe und abhängige Typen.- Spezifikationen und Typklassen: Wie Typen typisiert werden.- Beispiel: Berechnung von Fixpunkten.- Beispiel: Monaden.- Datenstrukturen.- Netter stack und böse Queue.- Compilertechniken für funktionale Datenstrukturen.- Funktionale Arrays und Numerische Mathematik.- Map: Wenn Funktionen zu Daten werden.- Beispiel: Synthese von Programmen.- Integration von Paradigmen.- Zeit und Zustand in der funktionalen Welt.- Objekte und Ein-/Ausgabe.- Agenten und Prozesse.- Graphische Schnittstellen (GUIs).- Massiv parallele Programme.- Integration von Konzepten anderer Programmierparadigmen.
£27.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Object-Oriented Programming in Oberon-2
Book SynopsisWithout a doubt the idea of object-oriented programming has brought some motion into the field of programming methodology and enlarged the set of programming languages. Object-oriented programming is nothing new-it first arose in the sixties. The motivation came from the simulation of discrete event systems. The concept first manifested itself in the language Simula 67. It took nearly two decades for the method to gain impetus, and today object-oriented programming is an important concept and a powerful technique. Meanwhile, we can even speak of an over reaction, for the concept has become a buzzword. But buzzwords always appear where there is the hope of exploiting ill-informed clients because they see the new approach as the solution to all their problems. Thus object-oriented programming is often hailed as a panacea. And so the question is justified: What is really behind it? To let the cat out of the bag: There is more to object-oriented programming than merely putting data as objects in the fore ground, instead of algorithms to which the data are subject. It is more than purely an alternative view of programmed systems. To identify the essence of object-oriented programming, is the subject of this book. This is a textbook that shows in a didactically skillful way which concepts and constructs are new, where they can be employed reasonably, and what advantages they offer. For, not all programs are automatically improved by merely recasting them in an object-oriented style.Table of Contents1 Overview.- 1.1 Procedure-Oriented Thinking.- 1.2 Object-Oriented Thinking.- 1.3 Object-Oriented Languages.- 1.4 How OOP Differs from Conventional Programming.- 1.5 Classes as Abstraction Mechanisms.- 1.6 History of Object-Oriented Languages.- 1.7 Summary.- 2 Oberon-2.- 2.1 Features of Oberon-2.- 2.2 Declarations.- 2.3 Expressions.- 2.4 Statements.- 2.5 Procedures.- 2.6 Modules.- 2.7 Commands.- 3 Data Abstraction.- 3.1 Concrete Data Structures.- 3.2 Abstract Data Structures.- 3.3 Abstract Data Types.- 4 Classes.- 4.1 Methods.- 4.2 Classes and Modules.- 4.3 Examples.- 4.4 Common Questions.- 5 Inheritance.- 5.1 Type Extension.- 5.2 Compatibility of a Base Type and its Extension.- 5.3 Static and Dynamic Type.- 5.4 Run-Time Type Checking.- 5.5 Extensibility in an Object-Oriented Sense.- 5.6 Common Questions.- 6 Dynamic Binding.- 6.1 Messages.- 6.2 Abstract Classes.- 6.3 Examples.- 6.4 Message Records.- 6.5 Common Questions.- 7 Typical Applications.- 7.1 Abstract Data Types.- 7.2 Generic Components.- 7.3 Heterogeneous Data Structures.- 7.4 Replaceable Behavior.- 7.5 Adaptable Components.- 7.6 Semifinished Products.- 7.7 Summary.- 8 Useful Techniques.- 8.1 Initialization of Objects.- 8.2 Extending a System at Run Time.- 8.3 Persistent Objects.- 8.4 Wrapping Classes in Other Classes.- 8.5 Extensibility in Multiple Dimensions.- 8.6 Multiple Inheritance.- 8.7 Models and Views.- 8.8 Iterators.- 8.9 Modifying Inherited Methods.- 9 Object-Oriented Design.- 9.1 Functional Design.- 9.2 Object-Oriented Design.- 9.3 Identifying the Classes.- 9.4 Designing the Interface of a Class.- 9.5 Abstract Classes.- 9.6 Relationships between Classes.- 9.7 When to Use Classes.- 9.8 Common Design Errors.- 10 Frameworks.- 10.1 Subsystems and Frameworks.- 10.2 The MVC Framework.- 10.3 A Framework for Objects in Texts.- 10.4 Application Frameworks.- 11 Oberon0 — A Case Study.- 11.1 The Viewer System.- 11.2 Handling User Input.- 11.3 A Text Editor.- 11.4 A Graphics Editor.- 11.5 Embedding Graphics in Texts.- 12 Costs and Benefits of OOP.- 12.1 Benefits.- 12.2 Costs.- 12.3 The Future.- A Oberon-2 — Language Definition.- A.1 Introduction.- A.2 Syntax.- A.3 Vocabulary and Representation.- A.4 Declarations and Scope Rules.- A.5 Constant Declarations.- A.6 Type Declarations.- A.7 Variable Declarations.- A.8 Expressions.- A.9 Statements.- A.10 Procedure Declarations.- A.11 Modules.- A.12 Appendices to the Language Definition.- B The Module OS.- C The Module IO.- D How to Get Oberon.
£44.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Fundamental Approaches to Software Engineering: First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
Book SynopsisThis book constitutes the refereed proceedings of the First International Conference on Fundamental Approaches to Software Engineering, FASE'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, held in Lisbon, Portugal, in March/April 1998.Besides two invited presentations and three system demonstrations, this volume presents 18 revised full papers selected from a total of 59 submissions. Among the various fundamental software engineering issues addressed are formal methods, specification languages, refinement, object-oriented modeling, software architectures, statecharts, model checking, etc.Table of ContentsExtreme programming: A humanistic discipline of software development.- Some mistakes I have and what I have learned from them.- Specifying and analyzing dynamic software architectures.- Observational proofs with critical contexts.- Integrating AORTA with model-based data specification languages.- Specifying safety-critical embedded systems with statecharts and Z: A case study.- Specifying embedded systems with statecharts and Z: An agenda for cyclic software components.- Algebra transformation systems and their composition.- Navigation expressions in object-oriented modelling.- Compositional verification of reactive systems specified by graph transformation.- Reflections on the design of a specification language.- Constructs, concepts and criteria for reuse in concurrent object-oriented languages.- Backtracking-free design planning by automatic synthesis in metaframe.- Model-checking CSP-Z.- Rule-based refinement of high-level nets preserving safety properties.- Automated formal analysis of networks: FDR models of arbitrary topologies and flow-control mechanisms.- Behaviour analysis and safety conditions: A case study in CML.- Distributed safety controllers for web services.- A refinement calculus for statecharts.- Refining formal specifications of human computer interaction by graph rewrite rules.- RELVIEW — A system for calculating with relations and relational programming.- ALBERT: A formal language and its supporting tools for requirements engineering.- Moby/plc — A design tool for hierarchical real-time automata.
£44.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Artificial Intelligence in Structural Engineering: Information Technology for Design, Collaboration, Maintenance, and Monitoring
Book SynopsisThis book presents the state of the art of artificial intelligence techniques applied to structural engineering. The 28 revised full papers by leading scientists were solicited for presentation at a meeting held in Ascona, Switzerland, in July 1998.The recent advances in information technology, in particular decreasing hardware cost, Internet communication, faster computation, increased bandwidth, etc., allow for the application of new AI techniques to structural engineering. The papers presented deal with new aspects of information technology support for the design, analysis, monitoring, control and diagnosis of various structural engineering systems.Table of ContentsStructural monitoring of civil structures using vibration measurement Current practice and future.- Object-oriented software patterns for engineering design standards processing.- Design and verification of real-time systems.- Using knowledge nodes for knowledge discovery and collaboration.- Heating system design support.- Collaborative desktop engineering.- Towards personalized structural engineering tools.- Complex systems: Why do they need to evolve and how can evolution be supported.- Formalizing product model transformations: Case examples and applications.- Internet-based web-mediated collaborative design and learning environment.- Wearable computers for field inspectors: Delivering data and knowledge-based support in the field.- Conceptual designing as a sequence of situated acts.- Some personal experience in computer aided engineering research.- Knowledge discovery from multimedia case libraries.- Customisable knowledge bases for conceptual design.- Articulate design of free-form structures.- Applying quantitative constraint satisfaction in preliminary design.- Agents in computer-assisted collaborative design.- A collaborative negotiation methodology for large scale civil engineering and architectural projects.- An investigation into the integration of neural networks with the structured genetic algorithm to aid conceptual design.- Finding the right model for bridge diagnosis.- Knowledge-based assistants in collaborative engineering.- CAD modelling in multidisciplinary design domains.- A family of software components to deliver solutions for the interpretation of monitoring data.- AI methods in concurrent engineering.- A new collaborative design environment for engineers and architects.- Intelligent structures: A new direction in structural control.- Integration of expert systems in a structural design office.- Teaching knowledge engineering: Experiences.- Design support for viaducts.- Converting function into object.- Software agent techniques in design.- Case-based design process facilitating collaboration and information evolution.- Shared experiences: Management of experiential knowledge in the building industry.- Dam safety: Improving management.- Integrating virtual reality and telepresence to remotely monitor construction sites: A ViRTUE project.- Proposal for 4.5 dimensional design via product models and expert system.- A product information system based on dynamic classification.- Structural monitoring: Decision-support through multiple data interpretations.- Augmented reality applications to structural monitoring.- Analysis and design of the as-built model.- On theoretical backgrounds of CAD.
£44.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Multi-Agent System Engineering: 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99 Valencia, Spain, June 30 - July 2, 1999 Proceedings
Book SynopsisIn the ten years since the first MAAMAW was held in 1989, at King's College, Cambridge, the field of Multi-Agent Systems (MAS) has flourished. It has attracted an increasing amount of theoretical and applied research. During this decade, important efforts have been made to establish the scientific and technical foundations of MAS. MAAMAW publications are testimony to the progress achieved in key areas such as agent modelling and reasoning, multi-agent interaction and communication, and multi-agent organisation and social structure. Research results have covered a wide range of inter-related topics in each area including agent architectures, reasoning models, logics, conflict resolution, negotiation, resource allocation, load balancing, learning; social behaviour and interaction, languages and protocols, interagent and agent-human communication, social models, agent roles, norms and social laws, and static and dynamic organisational structures. The feasibility and the viability of the proposed models and techniques have been demonstrated through MAS applications in heterogeneous domains including electronic commerce, co-operative work, telecommunications, social and biological systems, robotics, office and business automation, public administration, social simulations and banking. As the applicability of the technology became understood, the multi-agent paradigm has been progressively accepted by product managers and system developers, giving rise to a considerable amount of business expectation from industry. These expectations do not rest on the concept or metaphor of agent, but on the development of MAS useful in an industrial setting, with real-time systems presenting the biggest challenge.Table of ContentsEngineering Aspects of Multi-agent Systems.- Agent-Oriented Software Engineering.- Specification of Bahavioural Requirements within Compositional Multi-agent System Design.- Agent-Oriented Design.- A Developer’s Perspective on Multi-agent System Design.- Multi-agent Systems Framework.- A Development Environment for the Realization of Open and Scalable Multi-agent Systems.- Modelling Agents in Hard Real-Time Environments.- Multi-agent Systems on the Internet: Extending the Scope of Coordination towards Security and Topology.- Languages and Protocols.- Protocol Engineering for Multi-agent Interaction.- Designing Agent Communication Languages for Multi-agent Systems.- A Temporal Agent Communication Language for Dynamic Multi-agent Systems.- Multi-paradigm Languages Supporting Multi-agent Development.- Negotiation and Cooperation.- An Efficient Argumentation Framework for Negotiating Autonomous Agents.- Negotiating Service Provisioning.- Cooperative Plan Selection Through Trust.- Extending Social Reasoning to Cope with Multiple Partner Coalitions.- Formal Models.- Basic Mental Attitudes of a Collaborating Agent: Cognitive Primitives for MAS.- Subjective Situations.- Formal Analysis of Models for the Dynamics of Trust Based on Experiences.
£999.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Algorithmic Adventures: From Knowledge to Magic
Book SynopsisThe ?rst and foremost goal of this lecture series was to show the beauty, depth and usefulness of the key ideas in computer science. While working on the lecture notes, we came to understand that one can recognize the true spirit of a scienti?c discipline only by viewing its contributions in the framework of science as a whole. We present computer science here as a fundamental science that, interacting with other scienti?c disciplines, changed and changes our view on the world, that contributes to our understanding of the fundamental concepts of science and that sheds new light on and brings new meaning to several of these concepts. We show that computer science is a discipline that discovers spectacular, unexpected facts, that ?nds ways out in seemingly unsolvable s- uations, and that can do true wonders. The message of this book is that computer science is a fascinating research area with a big impact on the real world, full of spectacular ideas and great ch- lenges. It is an integral part of science and engineering with an above-average dynamic over the last 30 years and a high degree of interdisciplinarity. The goal of this book is not typical for popular science writing, whichoftenrestrictsitselftooutliningtheimportanceofaresearch area. Whenever possible we strive to bring full understanding of the concepts and results presented.Trade ReviewFrom the reviews: "A lucid exposition of fundamental ideas, concepts and methods of computer science, their essence and their limits, delightfully represented, and easily understandable for a broad readership. Scientific writing at its best." (Peter Widmayer, ETH Zürich)“This book originated from a series of lectures given by the author to describe what computer science is and what its principle Ideas are. Algorithms are the key concept of this book. … The inclusion of problems makes the book more than a personal reflection. The style is lively and avoids unnecessary jargon. With a good teacher, it could be suitable as a textbook on the foundations of computer science in an undergraduate classroom.” (Anthony J. Duben, ACM Computing Reviews, February, 2010)“This is a very readable book on theoretical computer science, written for nonspecialists. … Practical applications are illustrated by examples from DNA computing and quantum mechanics. … Summing Up: Recommended. Lower- and upper-division undergraduates and general readers.” (M. Bona, Choice, Vol. 47 (5), January, 2010)“The author is an acclaimed computer scientist and he proves why: apart from being an aggressive researcher, he is also an excellent teacher. Using his ability to teach complex computing topics in an interesting way, he introduces to the reader the ‘power and the magic’ of the underlying principles. … It will certainly draw interest from both undergraduate and post-graduate students of computing and allied fields. … I do recommend this beautiful book for a scientific library … .” (Soubhik Chakraborty, ACM Computing Reviews, August, 2010)Table of ContentsThe Development of Computer Science: Not Just a Driving Licence.- Algorithmics: What Programming and Baking Have in Common.- Infinity Is Not Infinity: Why Infinity Is Infinitely Important in Computer Science.- The Limits of Computability: Why There Exist Tasks That Cannot Be Automatically Solved Using Computers.- Complexity Theory: What to Do When the Energy of the Universe Isn't Enough to Perform a Computation.- Randomness in Nature: A Source of Efficiency in Algorithmics.- Cryptography: How to Transform Drawbacks into Advantages.- Computing Using DNA Molecules: A Biological Computer on the Horizon.- Quantum Computers: Computing in the Wonderland of Particles.- How to Make a Good Decision for an Unknown Future: How to Foil an Adversary
£42.74
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Secure Systems Development with UML
Book SynopsisAttacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical systems is difficult, mainly because of the conflict between development costs and verifiable correctness. Jürjens presents the UML extension UMLsec for secure systems development. It uses the standard UML extension mechanisms, and can be employed to evaluate UML specifications for vulnerabilities using a formal semantics of a simplified fragment of UML. Established rules of security engineering can be encapsulated and hence made available even to developers who are not specialists in security. As one example, Jürjens uncovers a flaw in the Common Electronic Purse Specification, and proposes and verifies a correction. With a clear separation between the general description of his approach and its mathematical foundations, the book is ideally suited both for researchers and graduate students in UML or formal methods and security, and for advanced professionals writing critical applications.Table of ContentsPrologue.- Walk-through: Using UML for Security.- Background.- Developing Secure Systems.- Model-based Security Engineering with UML.- Applications.- Tool Support.- Tool support for UMLsec.- A Formal Foundation.- Formal Systems Development with UML.- Epilogue.- Further Material.- Outlook.
£94.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Enterprise Architecture Frameworks Kompendium: Über 50 Rahmenwerke für das IT-Management
Book SynopsisIn dem Band werden 50 Enterprise Architecture Frameworks (EAF) ausführlich behandelt und 45 weitere hinsichtlich ihrer Intention kurz und prägnant dargestellt. Die detaillierten Beschreibungen erlauben durch ein einheitliches Raster den Vergleich unterschiedlicher EAF. Sie enthalten Informationen zum Entwickler, zu Versionen, zur Marktrelevanz, zu Abhängigkeiten, Verfügbarkeit, unterstützenden Tools sowie Anschaffungskosten. Die Unterstützungsvielfalt, die Frameworks bieten, demonstriert der Autor anhand eines Anwendungsszenarios.Trade ReviewAus den Rezensionen: “... Das Buch empfiehlt sich allen Verantwortlichen, welche vor der architekturgeleiteten Umsetzung eines IT-Projekts stehen oder eine aktuelle IT-Strategie zu entwickeln haben, da es die Entscheidungsfindung dank seiner strukturierten Herangehensweise effektiv unterstutzt. ... Da dieses Buch von einer aktuellen Website begleitet wird, sind nicht nur weiterführende Informationen, sondern auch ein interaktives Navigationssystem nach der Registrierung einfach zuganglich. Lehrende finden dort detaillierte Framework-Beschreibungen, Übungs- und Vortragsmaterialien sowie eine Orientierungshilfe als Druckvorlage ...“ (WI Wirtschaftsinformatik www.wirtschaftsinformatik.de, June/2012)Table of ContentsEinleitung.- Einführung eines grundlegenden Begriffsverständnisses.- Recherche und Ordnung der Enterprise Architecture Frameworks.- Grundlagen für die Beschreibung ausgewählter Rahmenwerke im Interesse des Informationsmanagers.- Detaillierte Beschreibung ausgewählter Rahmenwerke.- Exemplarische Umsetzung einzelner Rahmenwerke innerhalb eines fiktiven Anwendungsszenarios.- Anhang A: Konspekt zum Grundlagenkapital Rahmenwerke.- Anhang B: Framework Selection Guide.- Literaturverzeichnis.- Index.
£54.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Situational Method Engineering
Book SynopsisWhile previously available methodologies for software – like those published in the early days of object technology – claimed to be appropriate for every conceivable project, situational method engineering (SME) acknowledges that most projects typically have individual characteristics and situations. Thus, finding the most effective methodology for a particular project needs specific tailoring to that situation. Such a tailored software development methodology needs to take into account all the bits and pieces needed for an organization to develop software, including the software process, the input and output work products, the people involved, the languages used to describe requirements, design, code, and eventually also measures of success or failure.The authors have structured the book into three parts. Part I deals with all the basic concepts, terminology and overall ideas underpinning situational method engineering. As a summary of this part, they present a formal meta-model that enables readers to create their own quality methods and supporting tools. In Part II, they explain how to implement SME in practice, i.e., how to find method components and put them together and how to evaluate the resulting method. For illustration, they also include several industry case studies of customized or constructed processes, highlighting the impact that high-quality engineered methods can have on the success of an industrial software development. Finally, Part III summarizes some of the more recent and forward-looking ideas.This book presents the first summary of the state of the art for SME. For academics, it provides a comprehensive conceptual framework and discusses new research areas. For lecturers, thanks to its step-by-step explanations from basics to the customization and quality assessment of constructed methods, it serves as a solid basis for comprehensive courses on the topic. For industry methodologists, it offers a reference guide on features and technologies to consider when developing in-house software development methods or customising and adopting off-the-shelf ones.Trade Review"This book offers a comprehensive body of knowledge related to the Method Engineering discipline. It provides a summary and synthesis of all past efforts in this domain and clarifies the domain terminology. I suggest it to every researcher interested in the art of method design, not only in software engineering but also in other fields." Marko Bajec, University of Ljubljana, Slovenia"I am confident this text will prove an invaluable resource for those interested in improving the standard of software development and the resulting software applications." from the foreword by Mary O'Kane, NSW Chief Scientist & Engineer, Sydney, Australia"This book deftly balances the advantages of situational method engineering in terms of its practical application, underpinned by the solid theory from worldwide research. I heartily recommend it for both researchers and practitioners." from the foreword by Julian Edwards, Chief Operating Officer, Object Consulting, Sydney, AustraliaTable of ContentsPart I SME Basics.- Chapter 1 Introduction.- Chapter 2 Method chunks, method fragments and method components.- Chapter 3 Method Engineering as a Social Practice.- Chapter 4 Formal descriptions.- Part II Applying SME in Practice.- Chapter 5 Identification and construction of individual method chunks/fragments.- Chapter 6 Processes for creating a methodology from method parts.- Chapter 7 Tailoring a constructed method.- Chapter 8 Assessing quality.- Chapter 9 Examples of constructed processes.- Part III The Future of SME.- Chapter 10 Recent advances in SME.- Chapter 11 Final summary and future work.
£44.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Programming for Engineers: A Foundational Approach to Learning C and Matlab
Book SynopsisTo learn to program is to be initiated into an entirely new way of thinking about engineering, mathematics, and the world in general. Computation is integral to all modern engineering disciplines, so the better you are at programming, the better you will be in your chosen field.The author departs radically from the typical presentation by teaching concepts and techniques in a rigorous manner rather than listing how to use libraries and functions. He presents pointers in the very first chapter as part of the development of a computational model that facilitates an ab initio presentation of subjects such as function calls, call-by-reference, arrays, the stack, and the heap. The model also allows students to practice the essential skill of memory manipulation throughout the entire course rather than just at the end. As a result, this textbook goes further than is typical for a one-semester course -- abstract data types and linked lists, for example, are covered in depth. The computational model will also serve students in their adventures with programming beyond the course: instead of falling back on rules, they can think through the model to decide how a new programming concept fits with what they already know.The book is appropriate for undergraduate students of engineering and computer science, and graduate students of other disciplines. It contains many exercises integrated into the main text, and the author has made the source code available online.Trade Review"This book builds a well-defined computation model that allows concepts that are important in technical and scientific applications -- like pointers, arrays and recursion -- to be gradually and rigorously introduced. The languages covered by the book, C and MATLAB, are highly relevant to engineering applications.Clarity of exposition, numerous well-chosen examples, pedagogical savvy, and logical sequencing of the topics all help the reader's progress through the chapters and make for an enjoyable learning experience. This book prepares one well to deal with advanced programming language constructs and the design of large, complex applications by promoting mastery of the fundamentals, by covering important practical aspects of a programmer's activity, and by instilling good design and implementation habits. It is therefore ideally suited for self-study or as a textbook in an introductory college-level programming course for engineers and similarly technically-minded students."Fabio Somenzi (University of Colorado at Boulder)Table of ContentsChap. 1, Memory: The Stack.- Chap. 2, Control.- Chap. 3, Arrays and Strings.- Chap. 4, Debugging.- Chap. 5, I/O.- Chap. 6, Memory: The Heap.- Chap. 7, Abstract Data Types.- Chap. 8, Linked Lists.- Chap. 9, Introduction to Matlab.- Chap. 10, Exploring ODEs with Matlab.- Chap. 11, Exploring Time and Frequency Domains with Matlab.- Chap. 12, Index.
£39.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Agile Management: Leadership in an Agile Environment
Book SynopsisIf you have tried to implement Agile in your organization, you have probably learned a lot about development practices, teamwork, processes and tools, but too little about how to manage such an organization. Yet managerial support is often the biggest impediment to successfully adopting Agile, and limiting your Agile efforts to those of the development teams while doing the same old-style management will dramatically limit the ability of your organization to reach the next Agile level.Ángel Medinilla will provide you with a comprehensive understanding of what Agile means to an organization and the manager’s role in such an environment, i.e., how to manage, lead and motivate self-organizing teams and how to create an Agile corporate culture. Based on his background as a “veteran” Agile consultant for companies of all sizes, he delivers insights and experiences, points out possible pitfalls, presents practical approaches and possible scenarios, also including detailed suggestions for further reading.If you are a manager, team leader, evangelist, change agent (or whatever nice title) and if you want to push Agile further in your organization, then this is your book. You will read how to change the paradigm of what management is about: it is not about arbitrary decisions, constant supervision and progress control, and the negotiation of changing requirements. It is about motivation, self-organization, responsibility, and the exploitation of all project stakeholders’ knowledge. We live in a different world than the one that most management experts of the 20th century describe, and companies that strive for success and excellence will need a new kind of manager – Agile managers.Trade Review"Get this book if you need an introduction to agile development." M. M. Tanik, ACM Computing Reviews, January 2013Table of ContentsA Brief History of Management.- Lean and Agile in a Nutshell.- The Agile Manager’s Role.- Motivating the Agile Workforce.- Self Organization.- Agile Structures: Scaling Agility.- Managing Capacity and Workload.- Agile Culture and Driving Change.- Final Thoughts.
£39.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Model-Based Engineering of Embedded Systems: The
Book SynopsisEmbedded systems have long become essential in application areas in which human control is impossible or infeasible. The development of modern embedded systems is becoming increasingly difficult and challenging because of their overall system complexity, their tighter and cross-functional integration, the increasing requirements concerning safety and real-time behavior, and the need to reduce development and operation costs.This book provides a comprehensive overview of the Software Platform Embedded Systems (SPES) modeling framework and demonstrates its applicability in embedded system development in various industry domains such as automation, automotive, avionics, energy, and healthcare. In SPES 2020, twenty-one partners from academia and industry have joined forces in order to develop and evaluate in different industrial domains a modeling framework that reflects the current state of the art in embedded systems engineering.The content of this book is structured in four parts. Part I “Starting Point” discusses the status quo of embedded systems development and model-based engineering, and summarizes the key requirements faced when developing embedded systems in different application domains. Part II “The SPES Modeling Framework” describes the SPES modeling framework. Part III “Application and Evaluation of the SPES Modeling Framework” reports on the validation steps taken to ensure that the framework met the requirements discussed in Part I. Finally, Part IV “Impact of the SPES Modeling Framework” summarizes the results achieved and provides an outlook on future work.The book is mainly aimed at professionals and practitioners who deal with the development of embedded systems on a daily basis. Researchers in academia and industry may use it as a compendium for the requirements and state-of-the-art solution concepts for embedded systems development.Table of ContentsPart I Starting Situation.- Challenges in Engineering for Software-Intensive Embedded Systems.- Requirements from the Application Domains.- Part II The SPES Modeling Framework.- Introduction to the SPES Modeling Framework.- Requirements Viewpoint.- Functional Viewpoint.- Logical Viewpoint.- Technical Viewpoint.- Modeling Quality Aspects: Safety.- Modeling Quality Aspects: Real-Time.- Part III Application and Evaluation of the SPES Modeling Framework.- Overview of the SPES Evaluation Strategy.- Application and Evaluation in the Automation Domain.- Application and Evaluation in the Automotive Domain.- Application and Evaluation in the Avionics Domain.- Application and Evaluation in the Energy Domain.- Application and Evaluation in the Healthcare Domain.- Evaluation Summary.- Part IV Impact of the SPES Modeling Framework.- Lessons Learned.- Outlook.
£44.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Concurrent Programming: Algorithms, Principles, and Foundations
Book SynopsisThis book is devoted to the most difficult part of concurrent programming, namely synchronization concepts, techniques and principles when the cooperating entities are asynchronous, communicate through a shared memory, and may experience failures. Synchronization is no longer a set of tricks but, due to research results in recent decades, it relies today on sane scientific foundations as explained in this book.In this book the author explains synchronization and the implementation of concurrent objects, presenting in a uniform and comprehensive way the major theoretical and practical results of the past 30 years. Among the key features of the book are a new look at lock-based synchronization (mutual exclusion, semaphores, monitors, path expressions); an introduction to the atomicity consistency criterion and its properties and a specific chapter on transactional memory; an introduction to mutex-freedom and associated progress conditions such as obstruction-freedom and wait-freedom; a presentation of Lamport's hierarchy of safe, regular and atomic registers and associated wait-free constructions; a description of numerous wait-free constructions of concurrent objects (queues, stacks, weak counters, snapshot objects, renaming objects, etc.); a presentation of the computability power of concurrent objects including the notions of universal construction, consensus number and the associated Herlihy's hierarchy; and a survey of failure detector-based constructions of consensus objects. The book is suitable for advanced undergraduate students and graduate students in computer science or computer engineering, graduate students in mathematics interested in the foundations of process synchronization, and practitioners and engineers who need to produce correct concurrent software. The reader should have a basic knowledge of algorithms and operating systems.Trade ReviewFrom the reviews:“Concurrent programming is the study of the methods which will ensure correct interactions. … Raynal (Univ. of Rennes, France) presents these classical techniques at the beginning of his book, and then moves on to cover such topics as transactional memory and current areas of research like consensus in the face of crash failures. The coverage is very up-to-date, including references through 2010. … This would be an ideal text for a beginning graduate course. Summing Up: Highly recommended. Graduate students, researchers/faculty, and professionals/practitioners.” (P. Cull, Choice, Vol. 50 (11), August, 2013)“A very comprehensive treatment of both fundamentals and recent results in concurrent programming is presented in this book. … The book is well structured, with many examples to help the reader. Each chapter starts with a short presentation of the content and a list of keywords, and concludes with a summary of the main points and results. … I can recommend this book … .” (Sergei Gorlatch, Computing Reviews, June, 2013)Table of ContentsPart I - Lock-Based Synchronization.- Chap. 1 - The Mutual Exclusion Problem.- Chap. 2 - Solving Mutual Exclusion.- Chap. 3 - Lock-Based Concurrent Objects.- Part II - On the Foundations Side: The Atomicity Concept.- Chap. 4 - Atomicity: Formal Definition and Properties.- Part III - Mutex-Free Synchronization.- Chap. 5 - Mutex-Free Concurrent Objects.- Chap. 6 - Hybrid Concurrent Objects.- Chap. 7 - Wait-Free Objects from Read/Write Registers Only.- Chap. 8 - Snapshot Objects from Read/Write Registers Only.- Chap. 9 - Renaming Objects from Read/Write Registers Only.- Part IV - The Transactional Memory Approach.- Chap. 10 - Transactional Memory.- Part V - On the Foundations Side: From Safe Bits to Atomic Registers.- Chap. 11 - Safe, Regular and Atomic Read/Write Registers.- Chap. 12 - From Safe Bits to Atomic Bits: A Lower Bound and an Optimal Construction.- Chap. 13 - Bounded Constructions of Atomic b-Valued Registers.- Part VI - On the Foundations Side: The Computability Power of Concurrent Objects (Consensus).- Chap. 14 - Universality of Consensus.- Chap. 15 - The Case of Unreliable Base Objects.- Chap. 16 - Consensus Numbers and the Consensus Hierarchy.- Chap. 17 - The Alphas and Omega of Consensus: Failure Detector-Based Consensus.- Afterword.- Bibliography.- Index.
£54.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Curves and Surfaces in Computer Aided Geometric Design
Book SynopsisThIS IS an English verSIOn of the book m two volumes, entitled "KeiJo Shon Kogaku (1), (2)" (Nikkan Kogyo Shinbun Co.) written in Japanese. The purpose of the book is a umfied and systematic exposition of the wealth of research results m the field of mathematical representation of curves and surfaces for computer aided geometric design that have appeared in the last thirty years. The material for the book started hfe as a set of notes for computer aided geometnc design courses which I had at the graduate schools of both computer SCIence, the umversity of Utah m U.S.A. and Kyushu Institute of Design in Japan. The book has been used extensively as a standard text book of curves and surfaces for students, practtcal engmeers and researchers. With the aim of systematic expositIOn, the author has arranged the book in 8 chapters: Chapter 0: The sIgmficance of mathemattcal representations of curves and surfaces is explained and histoncal research developments in this field are revIewed. Chapter 1: BasIc mathematical theones of curves and surfaces are reviewed and summanzed. Chapter 2: A classical mterpolation method, the Lagrange interpolation, is discussed. Although its use is uncommon in practice, this chapter is helpful in understanding Chaps. 4 and 6. Chapter 3: This chapter dIscusses the Coons surface in detail, which is one of the most important contributions in this field. Chapter 4: The fundamentals of spline functions, spline curves and surfaces are discussed in some detail.Table of Contents0. Mathematical Description of Shape Information.- 0.1 Description and Transmission of Shape Information.- 0.2 Processing and Analysis of Shapes.- 0.3 Mathematical Description of Free Form Shapes.- 0.4 The Development of Mathematical Descriptions of Free Form Curves and Surfaces.- References.- 1. Basic Theory of Curves and Surfaces.- 1.1 General.- 1.1.1 Properties of Object Shapes and Their Mathematical Representation.- 1.1.2 Design and Mathematical Representations.- 1.1.3 Invariance of a Shape Under Coordinate Transformation.- 1.2 Curve Theory.- 1.2.1 Parametric Representation of Curves; Tangent Lines and Osculating Planes.- 1.2.2 Curvature and Torsion.- 1.2.3 Frenet Frames and the Frenet-Serret Equations.- 1.2.4 Calculation of a Point on a Curve.- 1.2.5 Connection of Curve Segments.- 1.2.6 Parameter Transformation.- 1.2.7 Partitioning of a Curve Segment.- 1.2.8 Parametric Cubic Curves.- 1.2.9 Length and Area of a Curve.- 1.2.10 Intersection of a Curve with a Plane.- 1.2.11 Intersection of Two Curves.- 1.3 Theory of Surfaces.- 1.3.1 Parametric Representation of Surfaces.- 1.3.2 The First Fundamental Matrix of a Surface.- 1.3.3 Determining Conditions for a Tangent Vector to a Curve on a Surface.- 1.3.4 Curvature of a Surface.- 1.3.5 Calculation of a Point on a Surface.- 1.3.6 Subdivision of Surface Patches.- 1.3.7 Connection of Surface Patches.- 1.3.8 Degeneration of a Surface Patch.- 1.3.9 Calculation of a Normal Vector on a Surface.- 1.3.10 Calculation of Surface Area and Volume of a Surface.- 1.3.11 Offset Surfaces.- References.- 2. Lagrange Interpolation.- 2.1 Lagrange Interpolation Curves.- 2.2 Expression in Terms of Divided Differences.- References.- 3. Hermite Interpolation.- 3.1 Hermite Interpolation.- 3.2 Curves.- 3.2.1 Derivation of a Ferguson Curve Segment.- 3.2.2 Approximate Representation of a Circular Arc by a Ferguson Curve Segment.- 3.2.3 Hermite Interpolation Curves.- 3.2.4 Partitioning of Ferguson Curve Segments.- 3.2.5 Increase of Degree of a Ferguson Curve Segment.- 3.3 Surfaces.- 3.3.1 Ferguson Surface Patch.- 3.3.2 The Coons Surface Patches (1964).- 3.3.3 The Coons Surface Patches (1967).- 3.3.4 Twist Vectors and Surface Shapes.- 3.3.5 Methods of Determining Twist Vectors.- 3.3.6 Partial Surface Representation of the Coons Bi-cubic Surface Patch.- 3.3.7 Connection of the Coons Bi-cubic Surface Patches.- 3.3.8 Shape Control of the Coons Bi-cubic Surface Patch.- 3.3.9 Triangular Patches Formed by Degeneration.- 3.3.10 Decomposition of Coons Surface Patches and 3 Types in Constructing Surfaces.- 3.3.11 Some Considerations on Hermite Interpolation Curves and Surfaces.- References.- 4. Spline Interpolation.- 4.1 Splines.- 4.2 Spline Functions.- 4.3 Mathematical Representation of Spline Functions.- 4.4 Natural Splines.- 4.5 Natural Splines and the Minimum Interpolation Property.- 4.6 Smoothing Splines.- 4.7 Parametric Spline Curves.- 4.8 End Conditions on a Spline Curve.- 4.9 Cubic Spline Curves Using Circular Arc Length.- 4.10 B-Splines.- 4.11 Generation of Spline Surfaces.- References.- 5. The Bernstein Approximation.- 5.1 Curves.- 5.1.1 Modification of Ferguson Curve Segments.- 5.1.2 Cubic Bézier Curve Segments.- 5.1.3 Bézier Curve Segments.- 5.1.4 Properties of the Bernstein Basis Function and Bernstein Polynomial.- 5.1.5 Various Representations for Bézier Curve Segments.- 5.1.6 Derivative Vectors of Bézier Curve Segments.- 5.1.7 Determination of a Point on a Curve Segment by Linear Operations.- 5.1.8 Increase of the Degree of a Bézier Curve Segment.- 5.1.9 Partitioning of a Bézier Curve Segment.- 5.1.10 Connection of Bézier Curve Segments.- 5.1.11 Creation of a Spline Curve with Cubic Bézier Curve Segments.- 5.2 Surfaces.- 5.2.1 Bézier Surface Patches.- 5.2.2 The Relation Between a Bi-cubic Bézier Surface Patch and a Bi-cubic Coons Surface Patch.- 5.2.3 Connection of Bézier Surface Patches.- 5.2.4 Triangular Patches Formed by Degeneration.- 5.2.5 Triangular Patches.- 5.2.6 Some Considerations on Bézier Curves and Surfaces.- References.- 6. The B-Spline Approximation.- 6.1 Uniform Cubic B-Spline Curves.- 6.1.1 Derivation of the Curve Formula.- 6.1.2 Properties of Curves.- 6.1.3 Determination of a Point on a Curve by Finite Difference Operations.- 6.1.4 Inverse Transformation of a Curve.- 6.1.5 Change of Polygon Vertices.- 6.2 Uniform Bi-cubic B-Spline Surfaces.- 6.2.1 Surface Patch Formulas.- 6.2.2 Determination of a Point on a Surface by Finite Difference Operations.- 6.2.3 Inverse Transformation of a Surface.- 6.2.4 Surfaces of Revolution.- 6.3 B-Spline Functions and Their Properties (1).- 6.4 B-Spline Functions and Their Properties (2).- 6.5 Derivation of B-Spline Functions.- 6.6 B-Spline Curve Type (1).- 6.7 B-Spline Curve Type (2).- 6.8 Recursive Calculation of B-Spline Functions.- 6.9 B-Spline Functions and Their Properties (3).- 6.10 B-Spline Curve Type (3).- 6.11 Differentiation of B-Spline Curves.- 6.12 Geometrical Properties of B-Spline Curves.- 6.13 Determination of a Point on a Curve by Linear Operations.- 6.14 Insertion of Knots.- 6.15 Curve Generation by Geometrical Processing.- 6.16 Interpolation of a Sequence of Points with a B-Spline Curve.- 6.17 Matrix Expression of B-Spline Curves.- 6.18 Expression of the Functions C0,0(t), C0,1(t), C1,0(t) and C1,1(t) by B-Spline Functions.- 6.19 General B-Spline Surfaces.- References.- 7. The Rational Polynomial Curves.- 7.1 Derivation of Parametric Conic Section Curves.- 7.2 Classification of Conic Section Curves.- 7.3 Parabolas.- 7.4 Circular Arc Formulas.- 7.5 Cubic/Cubic Rational Polynomial Curves.- 7.6 T-Conic Curves.- References.- Appendix A: Vector Expression of Simple Geometrical Relations.
£44.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Object-Process Methodology: A Holistic Systems Paradigm
Book SynopsisObject-Process Methodology (OPM) is an intuitive approach to systems engineering. This book presents the theory and practice of OPM with examples from various industry segments and engineering disciplines, as well as daily life. OPM is a generic, domain independent approach that is applicable almost anywhere in systems engineering.Table of ContentsI Foundations of Object-Process Methodology.- 1 A Taste of OPM.- 1.1 The Wedding Example: A Sneak Preview of OPM.- 1.2 OPM Building Blocks: Objects, Processes, and States.- 1.3 Specialization and Inheritance.- 1.4 Aggregation and the Result Link.- Summary.- Problems.- 2 Object-Process Diagrams.- 2.1 Objects and Aggregation.- 2.2 Structural Relations and Structural Links.- 2.3 Processes and Procedural Links.- 2.4 System Diagram: The Top-Level OPD.- 2.5 Zooming into the Transaction Executing Process.- 2.6 The OPD Set.- 2.7 How to Read an OPD.- 2.7.1 Flow of Control.- 2.7.2 The Timeline in OPDs.- 2.7.3 Object States and Conditions.- 2.8 Completing the In-Zoomed Transaction Executing OPD.- 2.8.1 Logical XOR, AND, and OR Operators.- 2.8.2 The System Map.- 2.8.3 The Ultimate OPD.- 2.8.4 Zooming Out of Transaction Executing.- Summary.- Problems.- 3 Object-Process Language.- 3.1 Motivation for a Language.- 3.1.1 Real-Time Textual Feedback.- 3.1.2 Closing the Requirements-Implementation Gap.- 3.2 Structural Links and Structure Sentences.- 3.2.1 The First OPL Sentence.- 3.2.2 The First OPL Aggregation Sentence.- 3.3 The OPL Paragraph and the Graphics-Text Principle.- 3.3.1 Extending the OPL Paragraph.- 3.3.2 Enabling Sentences.- 3.3.3 Transformation Sentences.- 3.3.4 The SD Paragraph.- 3.4 More OPL Sentence Types.- 3.4.1 State Enumeration and Condition Sentences.- 3.4.2 AND, XOR, and OR Logical Operators.- 3.4.3 The SD1 Paragraph.- 3.4.4 In-Zooming and Out-Zooming Sentences.- 3.5 Boolean Objects and Determination Sentence.- 3.5.1 Boolean Condition Sentences.- 3.5.2 Compound Condition Sentences.- 3.5.3 State-Specified Generation Sentence.- 3.5.4 Converting a Dual-State Object into a Boolean Object.- 3.6 OPD-OPL Item Pairs and Synergy.- Summary.- Problems.- 4 Objects and Processes.- 4.1 Existence, Things, and Transformations.- 4.1.1 Objects.- 4.1.2 Transformation and Processes.- 4.2 Processes and Time.- 4.2.1 Cause and Effect.- 4.2.2 Syntactic vs. Semantic Sentence Analysis.- 4.2.3 The Process Test.- 4.3 Things.- 4.3.1 Things and Entities.- 4.3.2 The Perseverance of Things.- 4.3.3 The Essence of Things.- 4.3.4 Symbolizing Physical Things.- 4.3.5 The Origin of Things.- 4.3.6 The Complexity of Things.- 4.3.7 Thing Types.- 4.3.8 The Relativity of Object and Process Importance.- 4.3.9 Object and Process Naming.- 4.4 Informatical Objects.- 4.4.1 Telling Informatical and Physical Objects Apart.- 4.4.2 Systems and Information Systems.- 4.4.3 Translation of Informatical Objects.- 4.4.4 Toward “Pure” Informatical Objects.- 4.5 Object Identity.- 4.5.1 Change of State or Change of Identity?.- 4.5.2 Classes and Instances of Objects and Processes.- Summary.- Problems.- II Concepts of OPM Systems Modeling.- 5Dynamics.- 5.1 States.- 5.1.1 Object States and Status.- 5.1.2 Change and Effect.- 5.1.3 Explicit and Implicit Status Representations.- 5.1.4 The Input, Output, and Effect Links.- 5.1.5 State Suppression and the Effect Link.- 5.1.6 State Expression.- 5.2 Existence and Transformation.- 5.2.1 Result and Consumption Links.- 5.2.2 Procedural Links, Enablers, and Transformées.- 5.2.3 Enablers.- 5.2.4 Agents.- 5.2.5 Instruments.- 5.2.6 Enabling Links.- 5.2.7 Transformées.- 5.2.8 Odd Man Out: The Invocation Linkt.- 5.3 Object Roles with Respect to a Process.- 5.3.1 Enablers and Affectees.- 5.3.2 The Involved, Preprocess, and Postprocess Object Sets.- 5.3.3 Condition and Agent Condition Links.- 5.3.4 Operator, Operand, and Transform?.- Summary.- Problems.- 6Structure.- 6.1 Structural Relations.- 6.1.1 Structural Links.- 6.1.2 Structural Relation Directions.- 6.1.3 Unidirectional Structural Link.- 6.1.4 OPD Sentences.- 6.1.5 The Reciprocity of a Structural Relation.- 6.1.6 Null Tags and Their Default OPL Reserved Phrases.- 6.1.7 Structural Relations as Static Verbs.- 6.2 Participation Constraints and Cardinality.- 6.2.1 Participation Constraints.- 6.2.2 Parameterized Participation Constraints.- 6.2.3 Range Participation Constraints.- 6.2.4 Shorthand Notations and Reserved Phrases.- 6.2.5 Cardinality.- 6.2.6 Participation Constraints in Procedural Relations.- 6.3 The Distributive Law and Forks.- 6.3.1 Forks.- 6.3.2 Fork Degree.- 6.3.3 Fork Comprehensiveness.- 6.4 The Transitivity of Structural Relations.- 6.5 The Four Fundamental Structural Relations.- Summary.- Problems.- 7Aggregation and Exhibition.- 7.1 Aggregation-Participation: Underlying Concepts.- 7.1.1 Aggregation-Participation as a Tagged Structural Relation.- 7.1.2 The Aggregation-Participation Symbol.- 7.1.3 Sets and Order.- 7.1.4 Aggregate Naming.- 7.1.5 Aggregating Processes.- 7.2 Aggregation Hierarchy and Comprehensiveness.- 7.2.1 Aggregation Hierarchy.- 7.2.2 Aggregation Comprehensiveness.- 7.2.3 Parameterized Participation Constraints.- 7.2.4 Participation Level and Aggregational Complexity.- 7.3 Exhibition-Characterization: Underlying Concepts.- 7.3.1 The Name Exhibition-Characterization.- 7.3.2 The Exhibition-Characterization Symbol.- 7.3.3 Attribute and Operation Are Features.- 7.3.4 Exhibition Complexity.- 7.4 Features in 00 vs. OPM.- 7.5 The Four Thing-Feature Combinations.- 7.5.1 The Object-Attribute Combination.- 7.5.2 The Object-Operation Combination.- 7.5.3 The Process-Attribute Combination.- 7.5.4 Process-Operation Combination.- 7.6 The Feature Hierarchy.- 7.7 Feature-Related Natural Language Issues.- 7.7.1 Attribute Naming Dilemmas.- 7.7.2 Reserved Objects and the Measurement Unit Reserved Object.- 7.7.3 Continuous Values and Multi-Valued Attributes.- 7.7.4 Mathematical Inequalities in OPM.- 7.8 Reflective Metamodeling of an Attribute.- 7.8.1 The Size of an Attribute.- 7.8.2 The Mode of an Attribute.- 7.8.3 The Touch of an Attribute.- 7.8.4 The Source of a Feature.- 7.8.5 The Operation a Feature Carries.- Summary.- Problems.- 8 Generalization and Instantiation.- 8.1 Generalization-Specialization: Introduction.- 8.1.1 Specialization Symbol and Sentence.- 8.1.2 Process Specialization.- 8.2 Inheritance.- 8.2.1 Feature Inheritance.- 8.2.2 Structural Relations Inheritance.- 8.2.3 Procedural Link Inheritance.- 8.2.4 State Inheritance.- 8.2.5 State Specialization.- 8.2.6 Process Specialization.- 8.2.7 Generalization Complexity.- 8.3 Qualification.- 8.3.1 Qualification Inheritance.- 8.3.2 Multiple Qualification Inheritance.- 8.4 Classification-Instantiation.- 8.4.1 Classes and Instances.- 8.4.2 The Relation Between Instantiation and Specialization.- 8.4.3 The Relativity of Instance.- 8.4.4 Instance Qualification.- 8.4.5 Process Instances.- 8.4.6 Classification Complexity.- 8.5 Modifiers and Instances.- 8.5.1 Natural Language Modifiers and Shortcuts.- 8.5.2 Adjectives and Attributes.- 8.5.3 Adverbs and Operations.- 8.6 Specializations of the Involved Object Set Members.- 8.7 Non-Comprehensiveness.- 8.7.1 Non-Comprehensiveness of Fundamental Structural Relations.- 8.7.2 Non-Comprehensiveness of States and Values.- Summary.- Problems.- 9 Managing Systems’ Complexity.- 9.1 The Need for Complexity Management.- 9.1.1 Middle-Out as the De-Facto Architecting Practice.- 9.1.2 Determining the Extent of Refinement.- 9.1.3 Towards Quantifying Complexity.- 9.2 Divide and Conquer: By Aspects or by Details?.- 9.2.1 Why is Detail Decomposition Good?.- 9.2.2 When Should a New OPD Be Created?.- 9.3 The Attributes of Scaling.- 9.3.1 The Purpose of Scaling.- 9.3.2 The Mode of Scaling.- 9.3.3 Controlling Visibility by In- and Out-Zooming.- 9.3.4 The Distributivity of Procedural Links.- 9.3.5 Unfolding and Folding.- 9.3.6 State Expressing and Suppressing.- 9.3.7 Primary and Secondary Operands.- 9.4 Abstracting.- 9.4.1 Consolidating.- 9.4.2 Zoom consolidating.- 9.4.3 Paths and Path Labels.- 9.4.4 Zoom Consolidating Pitfalls.- 9.4.5 Zoom Consolidating Conditions.- 9.4.6 Fold Consolidating.- 9.5 What Happens to Procedural Links During Abstracting?.- 9.5.1 Procedural Link Precedence.- 9.5.2 Semi-Folding and Semi-Unfolding.- 9.5.3 Selective Semi-Folding and Semi-Unfolding.- 9.6 Looking at the Big Picture: The System Map and the OPM Construct Pairs.- Summary.- Problems.- III Building Systems with OPM.- 10 Systems and Modeling.- 10.1 Defining Systems.- 10.1.1 Some Existing Definitions.- 10.1.2 Function.- 10.1.3 The Various Functions of Stone.- 10.2 System Defined.- 10.2.1 System as a Relative Term.- 10.2.2 System as a Subjective Term.- 10.2.3 The Function of Naturaland Artificial Systems.- 10.3 Goal, Concept, and Function.- 10.3.1 The Intent and Goal of Artificial Systems.- 10.3.2 Telling System Function and Dynamics Apart.- 10.3.3 Function, Structure, and Behavior.- 10.4 System Architecture.- 10.4.1 Function vs. Dynamics.- 10.4.2 The Concept Behind a System.- 10.4.3 The Origin and Essence of Systems.- 10.5 Objects, Systems, and Products.- 10.5.1 Product Defined.- 10.5.2 The Object-System-Product Hierarchy.- 10.5.3 Goods, Services, and Projects.- 10.6 Documenting Functions of the System Architecture.- 10.6.1 The Function Hierarchy.- 10.6.2 Function Boxes and Function Sentences.- 10.6.3 Functionality.- 10.7 From Systems to Models.- 10.7.1 Some Model Definitions.- 10.7.2 Model Defined.- 10.8 Modeling Paradigms.- 10.8.1 Natural Language as a Modeling Tool.- 10.8.2 Mathematical and Symbolic Modeling.- 10.8.3 Graphic Modeling and Knowledge Representation.- 10.9 Reflective Metamodeling.- Summary.- Problems.- 11 System Lifecycle and Evolution.- 11.1 System Lifecycle.- 11.1.1 Lifecycle of Artificial Systems.- 11.1.2 Software and Product Development Processes.- 11.2 Systems Analysis and the Scientific Method.- 11.3 Categorization vs. Interdisciplinarity.- 11.4 System Engineering and the Role of the System Architect.- 11.5 An OPM Model of System Lifecycle Phases.- 11.5.1 Top-Level Description of System Evolution.- 11.5.2 Initiating the System.- 11.5.3 Developing the System.- 11.5.4 Analyzing.- 11.5.5 The Refining-Abstracting Cycles.- 11.5.6 Designing.- 11.5.7 The Waterfall Model vs. Iterative and Incremental Development.- 11.5.8 Deploying the System.- 11.6 Zooming into Analyzing.- 11.7 Zooming into Designing and Implementing.- 11.8 From Design to Implementation.- Summary.- Problems.- 12 States and Values.- 12.1 State-specified Objects and Links.- 12.1.1 Initial, Ultimate and Default States.- 12.1.2 The Transformation Attribute of a Process.- 12.1.3 Object as a Role Player for State.- 12.1.4 State Maintaining Processes.- 12.1.5 Sentences and Phrases of States and Values.- 12.1.6 Single Value Sentence.- 12.2 Telling States Apart from Values.- 12.3 Metamodeling the Attributes of Value and Their States.- 12.3.1 Numeric and Symbolic Values.- 12.3.2 Mapping Object States onto Attribute Values.- 12.4 Compound States and State Space.- 12.4.1 The Attribute Feasibility Matrix.- 12.4.2 Logical Compound States.- Summary.- Problems.- 13 Advanced OPM Concepts.- 13.1 Real-Time Issues.- 13.1.1 Sequential vs. Parallel Process Execution.- 13.1.2 Process Synchronization.- 13.1.3 Events.- 13.1.4 Chronon and Event.- 13.1.5 Basic Triggering Event Types.- 13.2 Process and State Duration.- 13.3 Processing states.- 13.4 Probability in Procedural Relations.- 13.5 Scope and Name Disambiguation.- 13.5.1 The Fundamental DAG.- 13.5.2 Scope of an Object.- 13.6 The Reserved Words “of” and “which”.- 13.6.1 The Reserved Word “of” and the Dot Operator.- 13.6.2 Using “of” with Tagged Structural Relations.- 13.6.3 The Reserved Word “which”.- 13.6.4 Operation: A Process Without Side Effect.- 13.7 Structure-Related Issues.- 13.7.1 Transitivity Strength.- 13.7.2 Hamiltonian Distance.- 13.7.3 The Fractal Relation.- 13.7.4 Covariance and Contravariance.- 13.8 OPM Metamodeling Issues.- 13.8.1 AMetamodelofThing.- 13.8.2 The Specialization-Specification Hierarchy.- 13.8.3 A Refined Generic Processing Model.- 13.8.4 Time Exception Handling.- 13.9 The OPM Construct Hierarchy.- Summary.- Problems.- 14 Systems Theory.- 14.1 The Informatics Hierarchy.- 14.1.1 Computers Are Climbing the Informatics Hierarchy.- 14.1.2 Knowledge and Understanding.- 14.2 Ontology.- 14.3 General Systems Theory.- 14.3.1 A Brief History of General Systems Theory.- 14.3.2 The Hierarchy of System Levels.- 14.4 Autopoietic vs. Allopoietic Systems.- 14.5 Systems and Humans.- 14.6 Systems Theory Characteristics.- 14.6.1 Previously Defined Characteristics.- 14.6.2 System, Environment and Beneficiaries.- 14.6.3 Control and Feedback.- 14.7 Classical Physics vs. Quantum Theory.- 14.7.1 Visualization.- 14.7.2 Causality.- 14.7.3 Locality.- 14.7.4 Self-Identity.- 14.7.5 Objectivity.- 14.8 Objectifying: Converting a Process into an Object.- Summary.- Problems.- 15 Object-Oriented Modeling.- 15.1 The Evolution of System Analysis Methods.- 15.1.1 Data Flow Diagrams.- 15.1.2 Entity-Relationship Diagrams and Their Combination with DFD.- 15.1.3 The Object-Oriented Paradigm.- 15.2 Pre-UML Object-Oriented Methods.- 15.2.1 Object Modeling Technique.- 15.2.2 Object-Oriented Software Engineering.- 15.2.3 Object-Oriented Analysis and Object-Oriented Design.- 15.2.4 Object-Oriented Systems Analysis.- 15.2.5 Object-Oriented Analysis & Design.- 15.2.6 Object Life-Cycles.- 15.2.7 The Booch Method.- 15.2.8 MOSES.- 15.2.9 The Fusion Method.- 15.2.10 OPEN Modeling Language.- 15.3 Unified Modeling Language-UML.- 15.4 Metamodeling in OO Methods.- 15.5 OO Methods - A Summary.- 15.6 Software Development Approaches and Trends.- 15.6.1 Aspect-Oriented Programming.- 15.6.2 The Rational Unified Process.- 15.6.3 Extreme Programming.- 15.6.4 Agile Modeling.- 15.7 Challenges for OO Methods.- 15.7.1 A Historic Perspective.- 15.7.2 The Encapsulation Challenge.- 15.7.3 The Model Multiplicity Challenge.- 15.7.4 Empirical Evidence of the Model Multiplicity Problem.- 15.7.5 The Complexity Management Challenge.- 15.8 OPM and OO.- 15.8.1 The UML 2.0 Initiative.- 15.8.2 Systemantica: an OPM Supporting Tool.- 15.8.3 OPM Applications and Research: Present and Future.- Summary.- Problems.- Appendix A: The ATM System.- References.
£49.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Software Development and Reality Construction
Book SynopsisThe present book is based on the conference Software Development and Reality Construction held at SchloB Eringerfeld in Germany, September 25 - 30, 1988. This was organized by the Technical University of Berlin (TUB) in cooperation with the German National Research Center for Computer Science (GMD), Sankt Augustin, and sponsored by the Volkswagen Foundation whose financial support we gratefully acknowledge. The conference was an interdisciplinary scientific and cultural event aimed at promoting discussion on the nature of computer science as a scientific discipline and on the theoretical foundations and systemic practice required for human-oriented system design. In keeping with the conversational style of the conference, the book comprises a series of individual contributions, arranged so as to form a coherent whole. Some authors reflect on their practice in computer science and system design. Others start from approaches developed in the humanities and the social sciences for understanding human learning and creativity, individual and cooperative work, and the interrelation between technology and organizations. Thus, each contribution makes its specific point and can be read on its own merit. But, at the same time, it takes its place as a chapter in the book, along with all the other contributions, to give what seemed to us a meaningful overall line of argumentation. This required careful editorial coordination, and we are grateful to all the authors for bearing with us throughout the slow genesis of the book and for complying with our requests for extensive revision of some of the manuscripts.Table of ContentsPrologue.- 1 Thinking About Computer Science.- 1.1 Human Questions in Computer Science.- 1.2 Learning from our Errors.- 2 Living Computer Science.- 2.1 The Technical and the Human Side of Computer Science.- 2.2 Hermeneutics and Path.- 2.3 Computing: Yet Another Reality Construction.- 2.4 How Many Choices Do We Make? How Many Are Difficult?.- 2.5 From Scientific Practice to Epistemological Discovery.- 3 On Reality Construction.- 3.1 Self-Organization and Software Development.- 3.2 Software Development as Reality Construction.- 3.3 The Idea that Reality is Socially Constructed.- 4 Learning to Know.- 4.1 Scientific Expertise as a Social Process.- 4.2 How to Communicate Proofs or Programs.- 4.3 Making Errors, Making Sense, Making Use.- 4.4 Artifacts in Software Design.- 5 Computer Science and Beyond.- 5.1 The Denial of Error.- 5.2 Towards a New Understanding of Data Modelling.- 5.3 A Reappraisal of Information Science.- 6 Understanding the Computer Through Metaphors.- 6.1 Perspectives and Metaphors for Human-Computer Interaction.- 6.2 Software Tools in a Programming Workshop.- 6.3 Soft Engines — Mass-Produced Software for Working People?.- 6.4 Artificial Intelligence: A Hermeneutic Defense.- 7 Designing for People.- 7.1 Shared Responsibility: A Field of Tension.- 7.2 A Subject-Oriented Approach to Information Systems.- 7.3 Anticipating Reality Construction.- 7.4 On Controllability.- 7.5 Work Design for Human Development.- 8 Epistemological Approaches to Informatics.- 8.1 Truth and Meaning Beyond Formalism.- 8.2 Informatics and Hermeneutics.- 8.3 Language and Software, or: Fritzl’s Quest.- 8.4 Activity Theory as a Foundation for Design.- 8.5 Reflections on the Essence of Information.- Epilogue.- List of Authors.
£66.49
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG GKS in der Praxis
Book SynopsisDieses Buch richtet sich an Leser, die Anwendungsprogramme mit zweidimensionaler Graphik auf Basis der GKS-Norm entwickeln wollen. GKS hat spatere Graphik-Standards stark beeinflusst und ist als zweidimensionale Programmschnittstelle nach wie vor aktuell. Viele graphische Anwendungsprogramme verdanken ihre Langlebigkeit und Portierbarkeit GKS. Sie wurden haufig auf speziellen Graphik-Terminals entwickelt und laufen heute - mit Hilfe aktualisierter GKS-Implementierungen - auf Workstations und X-Terminals. Die zweite Auflage wurde vollstandig uberarbeitet. Zusatzlich zur FORTRAN-Sprachschale wurde die C-Sprachschale aufgenommen. Die mehrjahrigen Erfahrungen, die aus dem Zusammenspiel von neuen GKS-Anwendungsprogrammen und der Weiterentwicklung der GKS-Implementierung "newGKS" stammen, machen das Buch zu einem aktuellen Ratgeber fur die Praxis.Table of ContentsI : Einleitung.- 1. Grundkonzepte von GKS.- Worum geht es in diesem Buch? — Klärung der wichtigsten GKS-Begriffe und der Level-Struktur.- 2. Sprachanbindungen FORTRAN und C.- Abbildung der GKS-Datentypen auf real existierende Datentypen in FORTRAN und C — Baukastenprinzip für die Namen der GKS-Funktionen in FORTRAN.- 3. Für ganz Eilige.- Was man mindestens braucht, um mit GKS arbeiten zu können — Ein paar „Kochrezepte“ im Vorgriff auf spätere Kapitel.- II : Level 0a.- 4. Polyline-Ausgabe.- Am Anfang war der Strich — Liniengraphiken mit GKS — Normalisierungstransformation, NDC Space und Clipping — Attributkonzept von GKS: Bundles, Individual Attributes und Aspect Source Flags—Attribute des Polyline.- 5. Workstations.- Workstation als Abstraktion eines graphischen Ein-/Ausgabegerätes — Benutzung der Erfragefunktionen — Workstation-Attribute: Workstation-Transformation, Bundles, Farbe.- 6. Kontextregeln und Fehlerbehandlung.- Was beliebt, muß nicht erlaubt sein — Definition des Operating State — Fehlervermeidung — Standard-Fehlerbehandlung — Definition eigener Fehlerroutinen — Die „Notbremse“ in GKS.- 7. Polymarker-Ausgabe.- Von Sternchen, Bäumen und Kraftwerken— Das zweite Ausgabe-Primitiv in GKS und seine Attribute.- 8. Textausgabe.- Bilder mit tausend Worten — Komfortable Beschriftungen: von Schriftarten, Winkeln und Ausrichtungen — Wie man Beschriftungen und Legenden sauber positioniert, umrandet oder hinterlegt.- 9. Fill-Area-Ausgabe.- Vom Innenleben der Flächen — Umrandungen, ausgewählte Schraffuren und selbstgemachte Muster.- 10. Cell-Array-Ausgabe.- Von Schachbrettern bis zur Ausgabe von Photos oder „synthetischen Bildern“ — Das Rastergraphik-Primitiv in GKS.- 11. Pixel-Rückgabe.- Einmal Bildschirm und zurück — Funktionen zum Lesen von Rasterbildern — Pattern-Generierung aus anderen GKS-Primitiven.- 12. Zwei „Hintertüren“: GDP und Escape.- Grauzone des Standards: Kreise, Ellipsen und Interpolationskurven — Definition des Data Record und seiner Hilfsroutinen — Ansteuerung nicht genormter Kontrollfunktionen.- 13. Portabilität von GKS-Anwendungen.- Grenzen der Portabilität — Abhängigkeit von der GKS-Implementierung — Abhängigkeit von der Workstation: z.B. Probleme der Farbmischung, Unterschiede zwischen Rastergeräten und anderen Geräten.- 14. Bilddateien.- Handhabung von GKS-Metafiles und Programmierung eines Interpreters — Portabilität von GKS—Metafiles — Zusammenspiel GKS und CGM.- III : Level 1a.- 15. Segmente.- Der Teil und das Ganze — anwendungsspezifische Bildstrukturierung — graphische Objekte.- 16. Dynamische Bildänderungen.- Vermeidung ungewollter Bildänderungen — Kontrolle der Bildregenerierungen — Realisierung von Bildregenerierungen.- 17. Segment-Attribute.- Segmenttransformation: Wie die Bilder laufen lernen — Vorder- und Hintergründiges besorgt die Segmentpriorität— Spannend: Realisierung der Segmentmanipulationen in GKS.- IV : Level 2a.- 18. Kopieren von Segmenten.- Vom Baum zum Wald — Der Workstation-unabhängige Segmentspeicher — „Hardcopy“ auf verschiedene Typen von Bilddateien — Segmente als selbstdefinierte Symbole.- V : Level 0b.- 19. Eingabe für Einsteiger.- Keine Angst vor der Eingabe — Wie programmiert man eine Ausschnittsvergrößerung mit fünf Programmzeilen?.- 20. Eingabemodell.- Von Mäusen und Menschen — Ein bißchen Theorie muß manchmal sein — Trigger, Measure, Prompt und Echo — Die Eingabebetriebsarten in GKS.- 21. Locator-Request-Eingabe.- Im Zeichen des Fadenkreuzes — Endlich wieder Praxis — Noch einmal Koordinatensysteme — Gummibänder und Rändelschrauben.- 22. Stroke-Request-Eingabe.- Eine durchaus notwendige GKS-Funktion — Sieben auf einen Streich.- 23. Valuator-Request-Eingabe.- „Werte“ von Schiebereglern und Drehknöpfen — Simuliert oder echt.- 24. Choice-Request-Eingabe.- Wer die Wahl hat, hat die Qual — Funktionstasten und Menüeingabe: alphanumerisch oder graphisch.- 25. String-Request-Eingabe.- Zwiegespräch mit dem Rechner — Manchmal muß man auch schlichten Text eingeben — Vorbelegte Texte und wie man sie editieren kann.- VI : Level 1b.- 26. Pick-Request-Eingabe.- Erkenne Dein Segment: Grundlage interaktiver Bildmanipulationen — Segmente und Pick Identifier—Auswahlkriterien.- VII : Levels 0c, 1c und 2c.- 27. Sample-Eingabe.- Heimliche Lauscher — Programmabfragen ohne Benutzereingriff.- 28. Event-Eingabe.- Ziehe eine Ereigniskarte! — Parallel laufende Ein-/Ausgabe — Die Input Queue und wie man sie verwaltet.- VIII : Anhang.- A. Die C-Sprachanbindung zu GKS.- „Include“-Dateien und eine Liste aller GKS-Funktionen.- B. Die FORTRAN-Subset-Sprachanbindung zu GKS.- GKS für unsere „alten Kleinen“ — Eine Liste aller GKS-Funktionen, deren Name und Parameterliste geändert werden muß.- C. Begriffserklärungen.- Das GKS-Wörterbuch — Kurzerklärungen der wichtigsten GKS-Begriffe.- D. Nützliche Hilfen.- Wie man sich mit wenig Aufwand das Leben mit GKS erleichtern kann.- E. Voreinstellungen.- F. Fehlermeldungen.- Verzeichnis der GKS-Funktionen.
£44.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Requirements Engineering
Book SynopsisThis textbook provides a comprehensive and well-structured introduction to the fundamentals, principles, and techniques of requirements engineering (RE). It presents approved techniques for eliciting, negotiating, and documenting as well as validating, and managing requirements for software-intensive systems. The various aspects of the process and the techniques are illustrated using numerous examples based on extensive teaching experience and industrial collaborations.The book is structured in five parts. Part I Fundamentals and Framework provides a comprehensive introduction to the fundamentals of RE, illustrates why it is a critical success factor for any software development project, and describes different ways of implementing it in an organization and its role in different software engineering process models. Part II Requirements Engineering Context explains the essential role and influence of the RE context on system requirements, defines basic terms,and introduces the concept of context perspectives to support context consideration. Part III Core Activities describes requirements elicitation, documentation, and negotiation and conflict resolution strategies. Part IV Requirements Artefacts explains the management of goals, scenarios, and solution-oriented requirements, including methodologies like i* and KAOS. Eventually, Part V Cross-Sectional Activities details four validation and three management activities.This second edition of Pohl's widely used and trusted textbook provides a considerable number of updates, places a stronger focus on the consideration of the context, puts a stronger emphasis on conflict resolution, and includes new, expanded and revised techniques. The presentation aims at professionals, students, and lecturers in systems and software engineering or business applications development. Professionals such as project managers, software architects, systems analysts, and software engineers will benefit in their daily work from the didactically well-presented combination of validated procedures and industrial experience. Students and lecturers will appreciate the comprehensive description of sound fundamentals, principles, and techniques, which is completed by a huge, commented list of references for further reading. Lecturers will find additional teaching material on the book's website, www.requirements-book.com.
£71.24
Springer Transactions on Pattern Languages of Programming V
Book SynopsisA Pattern Language for Engineering Software for the Cloud.- An Extended Pattern Collection for Blockchain-based Applications.- Anti-Patterns and Code Smells for Multi-language Systems.- Pattern Language for Lightweight and Interactive Software Analytics Process.- Bridging the Gap Between Business Process Modellers and Domain Experts by Variatility Patterns.- Pattern Discovery and Validation Using Scientific Research Methods.- Configuring Patterns and Pattern Languages for Systemic Inquiry and Design.
£71.24
Springer-Verlag GmbH Nachhaltiges SoftwareEngineering
£38.75
Springer Verlag, Japan Vibrations of Rotating Machinery: Volume 2. Advanced Rotordynamics: Applications of Analysis, Troubleshooting and Diagnosis
Book SynopsisBuilding on the previous volume “Vibrations of Rotating Machinery - Volume 1. Basic Rotordynamics: Introduction to Practical Vibration Analysis,” this book is intended for all practical designers and maintenance experts who are responsible for the reliable manufacturing and operation of rotating machinery. It opens with the dynamics of oil film bearings and their influences on unbalance, vibration resonance and the stability of rotor whirl motion. Subsequently, the book introduces readers to vibration diagnosis techniques for traditional ball bearings and active vibration control from magnetic bearings. Case studies on vibration problems and troubleshooting in industrial turbo machines are then presented and explained, showing rotor designers how to eliminate instability and modify resonance characteristics. Torsional vibration and other coupled vibration phenomena are discussed, and vibration measurement techniques and related signal processing procedures for vibration diagnosis are provided. Our latest three topics are included, covering: (a) the importance of the modeling order reduction (MOR) technique; (b) the approximate evaluation for oil-wheel/whip instability; and (c) a systematic method for shafting-blading coupled vibration analyses. In closing, a 100-question trial test is supplied as an example of the certification of vibration experts based on the ISO standard.Table of ContentsBasics of plain bearings.- Unbalance vibration of a rotor in plain bearings.- Stability of a rotor in plain bearings.- Vibration due to rolling bearings.- Vibration in active magnetic bearing rotor systems.- Case studies of forced vibration problems.- Case studies of self-excited vibration problems.- Torsional vibration and related coupled vibration.- Signal processing for rotor vibration diagnosis.- Trial examination for vibration expert certification.- Rotor vibration analysis program: MyROT.
£170.99
£27.47
£31.50
Lonely Scholar The Dawn of Software Engineering: From Turing to Dijkstra
£19.80
£64.99
£64.99
Springer Engineering Trustworthy Software Systems
Book SynopsisSETSS 2024 School.- What Came First, Mathematics or Computing?.- From Logic to Programming.- Digital Twin Tutorial: The Incubator Case Study.- AI Components for High Integrity, Safety-Critical Human-Cyber-Physical Systems _ A Challenge for Formal Methods.- Testing and Design of Uniform CNF Samplers: A Virtuous Cycle Enabled by Distribution Testing.- SETSS 2024 Workshop.- Software Engineering Experiences of an Optimist.- Automating Component-Based Embedded Software Construction via Formal Synthesis and LLMs.
£43.99
Skill Recordings Inc Engineering Management for the Rest of Us
£22.49
Skill Recordings Inc Engineering Management for the Rest of Us
£15.19
Pearson Education (US) Living Documentation
Book SynopsisCyrille Martraire (@cyriux on Twitter) is CTO, co-founder, and partner at Arolla (@ArollaFr on Twitter), the founder of the Paris Software Crafters community, and a regular speaker at international conferences. Cyrille refers to himself as a developer, since he has designed software since 1999 for startups, software vendors, and corporations as an employee and as a consultant. He has worked and led multiple significant projects, mostly in capital finance, including the complete rewriting of a multilateral trading facility of interest rate swaps. In most cases he has to start from large and miserable legacy systems. He's passionate about software design in every aspect: test-driven development, behavior-driven development, and, in particular, domain-driven design. Cyrille lives in Paris with his wTable of ContentsIntroduction Chapter 1: Rethinking Documentation A Tale from the Land of Living Documentation Why This Feature? Tomorrow You Won’t Need This Sketch Anymore Sorry, We Don’t Have Marketing Documents! You Keep Using This Word, but This Is Not What It Means Show Me the Big Picture, and You’ll See What’s Wrong There The Future of Living Documentation Is Now The Problem with Traditional Documentation Documentation Is Not Cool, Usually The Flaws of Documentation The Agile Manifesto and Documentation It’s Time for Documentation 2.0 Documentation Is About Knowledge The Origination of Knowledge How Does Knowledge Evolve? Why Knowledge Is Necessary Documentation Is About Transferring Knowledge Focusing on What Matters Core Principles of Living Documentation Reliable Low Effort Collaborative Insightful How Ants Exchange Knowledge: Stigmergy Most Knowledge Is Already There Internal Documentation Internal Versus External Documentation Examples of Internal and External Documentation Preferring Internal Documentation In Situ Documentation Machine-Readable Documentation Specific Versus Generic Knowledge Learning Generic Knowledge Focusing on Specific Knowledge Ensuring Documentation Accuracy Accuracy Mechanism for Reliable Documentation When Documentation Does Not Need an Accuracy Mechanism Big Questions to Challenge Your Documentation Questioning the Need for Documentation at All Need for Documentation Because of Lack of Trust Just-in-Time Documentation, or a Cheap Option on Future Knowledge Questioning the Need for Traditional Documentation Minimizing Extra Work Now Minimizing Extra Work Later Making an Activity Fun Documentation Reboot Living Documentation: The Very Short Version Approaches to Better Documentation A Gateway to DDD Domain-Driven Design in a Nutshell Living Documentation and Domain-Driven Design When Living Documentation Is an Application of DDD A Story of Mutual Roots Between BDD, DDD, XP, and Living Documentation Summary Chapter 2: Behavior-Driven Development as an Example of Living Specifications BDD Is All About Conversations BDD with Automation Is All About Living Documentation Redundancy and Reconciliation The Anatomy of Scenarios in a File The Intent of a Feature File Feature File Scenarios Specification Details Tags in Feature Files Scenarios as Interactive Living Documentation Scenarios in Boring Paper Documents A Feature File Example A Canonical Case of Living Documentation in Every Aspect Going Further: Getting the Best of Your Living Documentation Property-Based Testing and BDD Summary Chapter 3: Knowledge Exploitation Identifying Authoritative Knowledge Where Is the Knowledge Now? Single-Source Publishing Some Examples of Producing a Published Document A Published Snapshot with a Version Number Remarks Setting Up a Reconciliation Mechanism (aka Verification Mechanism) Running Consistency Tests Reconciliation on the Test Assumptions Published Contracts Consolidating Dispersed Facts How Consolidation Works Consolidation Implementation Considerations Ready-Made Documentation The Power of a Standard Vocabulary Linking to Standard Knowledge More Than Just Vocabulary Using Ready-Made Knowledge in Conversation to Speed Up Knowledge Transfer Tools History Summary Chapter 4: Knowledge Augmentation When Programming Languages Are Not Enough Documentation Using Annotations Annotations as More Than Tags Describing the Rationale Behind Decisions Embedded Learning Documentation by Convention Living Documentation in Legacy Code with Conventions Documenting the Conventions Consistently Adhering to Conventions The Limitations of Conventions External Documentation Methods Sidecar Files Metadata Databases Designing Custom Annotations Stereotypical Properties Stereotypes and Tactical Patterns Using Meaningful Annotation Package Names Hijacking Standard Annotations Standard Annotation: @Aspect and Aspect-Oriented Programming Annotation by Default or Unless Necessary Handling Module-Wide Knowledge Dealing with Many Kinds of Modules Module-Wide Augmentation In Practice Intrinsic Knowledge Augmentation Machine-Accessible Documentation Recording Your Rationale What’s in a Rationale? Making the Rationale Explicit Beyond Documentation: Motivated Design Avoid Documenting Speculation Skills as Pre-Documented Rationales Recording the Rationale as an Enabler for Change Acknowledging Your Influences (aka Project Bibliography) Declaring Your Style Commit Messages as Comprehensive Documentation Commit Guidelines Summary Chapter 5: Living Curation: Identifying Authoritative Knowledge Dynamic Curation Examples of Dynamic Curation Editorial Curation Low-Maintenance Dynamic Curation One Corpus of Knowledge for Multiple Uses Scenario Digests Highlighting the Core Highlighting Inspiring Exemplars Guided Tours and Sightseeing Maps Creating a Sightseeing Map Creating a Guided Tour Creating a Living Guided Tour A Poor Man’s Literate Programming Summing Up: The Curator Preparing an Art Exhibition Selecting and Organizing Existing Knowledge Adding What’s Missing When Needed Accessibility for People Who Can’t Attend and for Posterity Summary Chapter 6: Automating Documentation Living Documents Steps in Creating a Living Document Presentation Rules Living Glossaries How a Living Glossary Works An Example Please! Information Curation for Living Documents Creating a Glossary Within a Bounded Context Case Study of a Living Glossary Living Diagrams Diagrams Assist in Conversations One Diagram, One Story Living Diagrams to Keep You Honest The Quest for the Perfect Diagram Rendering a Living Diagram Visualization Guidelines Example: Hexagonal Architecture Living Diagram Case Study: A Business Overview as a Living Diagram Example: A Context Diagram The Challenges with Automated Generation of Design Documentation Summary Chapter 7: Runtime Documentation Example: Living Services Diagram A Matter of Augmented Code but at Runtime Discovering the Architecture The Magic That Makes This Work Going Further Visible Workings: Working Software as Its Own Documentation Visible Tests Domain-Specific Notation Generating Custom Domain-Specific Diagrams to Get Visual Feedback Example: A Visible Test When Using Event Sourcing A Concrete Example in Code Living Diagrams from Event Sourcing Scenarios Introspectable Workings: Code in Memory as a Source of Knowledge Introspecting with Reflection Introspecting Without Reflection Summary Chapter 8: Refactorable Documentation Code as Documentation Text Layout Coding Conventions Naming as the Primary Documentation Composed Methods: You Need to Name Them Idiomatic Naming Is Contextual Coding Against a Framework Type-Driven Documentation From Primitives to Types Documented Types and Integrated Documentation Types and Associations Types over Comments The Composed Method Fluent Style Using an Internal DSL Implementing a Fluent Interface Fluent Tests Creating a DSTL When Not to Use a Fluent Style Case Study: An Example of Refactoring Code, Guided by Comments Integrated Documentation Type Hierarchy Code Searching Semantics Derived from Actual Usage Using Plain-Text Diagrams Example: Plain-Text Diagrams Diagrams as Code Summary Chapter 9: Stable Documentation Evergreen Content Requirements Are More Stable Than Design Decisions High-Level Goals Tend to Be Stable A Lot of Knowledge Is Less Stable Than It Looks Case Study: A README File Tips for Evergreen Documentation Avoiding Mixing Strategy Documentation with the Documentation of Its Implementation Ensuring Stability Using Perennial Naming Organizing Artifacts Along Stable Axes Linked Knowledge Volatile-to-Stable Dependencies Broken Link Checkers Link Registry Bookmarked Searches Categories of Stable Knowledge Evergreen README Vision Statement Domain Vision Statements Goals Impact Mapping Investing in Stable Knowledge Domain Immersion Investigation Wall Domain Training Live-My-Life Sessions Shadow Users A Long-Term Investment Summary Chapter 10: Avoiding Traditional Documentation Conversations About Formal Documentation Wiio’s Laws The Rule of Three Interpretations Obstacles to Conversations Working Collectively for Continuous Knowledge Sharing Pair Programming Cross Programming Mob Programming The Three Amigos (or More) Event Storming as an Onboarding Process Knowledge Transfer Sessions Continuous Documentation Truck Factor Coffee Machine Communication Idea Sedimentation Throw-Away Documentation On-Demand Documentation Just-in-Time Documentation Provoking Just-in-Time Learning Early Astonishment Report Including Some Upfront Documentation Interactive Documentation Declarative Automation Declarative Style Declarative Dependency Management Declarative Configuration Management Declarative Automated Deployment Machine Documentation Remarks on Automation in General Enforced Guidelines Some Examples of Rules Evolving the Guidelines Enforcement or Encouragement Declarative Guidelines A Matter of Tools Guidelines or Design Documentation? Warranty Sticker Void if Tampered With Trust-First Culture Constrained Behavior Making It Easy to Do the Right Thing Making Mistakes Impossible: Error-Proof API Design Principles for Documentation Avoidance Replaceability First Consistency First Example: The Zero Documentation Game Continuous Training Summary Chapter 11: Beyond Documentation: Living Design Listening to the Documentation What Happened to the Language of the Domain? Programming by Coincidence Design Deliberate Decision Making “Deliberate Decision” Does Not Mean “Upfront Decision” Documentation Is a Form of Code Review Shameful Documentation Example: Shameful Documentation The Troubleshooting Guide Shameful Code Documentation Documenting Errors or Avoiding Errors? Documentation-Driven Development Documentation to Keep You Honest The Apparent Contradiction Between Documentation Driven and “Avoiding Documentation” Abusing Living Documentation (Anti-pattern) Procrastination by Living Documentation Biodegradable Documentation Hygienic Transparency Diagnostic Tools Positive Pressure to Clean the Inside Design Skills Everywhere Reporter Porter Interviewing Mr. Living Doc Doc Summary Chapter 12: Living Architecture Documentation Documenting the Problem An Example of a Problem Brief Explicit Quality Attributes Stake-Driven Architecture Documentation Explicit Assumptions Brevity Suggests Quality Evolving Continuously: Change-Friendly Documentation Decision Logs An Example of a Structured Decision Log Journals or Blogs as Brain Dumps Fractal Architecture Documentation The Architecture Landscape Architecture Diagrams and Notations An Architecture Codex Transparent Architecture Architectural Annotations Enforced Design Decisions Architectural Reality Check Test-Driven Architecture Quality Attributes as Scenarios Quality Attributes at Runtime in Production Other Quality Attributes From Fragmented Knowledge to Usable Documentation Small-Scale Simulation as Living Architecture Documentation The Desirable Properties of a Small-Scale Simulation Techniques to Simplify a System Building a Small-Scale Simulation Is Half the Fun System Metaphor Explaining a System by Talking About Another System Useful Even Without Prior Knowledge A Metaphor in Another Metaphor Summary Chapter 13: Introducing Living Documentation to a New Environment Undercover Experiments Official Ambition New Things Have to Work and Have to Be Accepted Starting Gently Going Big and Visible Case Study: A Tale of Introducing Living Documentation to a Team Member Conversations First The First Debriefing Time to Talk About the Code Decision Logs and Guided Tours Common Objections to Living Documentation Annotations Are Not Meant for Documentation “We Do It Already” Migrating Legacy Documentation into Living Documentation Marginal Documentation Case Study: Introducing Living Documentation in a Batch System README and Ready-Made Documentation Business Behavior Visible Workings and a Single Source of Truth Integrated Documentation for Developers and a Living Glossary for Other Stakeholders A Living Diagram to Show the Design Intent Contact Information and Guided Tours Microservices Big Picture Selling Living Documentation to Management Starting with an Actual Problem A Living Documentation Initiative Contrasting the Current Situation with the Promise of a Better World to Match People’s Aspirations Compliance in Spirit Case Study: Compliance with ITIL The ITIL Example Summary Chapter 14: Documenting Legacy Applications Documentation Bankruptcy Legacy Application as Fossilized Knowledge Archeology Bubble Context Superimposed Structure Highlighted Structure External Annotations Biodegradable Transformation Example: Strangler Application Example: Bankruptcy Agree on Maxims Enforced Legacy Rules Summary Chapter 15: Extra: Conspicuous Documentation Focusing on Differences How Is Your Lemon? Tell Only What’s Unknown Segmenting by Known Audience Flexible Content Low-Fidelity Content Visual Facilitation Search-Friendly Documentation Concrete Examples, Together, Now In Practice Fast Media and Prior Preparation Together, Now Stack Overflow Documentation Affordable and Attractive Specs Digest Easter Eggs and Fun Anecdotes Promoting News Unorthodox Media Maxims Posters and Domestic Ads Meme-Based Posters Information Radiators Humor and Cheap Media Goodies/Swag Comics Infodecks Visualizations and Animations LEGO Bricks Furniture 3D Printed Stuff Summary 9780134689326 TOC 4/17/2019
£34.19
Pearson Education Effective Software Architecture
Book SynopsisOliver Goldman leads the AEC software architecture practice at Autodesk. He has thirty years of industry experience delivering innovative products in distributed real-time interaction, scientific computing, financial systems, mobile application development, and cloud architecture at Adobe and other employers. He holds degrees in computer science from Stanford University, holds more than 50 US software patents, and has previously contributed to Dr. Dobb's Journal.
£32.39
Taylor & Francis Ltd Multiagent Systems
Book SynopsisMultiagent systems (MAS) are one of the most exciting and the fastest growing domains in the intelligent resource management and agent-oriented technology, which deals with modeling of autonomous decisions making entities. Recent developments have produced very encouraging results in the novel approach of handling multiplayer interactive systems. In particular, the multiagent system approach is adapted to model, control, manage or test the operations and management of several system applications including multi-vehicles, microgrids, multi-robots, where agents represent individual entities in the network. Each participant is modeled as an autonomous participant with independent strategies and responses to outcomes. They are able to operate autonomously and interact pro-actively with their environment. In recent works, the problem of information consensus is addressed, where a team of vehicles communicate with each other to agree on key pieces of information that enable them to work tTable of ContentsPreface. Introduction. Theoretical Background. Distributed Intelligence in Power Systems. Consensus for Heterogeneous Systems with Delays. Secure Control of Distributed Multiagent Systems. Advanced Consensus Algorithms. Cooperative Control of Networked Power Systems. Dynamic Graphical Games. References. Index.
£175.75
Taylor & Francis Inc Agent Culture Humanagent interaction in A
Book SynopsisThis volume began with a workshop of the Austrian Research Institute for Artificial Intelligence held in 2001. Concerned with embodied agents as cultural objects and subjects, the book is divided into three parts. It begins by drawing attention to the cultural embeddedness of technology in general and agent design in particular, as a reminder that there cannot be an agent without culture. The section concludes that agent systems not only can be used to establish a shared understanding, but can also promote the diversity of understanding and identity.Part II consists of chapters dealing with design concepts and reflections on cross-cultural believability. It suggests how an agent''s behavior may be adapted to the cultural context of application while maintaining consistency and describes an approach based on the OCC model--which is widely known and used in the embodied agents research community. Next, the section suggests that Affect Control Theory--an empirically-based, mathemaTable of ContentsContents: Preface. S. Payr, Introduction. Part I: Culture(s) and Agent Technology. P. Sengers, The Agents of McDonaldization. L. Heaton, Designing Technology, Designing Culture. K. Dautenhahn, Socially Intelligent Agents in Human Primate Culture. Part II: Design for Cross-Cultural Believability. F. de Rosis, C. Pelachaud, I. Poggi, Transcultural Believability in Embodied Agents: A Matter of Consistent Adaptation. J.M. Allbeck, N.I. Badler, Creating Embodied Agents With Cultural Context. D.R. Heise, Enculturating Agents With Expressive Role Behavior. H. Maldonado, B. Hayes-Roth, Toward Cross-Cultural Believability in Character Design. B. Morel, Recruiting a Virtual Employee: Adaptive and Personalized Agents in Corporate Communication. B. Krenn, B. Neumayr, E. Gstrein, M. Grice, Lifelike Agents for the Internet: A Cross-Cultural Case Study. Part III: Agents for Intercultural Communication. K. Isbister, Building Bridges Through the Unspoken: Embodied Agents to Facilitate Intercultural Communication. H. Nakanishi, T. Ishida, K. Isbister, C. Nass, Designing a Social Agent for a Virtual Meeting Space. E.M. Raybourn, Designing Intercultural Agents for Multicultural Interactions.
£142.50
Taylor & Francis Ltd HighPerformance Web Databases
Book SynopsisAs Web-based systems and e-commerce carry businesses into the 21st century, databases are becoming workhorses that shoulder each and every online transaction. For organizations to have effective 24/7 Web operations, they need powerhouse databases that deliver at peak performance-all the time. High Performance Web Databases: Design, Development, and Deployment arms you with every essential technique from design and modeling to advanced topics such as data conversion, performance tuning, Web access and interfacing legacy systems, and securityTable of ContentsDatabase Planning and Getting Started. Information Gathering and Analysis. Managing Business Rules. Performance Modeling Methods. Performance Design and Development. Database Integrity and Quality. Distributed Databases, Portability, and Interoperability. Database Integration with the Internet and the Web. Data Migration, Conversion, and Legacy Applications. Performance Tuning. Data Administration and Operations. Data Base Security.
£123.50
Taylor & Francis Ltd Outsourcing Software Development Offshore
Book SynopsisIn Offshore Software Development: Making It Work, hands-on managers of Offshore solutions help you answer these questions:What is Offshore and why is it an IT imperative? What do you need to do to successfully evaluate an Offshore solution? How do you avoid common pitfalls? How do you confront security and geopolitical risk? How do you handle issues related to displaced workers? The author applies her considerable experience in the analysis of such Offshore issues as the financial growth of the Offshore industry, keys to success in initiating a program, choosing and managing vendors, risk mitigation, and employee impacts. A detailed program checklist outlines the steps for successful Offshore execution, providing real-world exposure and guidance to a movement that has become a fixture in the IT realm. About the AuthorTandy Gold is a 20-year veteran of the technology industry who is focused on entrepreneuTable of ContentsTHE OFFSHORE IMPERATIVE. Crunching the offshore numbers: What the financials portend. Getting started in offshore. Choosing an offshore vendor: A look at the offshore maturity model. A HANDS-ON OFFSHORE PROGRAM MANAGEMENT TOOLKIT. Choosing locations for offshore: Country pros and cons. The offshore program checklist: What's really different? THE OFFSHORE PROGRAM CHALLENGE. Managing employee impact: Villain or savior? Managing risk through an offshore network security architecture. Putting it all together: Top 10 Do's and Don'ts of Offshore.
£99.75
Taylor & Francis Inc Patterns Models and Application Development A C
Book SynopsisPatterns, Models, and Application Development, a new book from two experts in C++, integrates a methodology for program development and covers three main categories: object modeling as a program design tool, design patterns and their modeling in C++ language structures, and a discussion of the implementation of PC hardware-related features. It addresses the gap between the ability to code and the ability to program.Table of ContentsIntroduction. Fundamentals of Systems Engineering. System Description and Specification. Foundations of Object-Oriented Systems. Object-Oriented Analysis. Object-Oriented Design. Indirection. C++ Object-Oriented Constructs. Reusability. Static Inheritance Constructs. Dynamic Binding Constructs. Object Composition Constructs. Class Patterns and Templates. Multifile Programs. Bibliography. Index. NTI/Sales Copy
£133.00
Baywood Publishing Company Inc Perspectives on Software Documentation Inquiries
Book SynopsisThis book is designed to address the randomness of the literature on software documentation. As anyone interested in software documentation is aware, the field is highly synthetic; information about software documentation may be found in engineering, computer science training, technical communication, management, education and so on. Perspectives on Software Documentation contains a variety of perspectives, all tied together by the shared need to make software products more usable.Table of ContentsIntroduction: Research Sources in Software Documentation Thomas T. BarkerPART 1: INQUIRIESEducation and Research Prologue for Teaching Software Documentation Henrietta Nickels Shirk Style and Software Documentation: A Central Concern Cynthia L. SelfeThe Influence of Cognitive Science A Schematic Approach to User Knowledge and Software Documentation Production Jay Lieberman Cognitive Writing: A New Approach to Organizing Technical Material Paula BellIssues of Design Software Documentation and Human-Factors Design Joe Chew The Hidden Effects of Computer Engineering on User Documentation Andrew Oram Problems of Form in Software Documentation Nancy E. CohenPART 2: INNOVATIONS Managing Software Documentation Building and Managing a Documentation Project Team D. Michael Willoughby Side-by-Side: A Model for Simultaneous Documentation and System Development Doann Houghton-Alico Automated Documentation: A Complete Cycle Helen D. KleinImproving the Quality of Software Documentation Process Implementation—The Key to Quality Documentation Scott E. Hubbard Information Product Testing: An Integral Part of Information Development Roger A. Grice and Lenore S. RidgwaySoftware Documentation of the Future—Online Writing and Editing Online Information Marlene C. Semple Online Reference System Design and Development Bruno Petrauskas Index Contributors
£123.50
Pearson Education Designing the User Interface Strategies for Effective HumanComputer Interaction Global Edition
£56.04
Taylor & Francis Ltd Interpreting the CMMI R
Book SynopsisWritten by experienced process improvement professionals who have developed and implemented computer based systems in organizations around the world, Interpreting the CMMI: A Process Improvement Approach, Second Edition provides you with specific techniques for performing process improvement. Employing everyday language and supported by real world examples, the authors describe the fundamental concepts of the CMMI model, covering goals, practices, architecture, and definitions, and provide a structured approach for implementing the concepts of the CMMI into any organization. They discuss getting started in the process improvement effort, as well as how to continue on to high maturity. They walk you through the myriad of charts and graphs involved in statistical process control and offer practical recommendations. They also provide information on blending different process improvement initiatives into organizational programs (including agile development), Table of ContentsSection I: Introduction.Introduction. Beginning the Journey. Structure of the CMMI. CMMI Representations. Section II: CMMI Process Areas.Understanding Maturity Level 2: Managed. Understanding Maturity Level 3: Defined. Understanding Maturity Level 3: Defined. Understanding Maturity Level 4: Quantitatively Managed. Understanding Maturity Level 5: Optimizing. Section III: Implementation.Alignment of Multiple Process Improvement Initiatives.Is CMMI Right for Small Organizations? Establishing Your Process Improvement Organization.People, Roles, and Responsibilities.Documentation Guidelines.Documentation Guidelines.Planning and Tracking the Effort.Defining Processes, Procedures, Policies, and Charters.Section IV: Measurement.Measurement within the CMMI.A Boatload of Metrics.A Boatload of Metrics.Statistical Process Control. A High-Maturity Perspective.Section V: Appraisals.Appraisals Using the CMMI.The SCAMPI A Approach.Those Damn PIIDs!Section VI: Odds and Ends.Agile and the CMMI.Closing Thoughts.References and Further Reading.Section VII: Appendices.Appendix A: Comparing CBI-IPI to SCE to SCAMPI.Appendix B: Myths and Legends of the CMMI.Appendix C: Checklists for Pilot Projects. Appendix D: Organizational In-Brief to SCAMPI Team.Index.
£114.00
Taylor & Francis Ltd Applied Software Product Line Engineering
Book SynopsisOver the last decade, software product line engineering (SPLE) has emerged as one of the most promising software development paradigms for increasing productivity in IT-related industries. Detailing the various aspects of SPLE implementation in different domains, Applied Software Product Line Engineering documents best practices with regard to system development. Expert contributors from academia and industry come together and focus on core asset development, product development, and management, addressing the process, technical, and organizational issues needed to meet the growing demand for information. They detail the adoption and diffusion of SPLE as a primary software development paradigm and also address technical and managerial issues in software product line engineering. Providing an authoritative perspective of the latest research and practice in SLPE, the text: PTrade ReviewThe book contains a number of chapters on organizational and managerial issues followed by methodologies and processes, technical issues, and industry experiences and case studies. ...Significant research went into the creation of this book. ... . Specific areas I found useful and applicable in my role of project, product, and program management include: *The IDEAL model for managing change *The balanced scorecard *The product management pyramid *The out-of-the-box development model *Security Services for application systems *Discussions on business process management Applied Software Product Line Engineering offers best practices and productivity improvement tips for designing software products. -Ann E. Drinkwater, on StickyMinds.com, October 2010Table of ContentsOrganizational and Managerial Issues. Methodologies and Processes. Technical Issues. Industry Experiences and Case Studies.
£114.00
Taylor & Francis Inc Oracle Embedded Programming and Application
Book SynopsisFocusing on tried and true best practice techniques in cross-technology based Oracle embedded programming, this book provides authoritative guidance for improving your code compilation and execution. Geared towards IT professionals developing Oracle-based Web-enabled applications in PL/SQL, Java, C, C++, .NET, Perl, and PHP, it covers application development from concepts to customization, following a pragmatic approach to design, coding, testing, deployment, and customizationexplaining how to maximize embedded programming practices.Oracle Embedded Programming and Application Development explains application development frameworks using 3GL and 4GL high-level language code as embedded code segments across .NET, Java, and Open Source technologies, in conjunction with SQL and/or PL/SQL and the Oracle RDBMS through version 11gR2. It also: Features pluggable code using parameterized constructs to promote code reuse Explains when to use a partiTrade ReviewTaking an Oracle-centric approach, Lakshman skillfully guides you through the maze of various popular programming languages and environments including .NET, C/C++, Perl, PHP, Java, and even SQL and PL/SQL – not only showing you how they interact with Oracle but also which language is the best fit for a given situation.—John Kanagaraj, Executive Editor, IOUG SELECT Journal Table of ContentsIntroductory Concepts. Embedded Programming—An Oracle-Centric Approach. Feature-Set and Solution-Set Enhancements. Best Practices by way of Design and Development. Programming Languages, Platforms, and Solutions: Best Practices in Terms of Choice and Suitability—How Best Is the "Best"?. Best Practices for Data Structure Management. Best Practices for Robust Error Detection and Handling. Best Practices for Data Management. Best Practices for Application Management. Applying Embedded Programming in the Real World. Application Development Frameworks. Miscellaneous Best Practices. Best Practices in terms of Coding Standards and Troubleshooting.
£180.50
Springer Us An Application Science for MultiAgent Systems 10 Multiagent Systems Artificial Societies and Simulated Organizations
Book SynopsisAn Application Science For Multi-Agent Systems addresses the complexity of choosing which multi-agent control technologies are appropriate for a given problem domain or a given application.Table of ContentsAn Application Science for Multi-Agent Systems; T. Wagner. Coordination Challenges for Autonomous Spacecraft; B.J. Clement, A.C. Barrett. A Framework for Evaluation of Multi-Agent System Approaches to Logistics Network Management; P. Davidsson, F. Wernstedt. Centralized Versus Decentralized Coordination: Two Application Case Studies; T. Wagner, J. Phelps, V. Guralnik. A Complex Systems Perspective on Collaborative Design; M. Klein, H. Sayama, P. Faratin, Y. Bar-Yam. Multi-Agent System Interaction Protocols in a Dynamically Changing Environment; M. Purvis, S. Cranefield, M. Nowostawski, M. Purvis. Challenges to Scaling-Up Agent Coordination Strategies; E.H. Durfee. Roles in MAS: Managing the Complexity of Tasks and Environments; I. Partsakoulakis, G. Vouros. An Evolutionary Framework for Large-Scale Experimentation in Multi-Agent Systems; A. Babanov, W. Ketter, M. Gini. Application Characteristics Motivating Adaptive Organizational Capabilities within Multi-Agent Systems; K.S. Barber, M.T. MacMahon. Applying Coordination Mechanisms for Dependency Relationships under Various Environments; Wei Chen, K. Decker. Performance Models for Large Scale Multi-Agent Systems: A Distributed POMDP-Based Approach; Hyuckchul Jung, M. Tambe. Index.
£46.74
