Search Results - (( Defined (contribution OR contributions) pension plant ) OR ((( Defined distribution ((operation plan) OR (((operating plan) OR (((operating a) OR (operating _)))))) ) OR ( Defined distribution regression plans ))))
-
1
Making globally distributed software development a success story : International Conference on Software Process, ICSP 2008, Leipzig, Germany, May 10-11, 2008 : proceedings
Published: Springer, 2008Contents: “…-- Investigating Factors Affecting the Usability of Software Process Descriptions -- Degree of Agility in Pre-Implementation Process Phases -- Support IT Service Management with Process Modeling and Analysis -- The Secret Life of a Process Description: A Look into the Evolution of a Large Process Model -- Simulation Modeling -- Simulating Worst Case Scenarios and Analyzing Their Combined Effect in Operational Release Planning -- Using Process Simulation to Assess the Test Design Effort Reduction of a Model-Based Testing Approach -- GENSIM 2.0: A Customizable Process Simulation Model for Software Process Evaluation -- RVSim: A Simulation Approach to Predict the Impact of Requirements Volatility on Software Project Plans -- Identifying Key Success Factors for Globally Distributed Software Development Project Using Simulation: A Case Study -- Hybrid Modeling of Test-and-Fix Processes in Incremental Development -- Reflections on 10 Years of Software Process Simulation Modeling: A Systematic Review -- Experience Report -- Integrating Joint Reviews with Automotive SPICE Assessments Results -- Quantitatively Managing Defects for Iterative Projects: An Industrial Experience Report in China -- An Investigation of Software Development Productivity in China -- Optimized Software Process for Fault Handling in Global Software Development -- Measuring and Comparing the Adoption of Software Process Practices in the Software Product Industry.…”Description: 1 online resource (xiv, 422 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
2
Model driven engineering languages and systems : 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, proceedings
Published: Springer, 2011SpringerLink - Click here for accessDescription: 1 online resource (xx, 730 pages).
Conference Proceeding eBook -
3
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 -
4
Information Science and Applications : Proceedings of ICISA 2020
Published: Springer, 2021SpringerLink - Click here for accessDescription: 1 online resource (394 pages).
Conference Proceeding eBook -
5
Software engineering research, management and applications 2009
Published: Springer-Verlag, 2009Contents: “…Efficiency from Formalization: An Initial Case Study on Archi3D -- An Agent-Based Framework for Association Rules Mining of Distributed Data -- Defining and Implementing Software Subcontracting Management Processes in Small Enterprises -- A Robust Approach to Subsequence Matching -- Toward Automated Support for Software Process Improvement Initiatives in Small and Medium Size Enterprises -- Syntactic and Semantic Prediction in Dynamic Languages -- M-KAD: A Scalable Peer-to-Peer System for Similarity Search in Metric Space -- A State Based Fitness Function for Evolutionary Testing of Object-Oriented Programs -- A Practical Approach to Developing Applications with Reusable Services -- Supporting Real-Life Applications in Hierarchical Component Systems -- Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study -- Frameworks for Maturity Questionnaire Selection Model -- An Agent-Based Web Services Market -- Investigating Inconsistency Detection as a Validation Operation in Software Product Line -- Combined Algorithms for Classification of Conduct Disorder of Students in Thai Vocational School -- Error Estimation Model for Managing Embedded Software Development -- Identifying Data Member Level Changes for Regression Testing of Object-Oriented Programs -- Network Monitoring with Real-Time Properties: A Step Forward -- A Pragmatic Analysis Model for Software Reuse -- Evaluation of Test-Driven Development: An Academic Case Study -- New Smith Predictor and Fuzzy Adaptive Control for Wireless Networked Control Systems -- FRAME: A Generic Fractal Process Metamodel for Agile Methodologies -- Workflow Change Patterns: Opportunities for Extension and Reuse -- Patterns of Situational Method Engineering -- A Novel MHC-Inspired Approach for Malicious Code Detection.…”Description: 1 online resource (xvi, 306 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
6
Model driven engineering languages and systems : 9th international conference, MoDELS 2006, Genova, Italy, October 1-6, 2006 : proceedings
Published: Springer, 2006Contents: “…Transformation Models! -- MOF -- A Mapping Language from Models to DI Diagrams -- Basic Operations over Models Containing Subset and Union Properties -- A Metamodeling Approach to Pattern Specification -- Keynote 2 -- Immune System Computation and the Immunological Homunculus -- Bridging Models -- Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach -- Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages -- Incremental Model Synchronization with Triple Graph Grammars -- Risk, Trust and Dependability -- Model-Driven Assessment of Use Cases for Dependable Systems -- A Graphical Approach to Risk Identification, Motivated by Empirical Investigations -- Reusable MDA Components: A Testing-for-Trust Approach -- Tool Environments -- Using Smalltalk as a Reflective Executable Meta-language -- UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI 2 -- Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment -- OCL -- An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE -- An OCL Semantics Specified with QVT -- Specification of Invariability in OCL -- Roundtrip Engineering -- Framework-Specific Modeling Languages with Round-Trip Engineering -- A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems -- Layered Class Diagrams: Supporting the Design Process -- Real Time and Embedded Systems -- Using UML Activities for System-on-Chip Design and Synthesis -- Modeling and Early Performance Estimation for Network Processor Applications -- A Formal Semantics of UML-RT -- Workshops, Tutorials and Panels -- Workshops and Symposia at MoDELS 2006 -- Tutorials at MoDELS 2006 -- Panels at MoDELS 2006.…”Description: 1 online resource (xvi, 798 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
7
Product-focused software process improvement : 7th international conference, PROFES 2006, Amsterdam, the Netherlands, June 12-14, 2006 : proceedings
Published: Springer, 2006SpringerLink - Click here for accessDescription: 1 online resource (xvii, 474 pages) : illustrations.
Conference Proceeding eBook -
8
FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings
Published: Springer, 2005Contents: “…Keynote Talks -- Formal Aids for the Growth of Software Systems -- Formal Methods and Testing: Hypotheses, and Correctness Approximations -- The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions -- Object Orientation -- Modular Verification of Static Class Invariants -- Decoupling in Object Orientation -- Controlling Object Allocation Using Creation Guards -- Symbolic Animation of JML Specifications -- Resource Analysis and Verification -- Certified Memory Usage Analysis -- Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs -- Formally Defining and Verifying Master/Slave Speculative Parallelization -- Timing and Testing -- Systematic Implementation of Real-Time Models -- Timing Tolerances in Safety-Critical Software -- Timed Testing with TorX -- Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems -- CSP, B and Circus -- Adding Conflict and Confusion to CSP -- Combining CSP and B for Specification and Property Verification -- Operational Semantics for Model Checking Circus -- Control Law Diagrams in Circus -- Security -- Verification of a Signature Architecture with HOL-Z -- End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform -- Formal Verification of Security Properties of Smart Card Embedded Source Code -- Networks and Processes -- A Formal Model of Addressing for Interoperating Networks -- An Approach to Unfolding Asynchronous Communication Protocols -- Semantics of BPEL4WS-Like Fault and Compensation Handling -- Abstraction, Retrenchment and Rewriting -- On Some Galois Connection Based Abstractions for the Mu-Calculus -- Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern -- Strategic Term Rewriting and Its Application to a Vdm-sl to Sql Conversion -- Scenarios and Modeling Languages -- Synthesis of Distributed Processes from Scenario-Based Specifications -- Verifying Scenario-Based Aspect Specifications -- An MDA Approach Towards Integrating Formal and Informal Modeling Languages -- Model Checking -- Model-Checking of Specifications Integrating Processes, Data and Time -- Automatic Symmetry Detection for Model Checking Using Computational Group Theory -- On Partitioning and Symbolic Model Checking -- Dynamic Component Substitutability Analysis -- Industry Day: Abstracts of Invited Talks -- Floating-Point Verification -- Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications -- Model-Based Testing in Practice -- Testing Concurrent Object-Oriented Systems with Spec Explorer -- ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software -- The Informal Nature of Systems Engineering.…”Description: 1 online resource (xiv, 558 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook