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.
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 | ||
| ||
Computer Safety, Reliability, and Security : 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 : 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 |
| Altri autori (Persone) |
ButhBettina
RabeGerd SeyfarthTill |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Data protection
Computer networks Software engineering Computers, Special purpose Data and Information Security Computer Communication Networks Software Engineering Special Purpose and Application-Based Systems |
| 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 HumanFactors 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 | ||
| ||
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 | ||
| ||
Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers / / edited by Darren Cofer, Alessandro Fantechi
| Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers / / edited by Darren Cofer, Alessandro Fantechi |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (241 p.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer networks
Software engineering Compilers (Computer programs) Computer science Computers, Special purpose Computer Communication Networks Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Special Purpose and Application-Based Systems |
| 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 Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
Performance Evaluation and Benchmarking : 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 : 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 |
| Altri autori (Persone) |
NambiarRaghunath
PoessMeikel |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer science
Software engineering Data structures (Computer science) Information theory Computers Electronic digital computers - Evaluation Electronic data processing - Management Theory of Computation Software Engineering Data Structures and Information Theory Hardware Performance and Reliability System Performance and Evaluation IT Operations |
| 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 | ||
| ||
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 | ||
| ||
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 |
| Altri autori (Persone) |
KordonFabrice
KermarrecYvon |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Compilers (Computer programs) Electronic digital computers - Evaluation Computers Software Engineering Programming Techniques Compilers and Interpreters System Performance and Evaluation Hardware Performance and Reliability |
| 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 | ||
| ||
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 | ||
| ||
Software Process and Product Measurement : 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 : 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 |
| Altri autori (Persone) | AbranAlain <1949-> |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer science Computer systems Electronic digital computers - Evaluation Computer programming Software Engineering Theory of Computation Computer System Implementation System Performance and Evaluation Programming Techniques |
| 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 inSoftware Projects. |
| Record Nr. | UNINA-9910484919803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||