5th International Workshop on Emerging Trends in Software Metrics : proceedings : June 3, 2014, Hyderabad, India |
Autore | Counsell Steve |
Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2014 |
Descrizione fisica | 1 online resource (72 pages) |
Collana | ACM Conferences |
Soggetto topico |
Engineering & Applied Sciences
Computer Science |
ISBN | 1-4503-2854-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
WETSoM 2014
Workshop on Emerging Trends in Software Metrics 2014 Proceedings of the 5th International Workshop on Emerging Trends in Software Metrics |
Record Nr. | UNINA-9910376368303321 |
Counsell Steve
![]() |
||
[Place of publication not identified], : ACM, 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Agile Methods. Large-Scale Development, Refactoring, Testing, and Estimation [[electronic resource] ] : XP 2014 International Workshops, Rome, Italy, May 26-30, 2014, Revised Selected Papers / / edited by Torgeir Dingsøyr, Nils Brede Moe, Roberto Tonelli, Steve Counsell, Cigdem Gencel, Kai Petersen |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 210 p. 61 illus.) |
Disciplina | 005.11 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Software engineering
Management information systems Computer science Software Engineering Management of Computing and Information Systems |
ISBN | 3-319-14358-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part: Principles of Large-Scale Agile Development -- Towards Principles of Large-Scale Agile Development: A Summary of the Workshop at XP2014 and a Revised Research Agenda -- Characteristics and Principles of Scaled Agile -- Architecture in Large Scale Agile Development -- Industrial Challenges of Scaling Agile in Mass-Produced Embedded Systems -- Agile in Distress: Architecture to the Rescue -- Conventions for Coordinating Large Agile Projects -- Supporting a Large-Scale Lean and Agile Transformation by Defining Common Values -- A Model for Understanding When Scaling Agile Is Appropriate in Large Organizations -- Control in Software Project Portfolios: A Complex Adaptive Systems Approach -- Part: Refactoring & Testing -- A Measure of the Modularisation of Sequential Software Versions Using Random Graph Theory -- Refactoring Clustering in Java Software Networks -- Are Some Refactorings Attached to Fault-Prone Classes and Others to Fault-Free Classes? -- Capturing Software Evolution and Change through Code Repository Smells -- Considering Polymorphism in Change-Based Test Suite Reduction -- Part: Estimations in the 21st Century Software Engineering -- Effort Estimation in Agile Global Software Development Context -- Early Software Project Estimation the Six Sigma Way. |
Record Nr. | UNINA-9910298991503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software Engineering and Formal Methods [[electronic resource] ] : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers / / edited by Steve Counsell, Manuel Núñez |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XXV, 432 p. 150 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer logic
Software engineering Programming languages (Electronic computers) Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters |
ISBN | 3-319-05032-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Towards Global and Local Types for Adaptation.- A Concurrent Programming Language with Refined Session Types.- Behavioural Types Inspired by Cellular Thresholds.- Ensuring Faultless Communication Behaviour in A Commercial Cloud.- A Typing System for Privacy.- Compliance and Testing Preorders Differ.- Scalable Session Programming for Heterogeneous High-Performance Systems.- A Supervisor Synthesis Tool for Finite Nondeterministic Automata with Data.- SMT-Constrained Symbolic Execution for Eclipse CDT/Codan.- IOCO as a Simulation.- Modeling and Simulating Interaction Protocols Using Nested Petri Nets.- PetriCode: A Tool for Template-Based Code Generation from CPN Models.- Twenty-Five Years of Formal Methods and Railways: What Next.- What IS a BoK? Large – Extended Abstract.- Verification of Scheme Plans Using CSPjjB.- Applied Bounded Model Checking for Interlocking System Designs.- Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO.- Validation of Railway Interlocking Systems by Formal Verification, A Case Study -- Verification of Solid State Interlocking Programs -- Towards Knowledge Modeling for Sustainable Transport -- XBRL-Driven Business Process Improvement: A Simulation Study in the Accounting Domain -- The Role of Linked Data and Semantic-Technologies for Sustainability Idea Management.- Stochastic Modelling of Seasonal Migration Using Rewriting Systems with Spatiality.- A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations.- Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models.- DISPAS: An Agent-Based Tool for the Management of Fishing Effort.- Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily Risky.- Soundness and Completeness of the NRB Verification Logic.- Analysis of FLOSS Communities as Learning Contexts -- Small World Characteristics of FLOSS Distributions. |
Record Nr. | UNISA-996203276103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Software Engineering and Formal Methods [[electronic resource] ] : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers / / edited by Steve Counsell, Manuel Núñez |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XXV, 432 p. 150 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer logic
Software engineering Programming languages (Electronic computers) Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters |
ISBN | 3-319-05032-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Towards Global and Local Types for Adaptation.- A Concurrent Programming Language with Refined Session Types.- Behavioural Types Inspired by Cellular Thresholds.- Ensuring Faultless Communication Behaviour in A Commercial Cloud.- A Typing System for Privacy.- Compliance and Testing Preorders Differ.- Scalable Session Programming for Heterogeneous High-Performance Systems.- A Supervisor Synthesis Tool for Finite Nondeterministic Automata with Data.- SMT-Constrained Symbolic Execution for Eclipse CDT/Codan.- IOCO as a Simulation.- Modeling and Simulating Interaction Protocols Using Nested Petri Nets.- PetriCode: A Tool for Template-Based Code Generation from CPN Models.- Twenty-Five Years of Formal Methods and Railways: What Next.- What IS a BoK? Large – Extended Abstract.- Verification of Scheme Plans Using CSPjjB.- Applied Bounded Model Checking for Interlocking System Designs.- Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO.- Validation of Railway Interlocking Systems by Formal Verification, A Case Study -- Verification of Solid State Interlocking Programs -- Towards Knowledge Modeling for Sustainable Transport -- XBRL-Driven Business Process Improvement: A Simulation Study in the Accounting Domain -- The Role of Linked Data and Semantic-Technologies for Sustainability Idea Management.- Stochastic Modelling of Seasonal Migration Using Rewriting Systems with Spatiality.- A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations.- Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models.- DISPAS: An Agent-Based Tool for the Management of Fishing Effort.- Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily Risky.- Soundness and Completeness of the NRB Verification Logic.- Analysis of FLOSS Communities as Learning Contexts -- Small World Characteristics of FLOSS Distributions. |
Record Nr. | UNINA-9910484586503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|