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.
COTS-Based Software Systems [[electronic resource] ] : Second International Conference, ICCBSS 2003 Ottawa, Canada, February 10-13, 2003 / / edited by Hakan Erdogmus, Tao Weng
| COTS-Based Software Systems [[electronic resource] ] : Second International Conference, ICCBSS 2003 Ottawa, Canada, February 10-13, 2003 / / edited by Hakan Erdogmus, Tao Weng |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XVII, 263 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Software engineering Application software Management information systems Computer science Theory of Computation Software Engineering Computer Appl. in Administrative Data Processing Management of Computing and Information Systems |
| ISBN | 3-540-36465-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Protective Wrapper Development: A Case Study -- Establishing Trust in COTS Components -- Incorporation of Test Functionality into Software Components -- Not All CBS Are Created Equally: COTS-Intensive Project Types -- Defining a Quality Model for Mail Servers -- Classifying Interoperability Conflicts -- COTS Software Quality Evaluation -- Modelling Component Dependencies to Inform Their Selection -- The Space Shuttle and GPS: A Safety-Critical Navigation Upgrade -- A Model for Recording Early-Stage Proposals and Decisions on Using COTS Components in Architecture -- Designing Secure Integration Architectures -- Coordination in COTS-Based Development -- COTS Integration in Safety Critical Systems Using RTCA/DO-178B Guidelines -- Techniques for Embedding Executable Specifications in Software Component Interfaces -- eCots Platform: An Inter-industrial Initiative for COTS-Related Information Sharing -- COTS-Based Development: Taking the Pulse of a Project -- Estimating the Cost of Security for COTS Software -- Bringing COTS Information Technology into Small Manufacturing Enterprises -- COTS Acquisition Evaluation Process: The Preacher’s Practice -- BiCom: An Evaluation Framework for COTS Components -- Assessment of Reusable COTS Attributes -- Implications of Using the Capability Maturity Model Integration (CMMI ©) for COTS-Based Systems -- Evaluating COTS Based Architectures -- UML-Based Integration Testing for Component-Based Software. |
| Record Nr. | UNISA-996465668903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
COTS-Based Software Systems : Second International Conference, ICCBSS 2003 Ottawa, Canada, February 10-13, 2003 / / edited by Hakan Erdogmus, Tao Weng
| COTS-Based Software Systems : Second International Conference, ICCBSS 2003 Ottawa, Canada, February 10-13, 2003 / / edited by Hakan Erdogmus, Tao Weng |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XVII, 263 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Software engineering Application software Management information systems Computer science Theory of Computation Software Engineering Computer Appl. in Administrative Data Processing Management of Computing and Information Systems |
| ISBN | 3-540-36465-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Protective Wrapper Development: A Case Study -- Establishing Trust in COTS Components -- Incorporation of Test Functionality into Software Components -- Not All CBS Are Created Equally: COTS-Intensive Project Types -- Defining a Quality Model for Mail Servers -- Classifying Interoperability Conflicts -- COTS Software Quality Evaluation -- Modelling Component Dependencies to Inform Their Selection -- The Space Shuttle and GPS: A Safety-Critical Navigation Upgrade -- A Model for Recording Early-Stage Proposals and Decisions on Using COTS Components in Architecture -- Designing Secure Integration Architectures -- Coordination in COTS-Based Development -- COTS Integration in Safety Critical Systems Using RTCA/DO-178B Guidelines -- Techniques for Embedding Executable Specifications in Software Component Interfaces -- eCots Platform: An Inter-industrial Initiative for COTS-Related Information Sharing -- COTS-Based Development: Taking the Pulse of a Project -- Estimating the Cost of Security for COTS Software -- Bringing COTS Information Technology into Small Manufacturing Enterprises -- COTS Acquisition Evaluation Process: The Preacher’s Practice -- BiCom: An Evaluation Framework for COTS Components -- Assessment of Reusable COTS Attributes -- Implications of Using the Capability Maturity Model Integration (CMMI ©) for COTS-Based Systems -- Evaluating COTS Based Architectures -- UML-Based Integration Testing for Component-Based Software. |
| Record Nr. | UNINA-9910143883703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Extreme Programming and Agile Methods - XP/Agile Universe 2004 [[electronic resource] ] : 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004, Proceedings / / edited by Carmen Zannier, Hakan Erdogmus, Lowell Lindstrom
| Extreme Programming and Agile Methods - XP/Agile Universe 2004 [[electronic resource] ] : 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004, Proceedings / / edited by Carmen Zannier, Hakan Erdogmus, Lowell Lindstrom |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XIV, 238 p.) |
| Disciplina | 005.11 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer logic Computers and civilization Management information systems Computer science Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Computers and Society Management of Computing and Information Systems |
| ISBN | 3-540-27777-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Papers -- Combining Formal Specifications with Test Driven Development -- Long Build Trouble Shooting Guide -- Acceptance Testing vs. Unit Testing: A Developer’s Perspective -- The Role of Process Measurement in Test-Driven Development -- Acceptance Test Driven Planning -- An Agile Customer-Centered Method: Rapid Contextual Design -- Suitability of FIT User Acceptance Tests for Specifying Functional Requirements: Developer Perspective -- Using Storyotypes to Split Bloated XP Stories -- Distributed Pair Programming: An Empirical Study -- Support for Distributed Pair Programming in the Transparent Video Facetop -- Toward a Conceptual Framework of Agile Methods -- Security Engineering and eXtreme Programming: An Impossible Marriage? -- An Agile CMM -- Adapting Extreme Programming to Research, Development and Production Environments -- Outsourcing and Offshoring with Agility: A Case Study -- User Story Methodology Adaptations for Projects Non-traditional in Scope and Customer GUI Contributions -- Agile CS1 Labs: eXtreme Programming Practices in an Introductory Programming Course -- A Case Study in the Use of Extreme Programming in an Academic Environment -- Workshops: Research Close to the Action -- Who Should Write Acceptance Tests? -- Getting Leaders On-Board -- Third International Workshop on Empirical Evaluation of Agile Methods (“The Data Workshop”) -- How to Maintain and Promote Healthy Agile Culture -- UI Design as Part of an Agile Process -- Agile Development for Embedded Software -- Refactoring Our Writings -- Agile Tests as Documentation -- Fit Fest -- Panels -- Agile Project Management -- Agile Methods for Safety-Critical Software Development -- Is XP Still Relevant? -- Tutorials -- to Tutorials -- Agile Requirements: Tailoring the Functional Requirements Specification Process to Improve Agility -- Advanced Fit Lab -- Effective User Stories -- Outsourcing and Offshoring with Agility -- Traditional and Agile Project Management: A Practical Mapping -- The Agile/XP Team Primer: Exploring Self-organizing Teams -- Coaching Agile Software Teams -- Getting the Software You Need: A Practical Approach for Testers and the Customer Team -- First Encounter with Agile Methods -- Working Effectively with Legacy Code -- The Art of Acceptance Testing -- Agile Planning, Tracking, and Project Management Boot Camp -- Tutorial: Agile Project Management – Reliable Innovation -- XP for a Day -- Scripting Web Tests -- Interaction Design Meets Agility: Practicing Usage Centered Design on Agile Development Projects -- Agile Implementations, Agile Impediments, and Agile Management -- The Lean Maturity Measure Assessment and Implementation -- Agile Databases -- Transitioning to XP -- Large Scale Agile Software Development -- Refactoring to Patterns. |
| Record Nr. | UNISA-996465391503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Extreme Programming and Agile Methods - XP/Agile Universe 2004 : 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004, Proceedings / / edited by Carmen Zannier, Hakan Erdogmus, Lowell Lindstrom
| Extreme Programming and Agile Methods - XP/Agile Universe 2004 : 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004, Proceedings / / edited by Carmen Zannier, Hakan Erdogmus, Lowell Lindstrom |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XIV, 238 p.) |
| Disciplina | 005.11 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer logic Computers and civilization Management information systems Computer science Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Computers and Society Management of Computing and Information Systems |
| ISBN | 3-540-27777-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Papers -- Combining Formal Specifications with Test Driven Development -- Long Build Trouble Shooting Guide -- Acceptance Testing vs. Unit Testing: A Developer’s Perspective -- The Role of Process Measurement in Test-Driven Development -- Acceptance Test Driven Planning -- An Agile Customer-Centered Method: Rapid Contextual Design -- Suitability of FIT User Acceptance Tests for Specifying Functional Requirements: Developer Perspective -- Using Storyotypes to Split Bloated XP Stories -- Distributed Pair Programming: An Empirical Study -- Support for Distributed Pair Programming in the Transparent Video Facetop -- Toward a Conceptual Framework of Agile Methods -- Security Engineering and eXtreme Programming: An Impossible Marriage? -- An Agile CMM -- Adapting Extreme Programming to Research, Development and Production Environments -- Outsourcing and Offshoring with Agility: A Case Study -- User Story Methodology Adaptations for Projects Non-traditional in Scope and Customer GUI Contributions -- Agile CS1 Labs: eXtreme Programming Practices in an Introductory Programming Course -- A Case Study in the Use of Extreme Programming in an Academic Environment -- Workshops: Research Close to the Action -- Who Should Write Acceptance Tests? -- Getting Leaders On-Board -- Third International Workshop on Empirical Evaluation of Agile Methods (“The Data Workshop”) -- How to Maintain and Promote Healthy Agile Culture -- UI Design as Part of an Agile Process -- Agile Development for Embedded Software -- Refactoring Our Writings -- Agile Tests as Documentation -- Fit Fest -- Panels -- Agile Project Management -- Agile Methods for Safety-Critical Software Development -- Is XP Still Relevant? -- Tutorials -- to Tutorials -- Agile Requirements: Tailoring the Functional Requirements Specification Process to Improve Agility -- Advanced Fit Lab -- Effective User Stories -- Outsourcing and Offshoring with Agility -- Traditional and Agile Project Management: A Practical Mapping -- The Agile/XP Team Primer: Exploring Self-organizing Teams -- Coaching Agile Software Teams -- Getting the Software You Need: A Practical Approach for Testers and the Customer Team -- First Encounter with Agile Methods -- Working Effectively with Legacy Code -- The Art of Acceptance Testing -- Agile Planning, Tracking, and Project Management Boot Camp -- Tutorial: Agile Project Management – Reliable Innovation -- XP for a Day -- Scripting Web Tests -- Interaction Design Meets Agility: Practicing Usage Centered Design on Agile Development Projects -- Agile Implementations, Agile Impediments, and Agile Management -- The Lean Maturity Measure Assessment and Implementation -- Agile Databases -- Transitioning to XP -- Large Scale Agile Software Development -- Refactoring to Patterns. |
| Record Nr. | UNINA-9910144160803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SECM 2017 : 2017 IEEE/ACM 1st International Workshop on Software Engineering Curricula for Millennials : proceedings : 27 May 2017, Buenos Aires, Argentina / / editors, Hakan Erdogmus, Cécile Péraire ; sponsored by SIGSOFT
| SECM 2017 : 2017 IEEE/ACM 1st International Workshop on Software Engineering Curricula for Millennials : proceedings : 27 May 2017, Buenos Aires, Argentina / / editors, Hakan Erdogmus, Cécile Péraire ; sponsored by SIGSOFT |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE Press, , 2017 |
| Descrizione fisica | 1 online resource (86 pages) |
| Disciplina | 005.1071 |
| Soggetto topico | Software engineering - Study and teaching |
| ISBN | 1-5386-2795-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910211252203321 |
| Piscataway, New Jersey : , : IEEE Press, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SECM 2017 : 2017 IEEE/ACM 1st International Workshop on Software Engineering Curricula for Millennials : proceedings : 27 May 2017, Buenos Aires, Argentina / / editors, Hakan Erdogmus, Cécile Péraire ; sponsored by SIGSOFT
| SECM 2017 : 2017 IEEE/ACM 1st International Workshop on Software Engineering Curricula for Millennials : proceedings : 27 May 2017, Buenos Aires, Argentina / / editors, Hakan Erdogmus, Cécile Péraire ; sponsored by SIGSOFT |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE Press, , 2017 |
| Descrizione fisica | 1 online resource (86 pages) |
| Disciplina | 005.1071 |
| Soggetto topico | Software engineering - Study and teaching |
| ISBN | 1-5386-2795-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996280605003316 |
| Piscataway, New Jersey : , : IEEE Press, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
SPIN '17 : proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software : July 13-14, 2017, Santa Barbara, CA, USA / / edited by Hakan Erdogmus and Klaus Havelund ; sponsored by ACM SIGSOFT
| SPIN '17 : proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software : July 13-14, 2017, Santa Barbara, CA, USA / / edited by Hakan Erdogmus and Klaus Havelund ; sponsored by ACM SIGSOFT |
| Pubbl/distr/stampa | New York : , : ACM, , 2017 |
| Descrizione fisica | 1 online resource (199 pages) |
| Disciplina | 005.14 |
| Soggetto topico | Computer software - Verification |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
SPIN '17 : proceedings of the 24th Association for Computing Machinery Special Interest Group on Software Engineering International SPIN Symposium on Model Checking of Software : July 13-14, 2017, Santa Barbara, California, United States of America
SPIN 2017 Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software Proceedings of the 24th Association for Computing Machinery Special Interest Group on Software Engineering International SPIN Symposium on Model Checking of Software |
| Record Nr. | UNINA-9910375849203321 |
| New York : , : ACM, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||