top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Computer Safety, Reliability, and Security [[electronic resource] ] : 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings / / edited by Bettina Buth, Gerd Rabe, Till Seyfarth
Computer Safety, Reliability, and Security [[electronic resource] ] : 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings / / edited by Bettina Buth, Gerd Rabe, Till Seyfarth
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XI, 343 p.)
Disciplina 004n/a
Collana Programming and Software Engineering
Soggetto topico Computer security
Computer communication systems
Software engineering
Computers
Special purpose computers
Systems and Data Security
Computer Communication Networks
Software Engineering/Programming and Operating Systems
Information Systems and Communication Service
Software Engineering
Special Purpose and Application-Based Systems
Soggetto genere / forma Hamburg (2009)
Kongress.
ISBN 3-642-04468-9
Classificazione DAT 050f
DAT 260f
DAT 343f
DAT 460f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems -- Medical Systems -- Model-Based Development of Medical Devices -- Why Are People’s Decisions Sometimes Worse with Computer Support? -- Industrial Experience -- Safety-Related Application Conditions – A Balance between Safety Relevance and Handicaps for Applications -- Probability of Failure on Demand – The Why and the How -- Establishing the Correlation between Complexity and a Reliability Metric for Software Digital I&C-Systems -- Security Risk Analysis -- Exploring Network Security in PROFIsafe -- Modelling Critical Infrastructures in Presence of Lack of Data with Simulated Annealing – Like Algorithms -- Environment Characterization and System Modeling Approach for the Quantitative Evaluation of Security -- Safety Guidelines -- Experiences with the Certification of a Generic Functional Safety Management Structure According to IEC 61508 -- Analysing Dependability Case Arguments Using Quality Models -- Experience with Establishment of Reusable and Certifiable Safety Lifecycle Model within ABB -- Automotive -- Automotive IT-Security as a Challenge: Basic Attacks from the Black Box Perspective on the Example of Privacy Threats -- Safety Requirements for a Cooperative Traffic Management System: The Human Interface Perspective -- Aerospace -- The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems -- Formal Verification of a Microkernel Used in Dependable Software Systems -- Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do -- Verification, Validation, Test -- Probabilistic Failure Propagation and Transformation Analysis -- Towards Model-Based Automatic Testing of Attack Scenarios -- CRIOP: A Human Factors Verification and Validation Methodology That Works in an Industrial Setting -- Fault Tolerance -- Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure -- Increasing the Reliability of High Redundancy Actuators by Using Elements in Series and Parallel -- AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware -- Dependability -- Component-Based Abstraction in Fault Tree Analysis -- A Foundation for Requirements Analysis of Dependable Software -- Establishing a Framework for Dynamic Risk Management in ‘Intelligent’ Aero-Engine Control.
Record Nr. UNISA-996465672203316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer Safety, Reliability, and Security [[electronic resource] ] : 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings / / edited by Bettina Buth, Gerd Rabe, Till Seyfarth
Computer Safety, Reliability, and Security [[electronic resource] ] : 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings / / edited by Bettina Buth, Gerd Rabe, Till Seyfarth
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XI, 343 p.)
Disciplina 004n/a
Collana Programming and Software Engineering
Soggetto topico Computer security
Computer communication systems
Software engineering
Computers
Special purpose computers
Systems and Data Security
Computer Communication Networks
Software Engineering/Programming and Operating Systems
Information Systems and Communication Service
Software Engineering
Special Purpose and Application-Based Systems
Soggetto genere / forma Hamburg (2009)
Kongress.
ISBN 3-642-04468-9
Classificazione DAT 050f
DAT 260f
DAT 343f
DAT 460f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems -- Medical Systems -- Model-Based Development of Medical Devices -- Why Are People’s Decisions Sometimes Worse with Computer Support? -- Industrial Experience -- Safety-Related Application Conditions – A Balance between Safety Relevance and Handicaps for Applications -- Probability of Failure on Demand – The Why and the How -- Establishing the Correlation between Complexity and a Reliability Metric for Software Digital I&C-Systems -- Security Risk Analysis -- Exploring Network Security in PROFIsafe -- Modelling Critical Infrastructures in Presence of Lack of Data with Simulated Annealing – Like Algorithms -- Environment Characterization and System Modeling Approach for the Quantitative Evaluation of Security -- Safety Guidelines -- Experiences with the Certification of a Generic Functional Safety Management Structure According to IEC 61508 -- Analysing Dependability Case Arguments Using Quality Models -- Experience with Establishment of Reusable and Certifiable Safety Lifecycle Model within ABB -- Automotive -- Automotive IT-Security as a Challenge: Basic Attacks from the Black Box Perspective on the Example of Privacy Threats -- Safety Requirements for a Cooperative Traffic Management System: The Human Interface Perspective -- Aerospace -- The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems -- Formal Verification of a Microkernel Used in Dependable Software Systems -- Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do -- Verification, Validation, Test -- Probabilistic Failure Propagation and Transformation Analysis -- Towards Model-Based Automatic Testing of Attack Scenarios -- CRIOP: A Human Factors Verification and Validation Methodology That Works in an Industrial Setting -- Fault Tolerance -- Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure -- Increasing the Reliability of High Redundancy Actuators by Using Elements in Series and Parallel -- AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware -- Dependability -- Component-Based Abstraction in Fault Tree Analysis -- A Foundation for Requirements Analysis of Dependable Software -- Establishing a Framework for Dynamic Risk Management in ‘Intelligent’ Aero-Engine Control.
Record Nr. UNINA-9910484216803321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, revised selected papers / / Darren Cofer, Alessandro Fantechi (editors)
Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, revised selected papers / / Darren Cofer, Alessandro Fantechi (editors)
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin ; ; Heidelberg : , : Springer, , [2009]
Descrizione fisica 1 online resource (241 p.)
Disciplina 004.0151
Collana Lecture notes in computer science
Soggetto topico Formal methods (Computer science)
ISBN 1-282-33177-9
9786612331770
3-642-03240-0
Classificazione DAT 260f
DAT 343f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Presentations -- Formal Methods for Critical Systems -- Model-Based Verification of Automotive Control Software -- Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach -- Panel -- Panel Discussion on Formal Methods in Commercial Software Development Tools -- Research Papers -- LETO - A Lustre-Based Test Oracle for Airbus Critical Systems -- Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators -- Fighting State Space Explosion: Review and Evaluation -- Local Quantitative LTL Model Checking -- Efficient Symbolic Model Checking for Process Algebras -- Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving -- Using CSP||B Components: Application to a Platoon of Vehicles -- Formal Verification of the Implementability of Timing Requirements -- Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties -- Can Flash Memory Help in Model Checking? -- From Informal Requirements to Property-Driven Formal Validation -- Automated Certification of Non-Interference in Rewriting Logic -- Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications -- Using Datalog and Boolean Equation Systems for Program Analysis.
Record Nr. UNINA-9910484726903321
Berlin ; ; Heidelberg : , : Springer, , [2009]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, revised selected papers / / Darren Cofer, Alessandro Fantechi (editors)
Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, revised selected papers / / Darren Cofer, Alessandro Fantechi (editors)
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin ; ; Heidelberg : , : Springer, , [2009]
Descrizione fisica 1 online resource (241 p.)
Disciplina 004.0151
Collana Lecture notes in computer science
Soggetto topico Formal methods (Computer science)
ISBN 1-282-33177-9
9786612331770
3-642-03240-0
Classificazione DAT 260f
DAT 343f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Presentations -- Formal Methods for Critical Systems -- Model-Based Verification of Automotive Control Software -- Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach -- Panel -- Panel Discussion on Formal Methods in Commercial Software Development Tools -- Research Papers -- LETO - A Lustre-Based Test Oracle for Airbus Critical Systems -- Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators -- Fighting State Space Explosion: Review and Evaluation -- Local Quantitative LTL Model Checking -- Efficient Symbolic Model Checking for Process Algebras -- Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving -- Using CSP||B Components: Application to a Platoon of Vehicles -- Formal Verification of the Implementability of Timing Requirements -- Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties -- Can Flash Memory Help in Model Checking? -- From Informal Requirements to Property-Driven Formal Validation -- Automated Certification of Non-Interference in Rewriting Logic -- Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications -- Using Datalog and Boolean Equation Systems for Program Analysis.
Record Nr. UNISA-996465614203316
Berlin ; ; Heidelberg : , : Springer, , [2009]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Performance Evaluation and Benchmarking [[electronic resource] ] : Transaction Processing Performance Council Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers / / edited by Raghunath Nambiar, Meikel Poess
Performance Evaluation and Benchmarking [[electronic resource] ] : Transaction Processing Performance Council Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers / / edited by Raghunath Nambiar, Meikel Poess
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XIV, 267 p.)
Disciplina 004
Collana Programming and Software Engineering
Soggetto topico Computers
Software engineering
Data structures (Computer science)
Computer software—Reusability
Computer system failures
Management information systems
Computer science
Theory of Computation
Software Engineering/Programming and Operating Systems
Data Structures and Information Theory
Performance and Reliability
System Performance and Evaluation
Management of Computing and Information Systems
Soggetto genere / forma Kongress.
Lyon (2009)
ISBN 3-642-10424-X
Classificazione DAT 343f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Transaction Processing Performance Council (TPC): Twenty Years Later – A Look Back, a Look Ahead -- A New Direction for TPC? -- The Art of Building a Good Benchmark -- Database Are Not Toasters: A Framework for Comparing Data Warehouse Appliances -- The State of Energy and Performance Benchmarking for Enterprise Servers -- From Performance to Dependability Benchmarking: A Mandatory Path -- Overview of TPC Benchmark E: The Next Generation of OLTP Benchmarks -- Converting TPC-H Query Templates to Use DSQGEN for Easy Extensibility -- Generating Shifting Workloads to Benchmark Adaptability in Relational Database Systems -- Measuring Database Performance in Online Services: A Trace-Based Approach -- Issues in Benchmark Metric Selection -- Benchmarking Query Execution Robustness -- Benchmarking Database Performance in a Virtual Environment -- Principles for an ETL Benchmark -- Benchmarking ETL Workflows -- A Performance Study of Event Processing Systems -- The Star Schema Benchmark and Augmented Fact Table Indexing -- An Approach of Performance Evaluation in Authentic Database Applications.
Record Nr. UNISA-996465837003316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Performance Evaluation and Benchmarking [[electronic resource] ] : Transaction Processing Performance Council Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers / / edited by Raghunath Nambiar, Meikel Poess
Performance Evaluation and Benchmarking [[electronic resource] ] : Transaction Processing Performance Council Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers / / edited by Raghunath Nambiar, Meikel Poess
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XIV, 267 p.)
Disciplina 004
Collana Programming and Software Engineering
Soggetto topico Computers
Software engineering
Data structures (Computer science)
Computer software—Reusability
Computer system failures
Management information systems
Computer science
Theory of Computation
Software Engineering/Programming and Operating Systems
Data Structures and Information Theory
Performance and Reliability
System Performance and Evaluation
Management of Computing and Information Systems
Soggetto genere / forma Kongress.
Lyon (2009)
ISBN 3-642-10424-X
Classificazione DAT 343f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Transaction Processing Performance Council (TPC): Twenty Years Later – A Look Back, a Look Ahead -- A New Direction for TPC? -- The Art of Building a Good Benchmark -- Database Are Not Toasters: A Framework for Comparing Data Warehouse Appliances -- The State of Energy and Performance Benchmarking for Enterprise Servers -- From Performance to Dependability Benchmarking: A Mandatory Path -- Overview of TPC Benchmark E: The Next Generation of OLTP Benchmarks -- Converting TPC-H Query Templates to Use DSQGEN for Easy Extensibility -- Generating Shifting Workloads to Benchmark Adaptability in Relational Database Systems -- Measuring Database Performance in Online Services: A Trace-Based Approach -- Issues in Benchmark Metric Selection -- Benchmarking Query Execution Robustness -- Benchmarking Database Performance in a Virtual Environment -- Principles for an ETL Benchmark -- Benchmarking ETL Workflows -- A Performance Study of Event Processing Systems -- The Star Schema Benchmark and Augmented Fact Table Indexing -- An Approach of Performance Evaluation in Authentic Database Applications.
Record Nr. UNINA-9910484676603321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Reliable Software Technologies - Ada-Europe 2009 [[electronic resource] ] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings / / edited by Fabrice Kordon, Yvon Kermarrec
Reliable Software Technologies - Ada-Europe 2009 [[electronic resource] ] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings / / edited by Fabrice Kordon, Yvon Kermarrec
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XIV, 283 p.)
Disciplina 005.13322gerDNB
Collana Programming and Software Engineering
Soggetto topico Software engineering
Computer programming
Programming languages (Electronic computers)
Computer system failures
Computer software—Reusability
Software Engineering/Programming and Operating Systems
Software Engineering
Programming Techniques
Programming Languages, Compilers, Interpreters
System Performance and Evaluation
Performance and Reliability
Soggetto genere / forma Brest (Bretagne, 2009)
Kongress.
ISBN 3-642-01924-2
Classificazione DAT 263f
DAT 343f
DAT 356f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Requirements on the Target Programming Language for High-Integrity MDE -- A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems -- Validating Safety and Security Requirements for Partitioned Architectures -- On Comparing Testing Criteria for Logical Decisions -- Model Checking Techniques for Test Generation from Business Process Models -- An Experience on Ada Programming Using On-Line Judging -- Weak Fairness Semantic Drawbacks in Java Multithreading -- Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT -- Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005 -- Predicated Worst-Case Execution-Time Analysis -- Implementing Reactive Systems with UML State Machines and Ada 2005 -- Modelling and Evaluating Real-Time Software Architectures -- A Formal Foundation for Metamodeling -- Modeling AADL Data Communication with BIP -- Formal Verification of AADL Specifications in the Topcased Environment -- Process-Algebraic Interpretation of AADL Models -- Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications -- Conceptual Modeling for System Requirements Enhancement -- Coloured Petri Nets for Chronicle Recognition.
Record Nr. UNISA-996465606503316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Reliable Software Technologies - Ada-Europe 2009 : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings / / edited by Fabrice Kordon, Yvon Kermarrec
Reliable Software Technologies - Ada-Europe 2009 : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings / / edited by Fabrice Kordon, Yvon Kermarrec
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XIV, 283 p.)
Disciplina 005.13322gerDNB
Collana Programming and Software Engineering
Soggetto topico Software engineering
Computer programming
Programming languages (Electronic computers)
Computer system failures
Computer software—Reusability
Software Engineering/Programming and Operating Systems
Software Engineering
Programming Techniques
Programming Languages, Compilers, Interpreters
System Performance and Evaluation
Performance and Reliability
Soggetto genere / forma Brest (Bretagne, 2009)
Kongress.
ISBN 3-642-01924-2
Classificazione DAT 263f
DAT 343f
DAT 356f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Requirements on the Target Programming Language for High-Integrity MDE -- A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems -- Validating Safety and Security Requirements for Partitioned Architectures -- On Comparing Testing Criteria for Logical Decisions -- Model Checking Techniques for Test Generation from Business Process Models -- An Experience on Ada Programming Using On-Line Judging -- Weak Fairness Semantic Drawbacks in Java Multithreading -- Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT -- Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005 -- Predicated Worst-Case Execution-Time Analysis -- Implementing Reactive Systems with UML State Machines and Ada 2005 -- Modelling and Evaluating Real-Time Software Architectures -- A Formal Foundation for Metamodeling -- Modeling AADL Data Communication with BIP -- Formal Verification of AADL Specifications in the Topcased Environment -- Process-Algebraic Interpretation of AADL Models -- Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications -- Conceptual Modeling for System Requirements Enhancement -- Coloured Petri Nets for Chronicle Recognition.
Record Nr. UNINA-9910484097603321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Software Process and Product Measurement [[electronic resource] ] : International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings / / edited by Alain Abran, René Braungarten, Reiner R. Dumke, Juan J. Cuadrado-Gallego, Jacob Brunekreef
Software Process and Product Measurement [[electronic resource] ] : International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings / / edited by Alain Abran, René Braungarten, Reiner R. Dumke, Juan J. Cuadrado-Gallego, Jacob Brunekreef
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XIII, 347 p.)
Disciplina 004n/a
Collana Programming and Software Engineering
Soggetto topico Software engineering
Computers
Architecture, Computer
Computer system failures
Computer programming
Software Engineering
Software Engineering/Programming and Operating Systems
Theory of Computation
Computer System Implementation
System Performance and Evaluation
Programming Techniques
Soggetto genere / forma Amsterdam (2009)
Kongress.
ISBN 3-642-05415-3
Classificazione DAT 343f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto IWSM / Mensura 2009 Proceedings -- Ensuring Reliability of Information Provided by Measurement Systems -- Analysis of the Functional Size Measurement Methods Usage by Polish Business Software Systems Providers -- Leveraging People-Related Maturity Issues for Achieving Higher Maturity and Capability Levels -- A General Model for Measurement Improvement -- What Are the Significant Cost Drivers for COSMIC Functional Size Based Effort Estimation? -- Analysis of the Risk Assessment Methods – A Survey -- Cockpit Based Management Architectures -- A Case Study in COSMIC Functional Size Measurement: The Rice Cooker Revisited -- Functional Size of a Real-Time System -- A Prototypical Simulation Model to Analyze the Business Process Performance -- Improvement Opportunities and Suggestions for Benchmarking -- Functional Size Measurement Quality Challenges for Inexperienced Measurers -- Applying Test Case Metrics in a Tool Supported Iterative Architecture and Code Improvement Process -- Towards an Early Software Effort Estimation Based on Functional and Non-Functional Requirements -- Formalization Studies in Functional Size Measurement: How Do They Help? -- Using Models to Develop Measurement Systems: A Method and Its Industrial Use -- Evaluating Process Quality Based on Change Request Data – An Empirical Study of the Eclipse Project -- Empirical Evaluation of Hunk Metrics as Bug Predictors -- Using Support Vector Regression for Web Development Effort Estimation -- A Comparison of Neural Network Model and Regression Model Approaches Based on Sub-functional Components -- Formal Definition of Measures for BPMN Models -- Using Tabu Search to Estimate Software Development Effort -- An Experimental Study on the Reliability of COSMIC Measurement Results -- Assessing the Documentation Development Effort in Software Projects.
Record Nr. UNISA-996466279203316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Software Process and Product Measurement [[electronic resource] ] : International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings / / edited by Alain Abran, René Braungarten, Reiner R. Dumke, Juan J. Cuadrado-Gallego, Jacob Brunekreef
Software Process and Product Measurement [[electronic resource] ] : International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings / / edited by Alain Abran, René Braungarten, Reiner R. Dumke, Juan J. Cuadrado-Gallego, Jacob Brunekreef
Edizione [1st ed. 2009.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Descrizione fisica 1 online resource (XIII, 347 p.)
Disciplina 004n/a
Collana Programming and Software Engineering
Soggetto topico Software engineering
Computers
Architecture, Computer
Computer system failures
Computer programming
Software Engineering
Software Engineering/Programming and Operating Systems
Theory of Computation
Computer System Implementation
System Performance and Evaluation
Programming Techniques
Soggetto genere / forma Amsterdam (2009)
Kongress.
ISBN 3-642-05415-3
Classificazione DAT 343f
SS 4800
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto IWSM / Mensura 2009 Proceedings -- Ensuring Reliability of Information Provided by Measurement Systems -- Analysis of the Functional Size Measurement Methods Usage by Polish Business Software Systems Providers -- Leveraging People-Related Maturity Issues for Achieving Higher Maturity and Capability Levels -- A General Model for Measurement Improvement -- What Are the Significant Cost Drivers for COSMIC Functional Size Based Effort Estimation? -- Analysis of the Risk Assessment Methods – A Survey -- Cockpit Based Management Architectures -- A Case Study in COSMIC Functional Size Measurement: The Rice Cooker Revisited -- Functional Size of a Real-Time System -- A Prototypical Simulation Model to Analyze the Business Process Performance -- Improvement Opportunities and Suggestions for Benchmarking -- Functional Size Measurement Quality Challenges for Inexperienced Measurers -- Applying Test Case Metrics in a Tool Supported Iterative Architecture and Code Improvement Process -- Towards an Early Software Effort Estimation Based on Functional and Non-Functional Requirements -- Formalization Studies in Functional Size Measurement: How Do They Help? -- Using Models to Develop Measurement Systems: A Method and Its Industrial Use -- Evaluating Process Quality Based on Change Request Data – An Empirical Study of the Eclipse Project -- Empirical Evaluation of Hunk Metrics as Bug Predictors -- Using Support Vector Regression for Web Development Effort Estimation -- A Comparison of Neural Network Model and Regression Model Approaches Based on Sub-functional Components -- Formal Definition of Measures for BPMN Models -- Using Tabu Search to Estimate Software Development Effort -- An Experimental Study on the Reliability of COSMIC Measurement Results -- Assessing the Documentation Development Effort in Software Projects.
Record Nr. UNINA-9910484919803321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui