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.
2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015) : proceedings : August 30 - September 4, 2015, Bergamo, Italy
| 2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015) : proceedings : August 30 - September 4, 2015, Bergamo, Italy |
| Autore | Di Nitto Elisabetta |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2015 |
| Descrizione fisica | 1 online resource (1068 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Computer Science
Engineering & Applied Sciences |
| ISBN | 1-4503-3675-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering
ESEC/FSE '15 Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Bergamo, Italy - August 31 - September 04, 2015 |
| Record Nr. | UNINA-9910376591003321 |
Di Nitto Elisabetta
|
||
| [Place of publication not identified], : ACM, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
7th International Workshop on Search-Based Software Testing : proceedings : June 2 - June 3, 2014, Hyderabad, India
| 7th International Workshop on Search-Based Software Testing : proceedings : June 2 - June 3, 2014, Hyderabad, India |
| Autore | McMinn Phil |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2014 |
| Descrizione fisica | 1 online resource (38 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-2852-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
SBST 2014
Search-Based Software Testing 2014 Proceedings of the 7th International Workshop on Search-Based Software Testing |
| Record Nr. | UNINA-9910376384203321 |
|
McMinn Phil
|
||
| [Place of publication not identified], : ACM, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods and Testing [[electronic resource] ] : An Outcome of the FORTEST Network. Revised Selected Papers / / edited by Robert M. Hierons, Jonathan P. Bowen, Mark Harman
| Formal Methods and Testing [[electronic resource] ] : An Outcome of the FORTEST Network. Revised Selected Papers / / edited by Robert M. Hierons, Jonathan P. Bowen, Mark Harman |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XIII, 367 p.) |
| Disciplina | 005.1/4 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Management information systems Computer science Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-540-78917-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model Based Testing with Labelled Transition Systems -- Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer -- Testing Real-Time Systems Using UPPAAL -- Coverage Criteria for State Based Specifications -- Testing in the Distributed Test Architecture -- Testing from X-Machine Specifications -- Testing Data Types Implementations from Algebraic Specifications -- From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria -- Comparing the Effectiveness of Testing Techniques -- The Test Technology TTCN-3 -- Testability Transformation – Program Transformation to Improve Testability -- Modelling the Effects of Combining Diverse Software Fault Detection Techniques. |
| Record Nr. | UNISA-996465921203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods and Testing : An Outcome of the FORTEST Network. Revised Selected Papers / / edited by Robert M. Hierons, Jonathan P. Bowen, Mark Harman
| Formal Methods and Testing : An Outcome of the FORTEST Network. Revised Selected Papers / / edited by Robert M. Hierons, Jonathan P. Bowen, Mark Harman |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XIII, 367 p.) |
| Disciplina | 005.1/4 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Management information systems Computer science Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-540-78917-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model Based Testing with Labelled Transition Systems -- Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer -- Testing Real-Time Systems Using UPPAAL -- Coverage Criteria for State Based Specifications -- Testing in the Distributed Test Architecture -- Testing from X-Machine Specifications -- Testing Data Types Implementations from Algebraic Specifications -- From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria -- Comparing the Effectiveness of Testing Techniques -- The Test Technology TTCN-3 -- Testability Transformation – Program Transformation to Improve Testability -- Modelling the Effects of Combining Diverse Software Fault Detection Techniques. |
| Record Nr. | UNINA-9910484972603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Genetic and Evolutionary Computation - GECCO 2003 [[electronic resource] ] : Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003, Proceedings, Part I / / edited by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, David Lawrence, Rajkumar Roy, Una-May O'Reilly, Hans-Georg Beyer, Russel Standish, Graham Kendall, Stewart Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitchell A. Potter, Alan C. Schultz, Natasha Jonoska, Kathryn A. Dowsland, Julian F. Miller
| Genetic and Evolutionary Computation - GECCO 2003 [[electronic resource] ] : Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003, Proceedings, Part I / / edited by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, David Lawrence, Rajkumar Roy, Una-May O'Reilly, Hans-Georg Beyer, Russel Standish, Graham Kendall, Stewart Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitchell A. Potter, Alan C. Schultz, Natasha Jonoska, Kathryn A. Dowsland, Julian F. Miller |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XCIV, 1256 p.) |
| Disciplina | 006.3/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Computers Computer programming Algorithms Application software Bioinformatics Artificial Intelligence Computation by Abstract Devices Programming Techniques Algorithm Analysis and Problem Complexity Computer Appl. in Administrative Data Processing |
| ISBN | 3-540-45105-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A-Life, Adaptive Behavior, Agents, and Ant Colony Optimization -- A-Life, Adaptive Behavior, Agents, and Ant Colony Optimization — Posters -- Artificial Immune Systems -- Artificial Immune Systems — Posters -- Coevolution -- Coevolution — Posters -- DNA, Molecular, and Quantum Computing -- DNA, Molecular, and Quantum Computing — Posters -- Evolvable Hardware -- Evolvable Hardware — Posters -- Evolutionary Robotics -- Evolutionary Robotics — Posters -- Evolution Strategies/Evolutionary Programming -- Evolution Strategies/Evolutionary Programming — Posters -- Evolutionary Scheduling Routing -- Evolutionary Scheduling Routing — Posters -- Genetic Algorithms. |
| Record Nr. | UNISA-996465897103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Genetic and Evolutionary Computation - GECCO 2003 : Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003, Proceedings, Part I / / edited by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, David Lawrence, Rajkumar Roy, Una-May O'Reilly, Hans-Georg Beyer, Russel Standish, Graham Kendall, Stewart Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitchell A. Potter, Alan C. Schultz, Natasha Jonoska, Kathryn A. Dowsland, Julian F. Miller
| Genetic and Evolutionary Computation - GECCO 2003 : Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003, Proceedings, Part I / / edited by Erick Cantú-Paz, James A. Foster, Kalyanmoy Deb, David Lawrence, Rajkumar Roy, Una-May O'Reilly, Hans-Georg Beyer, Russel Standish, Graham Kendall, Stewart Wilson, Mark Harman, Joachim Wegener, Dipankar Dasgupta, Mitchell A. Potter, Alan C. Schultz, Natasha Jonoska, Kathryn A. Dowsland, Julian F. Miller |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XCIV, 1256 p.) |
| Disciplina | 006.3/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Computers Computer programming Algorithms Application software Bioinformatics Artificial Intelligence Computation by Abstract Devices Programming Techniques Algorithm Analysis and Problem Complexity Computer Appl. in Administrative Data Processing |
| ISBN | 3-540-45105-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A-Life, Adaptive Behavior, Agents, and Ant Colony Optimization -- A-Life, Adaptive Behavior, Agents, and Ant Colony Optimization — Posters -- Artificial Immune Systems -- Artificial Immune Systems — Posters -- Coevolution -- Coevolution — Posters -- DNA, Molecular, and Quantum Computing -- DNA, Molecular, and Quantum Computing — Posters -- Evolvable Hardware -- Evolvable Hardware — Posters -- Evolutionary Robotics -- Evolutionary Robotics — Posters -- Evolution Strategies/Evolutionary Programming -- Evolution Strategies/Evolutionary Programming — Posters -- Evolutionary Scheduling Routing -- Evolutionary Scheduling Routing — Posters -- Genetic Algorithms. |
| Record Nr. | UNINA-9910767534703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Genetic and Evolutionary Computation — GECCO 2004 [[electronic resource] ] : Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26–30, 2004 Proceedings, Part II / / edited by Kalyanmoy Deb, Riccardo Poli, Wolfgang Banzhaf, Hans-Georg Beyer, Edmund Burke, Paul Darwen, Dipankar Dasgupta, Dario Floreano, James A. Foster, Mark Harman, Owen Holland, Pier Luca Lanzi, Lee Spector, Andrea Tettamanzi, Dirk Thierens, Andy Tyrrell
| Genetic and Evolutionary Computation — GECCO 2004 [[electronic resource] ] : Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26–30, 2004 Proceedings, Part II / / edited by Kalyanmoy Deb, Riccardo Poli, Wolfgang Banzhaf, Hans-Georg Beyer, Edmund Burke, Paul Darwen, Dipankar Dasgupta, Dario Floreano, James A. Foster, Mark Harman, Owen Holland, Pier Luca Lanzi, Lee Spector, Andrea Tettamanzi, Dirk Thierens, Andy Tyrrell |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (C, 1448 p. 660 illus.) |
| Disciplina | 006.31 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Computer science Computers Algorithms Microprocessors Computer science—Mathematics Artificial Intelligence Computer Science, general Computation by Abstract Devices Algorithm Analysis and Problem Complexity Processor Architectures Discrete Mathematics in Computer Science |
| ISBN | 3-540-24855-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Genetic Algorithms (Continued) -- Genetic Algorithms – Posters -- Genetic Programming -- Genetic Programming – Posters -- Learning Classifier Systems -- Learning Classifier Systems – Poster -- Real World Applications -- Real World Applications – Posters -- Search-Based Software Engineering -- Search-Based Software Engineering – Posters. |
| Record Nr. | UNISA-996465721303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Genetic and Evolutionary Computation — GECCO 2004 [[electronic resource] ] : Genetic and Evolutionary Computation Conference Seattle, WA, USA, June 26–30, 2004, Proceedings, Part I / / edited by Kalyanmoy Deb, Riccardo Poli, Wolfgang Banzhaf, Hans-Georg Beyer, Edmund Burke, Paul Darwen, Dipankar Dasgupta, Dario Floreano, James A. Foster, Mark Harman, Owen Holland, Pier Luca Lanzi, Lee Spector, Andrea Tettamanzi, Dirk Thierens, Andy Tyrrell
| Genetic and Evolutionary Computation — GECCO 2004 [[electronic resource] ] : Genetic and Evolutionary Computation Conference Seattle, WA, USA, June 26–30, 2004, Proceedings, Part I / / edited by Kalyanmoy Deb, Riccardo Poli, Wolfgang Banzhaf, Hans-Georg Beyer, Edmund Burke, Paul Darwen, Dipankar Dasgupta, Dario Floreano, James A. Foster, Mark Harman, Owen Holland, Pier Luca Lanzi, Lee Spector, Andrea Tettamanzi, Dirk Thierens, Andy Tyrrell |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (C, 1448 p.) |
| Disciplina | 006.31 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Algorithms Artificial intelligence Microprocessors Computer science—Mathematics Bioinformatics Computation by Abstract Devices Algorithm Analysis and Problem Complexity Artificial Intelligence Processor Architectures Discrete Mathematics in Computer Science |
| ISBN | 3-540-24854-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A-Life, Adaptive Behavior, Agents, and Ant Colony Optimization -- A-Life, Adaptive Behavior, Agents, and Ant Colony Optimization – Posters -- Artificial Immune Systems -- Artificial Immune Systems – Posters -- Biological Applications -- Biological Applications – Posters -- Coevolution -- Coevolution – Posters -- Evolutionary Robotics -- Evolutionary Robotics – Poster -- Evolution Strategies/Evolutionary Programming -- Evolution Strategies/Evolutionary Programming – Posters -- Evolvable Hardware -- Genetic Algorithms. |
| Record Nr. | UNISA-996465724803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Genetic and Evolutionary Computation — GECCO 2004 : Genetic and Evolutionary Computation Conference Seattle, WA, USA, June 26–30, 2004, Proceedings, Part I / / edited by Kalyanmoy Deb, Riccardo Poli, Wolfgang Banzhaf, Hans-Georg Beyer, Edmund Burke, Paul Darwen, Dipankar Dasgupta, Dario Floreano, James A. Foster, Mark Harman, Owen Holland, Pier Luca Lanzi, Lee Spector, Andrea Tettamanzi, Dirk Thierens, Andy Tyrrell
| Genetic and Evolutionary Computation — GECCO 2004 : Genetic and Evolutionary Computation Conference Seattle, WA, USA, June 26–30, 2004, Proceedings, Part I / / edited by Kalyanmoy Deb, Riccardo Poli, Wolfgang Banzhaf, Hans-Georg Beyer, Edmund Burke, Paul Darwen, Dipankar Dasgupta, Dario Floreano, James A. Foster, Mark Harman, Owen Holland, Pier Luca Lanzi, Lee Spector, Andrea Tettamanzi, Dirk Thierens, Andy Tyrrell |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (C, 1448 p.) |
| Disciplina | 006.31 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Algorithms Artificial intelligence Microprocessors Computer science—Mathematics Bioinformatics Computation by Abstract Devices Algorithm Analysis and Problem Complexity Artificial Intelligence Processor Architectures Discrete Mathematics in Computer Science |
| ISBN | 3-540-24854-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A-Life, Adaptive Behavior, Agents, and Ant Colony Optimization -- A-Life, Adaptive Behavior, Agents, and Ant Colony Optimization – Posters -- Artificial Immune Systems -- Artificial Immune Systems – Posters -- Biological Applications -- Biological Applications – Posters -- Coevolution -- Coevolution – Posters -- Evolutionary Robotics -- Evolutionary Robotics – Poster -- Evolution Strategies/Evolutionary Programming -- Evolution Strategies/Evolutionary Programming – Posters -- Evolvable Hardware -- Genetic Algorithms. |
| Record Nr. | UNINA-9910144190603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Genetic and Evolutionary Computation — GECCO 2004 : Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26–30, 2004 Proceedings, Part II / / edited by Kalyanmoy Deb, Riccardo Poli, Wolfgang Banzhaf, Hans-Georg Beyer, Edmund Burke, Paul Darwen, Dipankar Dasgupta, Dario Floreano, James A. Foster, Mark Harman, Owen Holland, Pier Luca Lanzi, Lee Spector, Andrea Tettamanzi, Dirk Thierens, Andy Tyrrell
| Genetic and Evolutionary Computation — GECCO 2004 : Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26–30, 2004 Proceedings, Part II / / edited by Kalyanmoy Deb, Riccardo Poli, Wolfgang Banzhaf, Hans-Georg Beyer, Edmund Burke, Paul Darwen, Dipankar Dasgupta, Dario Floreano, James A. Foster, Mark Harman, Owen Holland, Pier Luca Lanzi, Lee Spector, Andrea Tettamanzi, Dirk Thierens, Andy Tyrrell |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (C, 1448 p. 660 illus.) |
| Disciplina | 006.31 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Computer science Computers Algorithms Microprocessors Computer science—Mathematics Artificial Intelligence Computer Science, general Computation by Abstract Devices Algorithm Analysis and Problem Complexity Processor Architectures Discrete Mathematics in Computer Science |
| ISBN | 3-540-24855-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Genetic Algorithms (Continued) -- Genetic Algorithms – Posters -- Genetic Programming -- Genetic Programming – Posters -- Learning Classifier Systems -- Learning Classifier Systems – Poster -- Real World Applications -- Real World Applications – Posters -- Search-Based Software Engineering -- Search-Based Software Engineering – Posters. |
| Record Nr. | UNINA-9910144190203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
