Search Results - (( Defined (contributors OR contributions) ((pensions plans) OR (pensions law)) ) OR ((( Defined ((distribution operations) OR (distribution conservation)) plan ) OR ( Defined distribution version plans ))))
-
241
Plant engineer's handbook
Published: Butterworth-Heinemann, 2001Elsevier - Click here for accessDescription: 1 online resource (xii, 1189 pages) : illustrations.
eBook -
242
Collaborative genomics projects : a comprehensive guide First edition.
Published: Academic Press is an imprint of Elsevier, 2016Contents: “…Establishing a Data Generation Pipeline and Quality Control MeasuresProper Tracking of Data Generation; Conclusion; References; 6 Pipeline: Data Storage and Dissemination; Introduction; Creation of Centralized Data Management Center; Define Standard Data and Metadata Formats; Collect, Store, and Version Data and Metadata; Implement Quality Control Measures for Submitted Data; Put in Place Appropriate Security and Access Controls; Redistribute Data and Metadata Tailored to Diverse Project Stakeholders and End Users; Conclusion; References; 7 Pipeline: Data Analysis; Introduction.…”Description: 1 online resource.
Elsevier - Click here for access
eBook -
243
Product-focused software process improvement : 8th International conference, PROFES 2007, Riga, Latvia, July 2-4, 2007 : proceedings
Published: Springer, 2007Contents: “…Keynote Addresses -- Software Development and Globalization -- Software Development Globalization from the Baltic Perspective -- Experiences in Applying Agile Software Development in F-Secure -- People Side of IT Globalization -- Global Software Development -- An Industrial Survey of Software Outsourcing in China -- Understanding Lacking Trust in Global Software Teams: A Multi-case Study -- Utilization of a Set of Software Engineering Roles for a Multinational Organization -- Software Process Improvement -- Software Verification Process Improvement Proposal Using Six Sigma -- Software Development Improvement with SFIM -- SPI-KM -- Lessons Learned from Applying a Software Process Improvement Strategy Supported by Knowledge Management -- Organisational Readiness and Software Process Improvement -- Software Process Improvement Through Teamwork Management -- De-motivators of Software Process Improvement: An Analysis of Vietnamese Practitioners' Views -- Software Process Modeling and Evolution -- Defining Software Processes Through Process Workshops: A Multicase Study -- Improving an Industrial Reference Process by Information Flow Analysis: A Case Study -- Connecting the Rationale for Changes to the Evolution of a Process -- Industrial Experiences -- Use of Non-IT Testers in Software Development -- Requirements Management Practices as Patterns for Distributed Product Management -- SPI Consulting in a Level 1 Company: An Experience Report -- Agile Software Development -- On the Effects of Pair Programming on Thoroughness and Fault-Finding Effectiveness of Unit Tests -- An Agile Toolkit to Support Agent-Oriented and Service-Oriented Computing Mechanisms -- Achieving Success in Supply Chain Management Software by Agility -- Software Measurement -- Software Measurement Programs in SMEs -- Defining Software Indicators: A Methodological Framework -- Smart Technologies in Software Life Cycle -- Convertibility Between IFPUG and COSMIC Functional Size Measurements -- A Framework for Measuring and Evaluating Program Source Code Quality -- Software Fault Prediction with Object-Oriented Metrics Based Artificial Immune Recognition System -- Simulation and Decision Support -- Operational Planning, Re-planning and Risk Analysis for Software Releases -- Project Cost Overrun Simulation in Software Product Line Development -- E-Service Architecture Selection Based on Multi-criteria Optimization -- Processes and Methods -- A Component-Based Process for Developing Automotive ECU Software -- A Systematic Approach to Service-Oriented Analysis and Design -- Improving the Problem Management Process from Knowledge Management Perspective -- Workshop -- Experience on Applying Quantitative and Qualitative Empiricism to Software Engineering -- Tutorials -- Using Metrics to Improve Software Testing -- Increase ICT Project Success with Concrete Scope Management -- Agile Software Development: Theoretical and Practical Outlook.…”Description: 1 online resource (xii, 414 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
244
How to validate a pharmaceutical process
Published: Academic Press is an imprint of Elsevier, 2016Contents: “…II: Stage I-Process Development4 Getting Started; Before It All Starts; Example; Getting Started (After the Equipment Specifications); The Validation Master Plan; Standard Operating Procedures (SOPs) Preparation; Quality Programs; Training; Basic Risk Approach; Putting it Together; Notes; 5 Basic Equipment and Utility Qualification; Introduction; Determining the Level of Qualification; Factory Acceptance Test and Site Acceptance Test; Commissioning; Qualification Protocols-Installation Qualification (IQ) and Operational Qualification (OQ); Performance Qualification.…”Description: 1 online resource.
Elsevier - Click here for access
eBook -
245
Hospital and healthcare security Sixth edition.
Published: Butterworth-Heinemann, 2015Contents: “…-- Staff and Line Positions -- Staffing Level Considerations -- References -- Defining Leadership -- Leadership Competencies -- The Security Leadership Role -- Selecting Management -- Succession Planning -- Leadership Development -- Continuous Development -- The Healthcare Security Supervisor -- Selecting Supervisors -- Shift Supervision -- Communication -- Training -- Monitoring of Performance -- Relationship with Officers -- Motivation -- Performance Management -- Performance Documentation -- Handling Problem Employees -- References -- The Security Officer -- Security Officer Authority -- Special Police Commission/Special Constable -- Licensing -- Selecting Security Personnel -- Recruitment -- Selection Criteria -- The Selection Process -- Full-Time Versus Part-Time Security Officers -- Wage Compensation -- Retention -- Performance Expectations -- Positive Reinforcement -- Rules and Regulations -- Disciplinary Action -- References -- Uniforms -- Determining Uniform Style -- Supplying and Maintaining the Uniform -- Use of Firearms -- Considerations in Arming Officers -- Trends in Arming Security Personnel -- Managing the Firearms Program -- Other Security and Defensive Equipment Considerations -- Notepad and Pen -- Communication Devices -- Handcuffs -- Flashlight -- Personal Protective Equipment -- Conducted Electrical Weapons (Tasers) -- Chemical Agents -- Batons -- Protective Vests -- Body Cameras -- The Duty Belt -- Use of Force -- Training -- Security Operations Manual -- References -- Training Concepts -- Types of Training -- New Security Officer Training -- On-the-Job Training -- Critical Task Focused Training -- Key Training Topics for the New Security Officer -- IAHSS Progressive Certification Program -- IAHSS Basic Security Officer Training -- IAHSS Advanced Security Officer Training -- IAHSS Supervisory Training -- Specialized or Supplemental Training -- Contemporary Issues in Healthcare Security Training -- Elective Training -- Training Resources and Records Requirements -- Instructors/Facilitators -- Training Materials -- Records -- References -- Deployment Objectives -- Flexing the Security Staffing Plan -- Scheduling the Security Staff -- Deployment Patterns and Concepts -- Post Assignments -- Basic Patrol Deployment Plans -- Double Coverage -- Operational versus Nonoperational Times -- Patient Care Units/Areas -- Entrances and Exits -- Basic Patrol Concepts -- External Patrol -- External Patrol Vehicles -- External Patrol Services/Considerations -- Canine Patrol -- Internal Patrol -- Importance of the First Patrol Round -- Reporting for Duty -- Shift Rotation -- Patrol Verification -- The Patrol Officer's Key Ring and Access Privileges -- Security Officer Response -- Patrol Problems -- References -- Purpose of Records -- Memory System -- Exchange of Information -- Operational Policy and Procedure -- Need for Administrative Records -- Report Formats -- Electronic Reports -- Report Preparation -- Basic Records -- Security Incident Report -- Security Supplemental Report -- Security Condition Report -- Daily Activity Report -- Parking Violation Notice -- Pass-on Record -- Master Name Index -- Monthly or Periodic Security Report -- Key Performance Indicators -- Annual Security Management Plan and Program Effectiveness Evaluation -- Keeping Departmental Records Current -- Records Retention -- References -- Patients.…”Description: 1 online resource (xxvii, 721 pages)
Elsevier - Click here for access
eBook -
246
Software and data technologies : Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, revised selected papers
Published: Springer, 2008Contents: “…Invited Papers -- Benefits of Enterprise Ontology for the Development of ICT-Based Value Networks -- SOA Pragmatism -- Software and Data Technologies -- A Simple Language for Novel Visualizations of Information -- Generic Components for Static Operations at Object Level -- A Visual Dataflow Language for Image Segmentation and Registration -- A Debugger for the Interpreter Design Pattern -- Concepts for High-Performance Scientific Computing -- A Model Driven Architecture Approach to Web Development -- Reverse-Architecting Legacy Software Based on Roles: An Industrial Experiment -- A Supporting Tool for Requirements Elicitation Using a Domain Ontology -- Pattern Detection in Object-Oriented Source Code -- Testing the Effectiveness of MBIUI Life-Cycle Framework for the Development of Affective Interfaces -- Developer Stories: Improving Architecture in Agile Practice -- An Ontological SW Architecture Supporting Agile Development of Semantic Portals -- The Vcodex Platform for Data Compression -- Classification of Benchmarks for the Evaluation of Grid Resource Planning Algorithms -- A Disconnection-Aware Mechanism to Provide Anonymity in Two-Level P2P Systems -- Approximation and Scoring for XML Data Management -- Quantitative Analysis of the Top Ten Wikipedias -- A Semantic Web Approach for Ontological Instances Analysis -- Aspects Based Modeling of Web Applications to Support Co-evolution -- Recommending Trustworthy Knowledge in KMS by Using Agents -- Recent Developments in Automated Inferencing of Emotional State from Face Images -- Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation -- Improving Cutting-Stock Plans with Multi-objective Genetic Algorithm -- Knowledge Purpose and Visualization -- Empirical Experimentation for Validating the Usability of Knowledge Packages in Transferring Innovations -- An Ontological Investigation in the Field of Computer Programs -- Evaluation of Novel Approaches to Software Engineering -- Formal Problem Domain Modeling within MDA -- Model Based Testing for Agent Systems -- A Metamodel for Defining Development Methodologies.…”Description: 1 online resource (xv, 428 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
247
Beginning backup and restore for SQL Server : data loss management and prevention techniques
Published: Apress, 2018SpringerLink - Click here for accessDescription: 1 online resource : illustrations.
eBook -
248
VMware cloud on AWS insights on the first VMware enterprise-proven SaaS solution
Published: Apress, 2023SpringerLink - Click here for accessDescription: 1 online resource (xvii, 301 pages) : illustrations.
Electronic eBook -
249
Methods for monitoring tiger and prey populations
Published: Springer, 2017Contents: SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
250
Small satellites for earth observation : selected contributions
Published: Springer, 2008SpringerLink - Click here for accessDescription: 1 online resource (xxi, 406 pages) : illustrations, maps.
eBook -
251
Lean Six Sigma : methods for production optimization
Published: Springer, 2024Contents: “…5.3.3 Solution proposal and blank templates -- References -- 6 Line Balancing -- 6.1 Classification of the Method -- 6.2 Description of the Method -- 6.2.1 Actual Analysis -- 6.2.1.1 Activities -- 6.2.1.2 Customer Cycle -- 6.2.1.3 OEE -- Overall Equipment Effectiveness -- 6.2.1.4 Cycle and Takt Time -- 6.2.2 Presentation of Analysis Results -- 6.2.2.1 Work Distribution Diagram -- 6.2.2.2 Operation List -- 6.2.2.3 Network Planning Technique -- 6.3 Workshop 9: "Aircraft Manufacturing" -- 6.3.1 Production Round 1 -- 6.3.1.1 Execution of the First Production Round -- 6.3.1.2 Round 1: Evaluation.…”Description: 1 online resource (156 p.)
SpringerLink - Click here for access
eBook -
252
Computer supported cooperative work in design. II : 9th International Conference, CSCWD 2005 Coventry, UK, May 24-26, 2005, revised selected papers
Published: Springer, 2006SpringerLink - Click here for accessDescription: 1 online resource (xii, 659 pages) : illustrations.
Conference Proceeding eBook -
253
Geographic information and cartography for risk and crises management : towards better solutions
Published: Springer Verlag, 2010Contents: “…Geoinformation Processing and Modelling -- Earth Observations and Dynamic Mapping: Key Assets for Risk Management -- Spatial Information for Disaster Management Using Examples from IstanbulIstanbul -- Rapid Population Maps for Crisis Response -- Modeling of Spatiotemporal Distribution of Urban Population at High Resolution -- Value for Risk Assessment and Emergency Management -- A Framework for Defining a 3D Model in Support of Risk Management -- DB4GeO, a 3D/4D Geodatabase and Its Application for the Analysis of Landslides -- GIS Procedure to Forecast and Manage Woodland Fires -- Cartographic Support of Fire Engine Navigation to Operation Site -- Strategies for the Automatic Extraction of Water Bodies from TerraSAR-X / TanDEM-X data -- GIS Techniques in the Evaluation of Pipeline Networks Seismic Hazard -- Towards a Quick Damage Detection System Based on Grid Computing -- GMES Services for Conflict Prevention and Mitigation: Supporting the DG RELEX in Mission Planning -- Geo-information Services -- Mobilizing Multi-source Geospatial Information for EW and EM: Maximize Sharing, Enhance Flexibility, and Minimize Costs -- Metainformation in Crisis Management Architecture -- Theoretical Approaches, INSPIRE Solution -- Collaborative Post-disaster Damage Mapping via Geo Web Services -- Decision Support for Tsunami Early Warning in Indonesia: The Role of OGC Standards -- A Service-Based Architecture for the Interoperability of Heterogeneous Sensor data: A Case Study on Early Warning -- Development of a Coupled Geoinformation and Simulation System for Early Warning -- Multi-criteria Evaluation for Emergency Management in Spatial Data Infrastructures -- Field Tracking Tool: A Collaborative Framework from the Field to the Decision Makers -- Practical Experience with a Contextual Map Service -- Advanced Cartographic Visualisation -- Cartography and Geoinformation for Early Warning and Emergency Management -- Process Support and Adaptive Geovisualisation in Emergency Management -- Perceptions of Various Cartographic Representations Under Specific Conditions -- Research of Students' Cartographical Knowledge in Early Warning and Crisis Management -- Geovisual Analytics Tools for Communicating Emergency and Early Warning -- Kernel Density Estimations for Visual Analysis of Emergency Response Data -- Monitoring and Comparing: A Cartographic Web Application for Real-time Visualization of Hydrological Data -- Designing Map Keys Map Key for Crisis ManagementCrisis Management on the Regional Operational and Informational Centre Level: Monitoring Transport of Dangerous Goods via Contextual Visualisation Contextual Visualization.…”Description: 1 online resource (xxii, 446 pages) : illustrations, maps.
SpringerLink - Click here for access
eBook -
254
Pro Python Second edition.
Published: Apress, 2014Contents: “…Using __all __ to Customize Imports -- Relative Imports -- The __import__() function -- The importlib module -- Taking It With You -- Chapter 3: Functions -- Arguments -- Planning for Flexibility -- Variable Positional Arguments -- Variable Keyword Arguments -- Combining Different Kinds of Arguments -- Invoking Functions with Variable Arguments -- Preloading Arguments -- Introspection -- Example: Identifying Argument Values -- Example: A More Concise Version -- Example: Validating Arguments -- Decorators -- Closures -- Wrappers -- Decorators with Arguments -- Decorators with-or without-Arguments -- Example: Memoization -- Example: A Decorator to Create Decorators -- Function Annotations -- Example: Type Safety -- Factoring Out the Boilerplate -- Example: Type Coercion -- Annotating with Decorators -- Example: Type Safety as a Decorator -- Generators -- Lambdas -- Introspection -- Identifying Object Types -- Modules and Packages -- Docstrings -- Taking It with You -- Chapter 4: Classes -- Inheritance -- Multiple Inheritance -- Method Resolution Order -- Example: C3 Algorithm -- Using super() to Pass Control to Other Classes -- Introspection -- How Classes Are Created -- Creating Classes at Runtime -- Metaclasses -- Example: Plugin Framework -- Controlling the Namespace -- Attributes -- Properties -- Descriptors -- Methods -- Unbound Methods -- Bound Methods -- Class Methods -- Static Methods -- Assigning Functions to Classes and Instances -- Magic Methods -- Creating Instances -- Example: Automatic Subclasses -- Dealing with Attributes -- String Representations -- Taking It With You -- Chapter 5: Common Protocols -- Basic Operations -- Mathematical Operations -- Bitwise Operations -- Variations -- Numbers -- Sign Operations -- Comparison Operations -- Iterables -- Example: Repeatable Generators -- Sequences -- Mappings -- Callables.…”Description: 1 online resource.
SpringerLink - Click here for access
eBook -
255
Forest recreation 3rd ed.
Published: Pergamon Press, 1982Elsevier - Click here for accessDescription: 1 online resource (x, 326 pages) : illustrations.
eBook -
256
Small satellite missions for Earth observation : new developments and trends
Published: Springer, 2010Contents: “…S (Vegetation and Environment Monitoring on a New Micro Satellite) -- The "Ulingo" Mid-Low Latitudes Observation (MILO) Mission -- The Italian Precursor of an Operational Hyperspectral Imaging Mission -- Earth Environment Missions -- Space System "Radiomet" for GLONASS/GPS Navigation Signal Radio Occultation Monitoring of Lower Atmosphere and Ionosphere Based on Super-Small Satellites -- The Study of Electromagnetic Parameters of Space Weather, Micro-Satellite "Chibis-M" -- SEPSAT -- A Nanosatellite to Observe Parameters of Space Weather -- Small Satellite Constellations for Measurements of the Near-Earth Space Environment -- Distributed Space Systems -- Satellite Formation for a Next Generation Gravimetry Mission -- EO Small Satellite Missions and Formation Flying -- Relative Trajectory Design for Bistatic SAR Missions -- Conceptual Design of the FAST-D Formation Flying Spacecraft -- Earth Observation Using Japanese/Canadian Formation Flying Nanosatellites -- A Bi/Multi-Static Microsatellite SAR Constellation -- Mission Design of the Dutch-Chinese FAST Micro-Satellite Mission -- University Satellites -- SPRITE-SAT: A University Small Satellite for Observation of High-Altitude Luminous Events -- SwissCube: The First Entirely-Built Swiss Student Satellite with an Earth Observation Payload -- German Russian Education Satellite -- Mission Outline and Objectives -- University Microsatellites Equipped with an Optical System for Space Debris Monitoring -- A First-MOVE in Satellite Development at the TU-München -- Design of a Small Educational Satellite for the Italian High School Students: The EduSAT Project -- Testing of Critical Pico-Satellite Systems on the Sounding Rocket Rexus-4 -- Laboratory Facility for Simulation and Verification of Formation Motion Control Algorithms -- Asynchronous Parallel Reactive System for Intelligent Small Satellite on-Board Computing Systems -- NanoSiGN -- Nanosatellite for scientific interpretation of GNSS dual-frequency signals in the low Earth orbit -- Instruments and Technologies -- The Vegetation Instrument for the PROBA-V Mission -- Software Defined LFM CW SAR Receiver for Microsatellites -- PhytoMapper -- Compact Hyperspectral Wide Field of View Instrument -- Development of Spaceborne Small Hyperspectral sensor HSC-III for Micro Satellite -- Towards a Miniaturized Photon Counting Laser Altimeter and Stereoscopic Camera Instrument Suite for Microsatellites -- A Plan of Spaceborne ISAR Satellite Imaging System Aiming at Space Objects -- Increasing the Data Volume Returned from Small Satellites -- Integrated Design Based Plug-and-Play Small SAR Satellite Project -- Attitude Control Systems -- Star Sensor Development Based on the TUBSAT Experience -- Small Sensors Big Choices -- Robust and Fault Tolerant AOCS of the TET Satellite -- Implementation of the T3?…”Description: 1 online resource (481 pages)
SpringerLink - Click here for access
eBook -
257
Springer handbook of mechanical engineering
Published: Springer, 2009Contents: “…Equilibria -- First Law of Thermodynamics -- Second Law of Thermodynamics -- Exergy and Anergy -- Thermodynamics of Substances -- Changes of State of Gases and Vapors -- Thermodynamic Processes -- Ideal Gas Mixtures -- Heat Transfer -- Tribology -- Tribology -- Design of Machine Elements -- Mechanical Drives -- Gearings -- Cylindrical Gearings -- Bevel Gearings -- Worm Gearings -- Design of Gear Wheels, Worm Wheels, and Worms -- Planetary Gears -- Wave Gears -- Shafts and Axles -- Shaft-Hub Connections -- Rolling Bearings -- Design of Bearing Units -- Appendix A -- Appendix B -- Manufacturing Engineering -- Casting -- Metal Forming -- Machining Processes -- Assembly, Disassembly, Joining Techniques -- Rapid Prototyping and Advanced Manufacturing -- Precision Machinery Using MEMS Technology -- Measuring and Quality Control -- Quality Management -- Manufacturing Measurement Technology -- Measuring Uncertainty and Traceability -- Inspection Planning -- Further Reading -- Engineering Design -- Design Theory -- Basics -- Precisely Defining the Task -- Conceptual Design -- Design -- Design and Manufacturing for the Environment -- Failure Mode and Effect Analysis for Capital Goods -- Piston Machines -- Foundations of Piston Machines -- Positive Displacement Pumps -- Compressors -- Internal Combustion Engines -- Pressure Vessels and Heat Exchangers -- Pressure Vessel -- General Design Concepts -- Design of Tall Towers -- Testing Requirement -- Design Codes for Pressure Vessels -- Heat Exchangers -- Material of Construction -- Turbomachinery -- Theory of Turbomachinery Stages -- Gas Turbine Engines: Design and Dynamic Performance -- Transport Systems -- Overview -- Automotive Engineering -- Railway Systems -- Railway Engineering -- Aerospace Engineering -- Construction Machinery -- Basics -- Earthmoving, Road Construction, and Farming Equipment -- Machinery for Concrete Works -- Site Lifts -- Access Machinery and Equipment -- Cranes -- Equipment for Finishing Work -- Automation and Robotics in Construction -- Enterprise Organization and Operation -- Overview -- Organizational Structures -- Process Organization, Capabilities, and Supply Networks -- Modeling and Data Structures -- Enterprise Resource Planning (ERP) -- Manufacturing Execution Systems (MES) -- Advanced Organization Concepts -- Interorganizational Structures -- Organization and Communication -- Enterprise Collaboration and Logistics -- Complementary Material for Mechanical Engineers -- Power Generation -- Principles of Energy Supply -- Primary Energies -- Fuels -- Transformation of Primary Energy into Useful Energy -- Various Energy Systems and Their Conversion -- Direct Combustion System -- Internal Combustion Engines -- Fuel Cells -- Nuclear Power Stations -- Combined Power Station -- Integrated Gasification Combined Cycle (IGCC) System -- Magnetohydrodynamic (MHD) Power Generation -- Total-Energy Systems for Heat and Power Generation -- Transformation of Regenerative Energies -- Solar Power Stations -- Heat Pump -- Energy Storage and Distribution -- Furnaces -- Fluidized-Bed Combustion System -- Liquid-Fuel Furnace -- Burners -- General Furnace Accessories -- Environmental Control Technology -- Steam Generators -- Parts and Components of Steam Generator -- Energy Balance Analysis of a Furnace/Combustion System -- Performance of Steam Generator -- Furnace Design -- Strength Calculations -- Heat Transfer Calculation -- Nuclear Reactors -- Future Prospects and Conclusion -- Electrical Engineering -- Fundamentals -- Transformers -- Rotating Electrical Machines -- Power Electronics -- Electric Drives -- Electric Power Transmission and Distribution -- Electric Heating.…”Description: 1 online resource.
SpringerLink - Click here for access
eBook -
258
Software engineering for embedded systems : methods, practical techniques, and applications First edition.
Published: Newnes, 2013Contents: “…-- Certification killers -- Project planning strategies -- Strategy 1: determine the project certification scope early -- Strategy 2: determine feasibility of certification -- Strategy 3: select an independent assessor (if used) -- Strategy 4: understand your assessor's role (if used) -- Strategy 5: assessment communication is key -- Strategy 6: establish a basis of certification -- Strategy 7: establish a "fit and purpose" for your product -- Strategy 8: establish a certification block diagram -- Strategy 9: establish communication integrity objectives -- Strategy 10: identify all interfaces along the certification boundary -- Strategy 11: identify the key safety defensive strategies -- Strategy 12: define built in test (BIT) capability -- Strategy 13: define fault annunciation coverage -- Strategy 14: define reliance and expectation of the operator/user -- Strategy 15: define plan for developing software to appropriate integrity level -- Strategy 16: define artifacts to be used as evidence of compliance -- Strategy 17: plan for labor-intensive analyses -- Strategy 18: create user-level documentation -- Strategy 19: plan on residual activity -- Strategy 20: publish a well-defined certification plan -- Faults, failures, hazards, and risk analysis -- Faults, errors, and failures -- Availability and reliability -- Fault handling -- Hazard analysis -- Risk analysis -- Safety-critical architectures -- "Do-er"/"Check-er" -- Two processors -- "Voter" -- Software implementation strategies -- Strategy 1: have a well-defined, repeatable peer-review process -- Strategy 2: consider using existing safety coding standards -- Strategy 3: handle all combinations of input data -- Strategy 4: specific variable value checking -- Strategy 5: mark safety-critical code sections -- Strategy 6: timing execution checking -- Strategy 7: stale data -- Strategy 8: comparison of outputs -- Strategy 9: initialize data to least permissive state -- Strategy 10: order of execution -- Strategy 11: volatile data checking -- Strategy 12: non-volatile data checking -- Strategy 13: make sure the entire system can run -- Strategy 14: remove "dead" code -- Strategy 15: fill unused memory -- Strategy 16: static code analysis -- Background -- Is that software yours? …”Description: 1 online resource (xlix, 1150 pages).
Elsevier - Click here for access
eBook -
259
CMMI for development : implementation guide
Published: Apress, 2017SpringerLink - Click here for accessDescription: 1 online resource.
eBook -
260
CRM fundamentals
Published: Apress, 2011SpringerLink - Click here for accessDescription: 1 online resource.
eBook