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.
Generic Programming [[electronic resource] ] : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers / / edited by Mehdi Jazayeri, Rüdiger G.K. Loos, David R. Musser
| Generic Programming [[electronic resource] ] : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers / / edited by Mehdi Jazayeri, Rüdiger G.K. Loos, David R. Musser |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (X, 272 p.) |
| Disciplina | 005 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Software engineering Data structures (Computer science) Algorithms Computer science—Mathematics Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Data Structures and Information Theory Data Structures Algorithm Analysis and Problem Complexity Symbolic and Algebraic Manipulation |
| ISBN | 3-540-39953-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations and Methodology Comparisons -- Fundamentals of Generic Programming -- Requirement Oriented Programming -- Generative Programming and Active Libraries -- The Refinement Relation of Graph-Based Generic Programs -- The Construction Principles of the Class Library Karla -- Programming Methodology -- Exception-Safety in Generic Components -- Segmented Iterators and Hierarchical Algorithms -- Theory and Generality of Complete Traversals -- A Data Abstraction Alternative to Data Structure/Algorithm Modularization -- Language Design -- Two Ways to Bake Your Pizza — Translating Parameterised Types into Java -- SuchThat — Generic Programming Works -- Specification and Verification -- Software Development in PVS Using Generic Development Steps -- Model Checking Generic Container Implementations -- Mizar Correctness Proofs of Generic Fraction Field Arithmetic -- Language Independent Container Specification -- Applications -- Applications of the Generic Programming Paradigm in the Design of CGAL -- Generic Programming in POOMA and PETE -- The STL Model in the Geometric Domain -- Generic Graph Algorithms -- A Generic Programming Environment for High-Performance Mathematical Libraries. |
| Record Nr. | UNISA-996465574403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Generic Programming : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers / / edited by Mehdi Jazayeri, Rüdiger G.K. Loos, David R. Musser
| Generic Programming : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers / / edited by Mehdi Jazayeri, Rüdiger G.K. Loos, David R. Musser |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (X, 272 p.) |
| Disciplina | 005 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Software engineering Data structures (Computer science) Algorithms Computer science—Mathematics Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Data Structures and Information Theory Data Structures Algorithm Analysis and Problem Complexity Symbolic and Algebraic Manipulation |
| ISBN | 3-540-39953-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations and Methodology Comparisons -- Fundamentals of Generic Programming -- Requirement Oriented Programming -- Generative Programming and Active Libraries -- The Refinement Relation of Graph-Based Generic Programs -- The Construction Principles of the Class Library Karla -- Programming Methodology -- Exception-Safety in Generic Components -- Segmented Iterators and Hierarchical Algorithms -- Theory and Generality of Complete Traversals -- A Data Abstraction Alternative to Data Structure/Algorithm Modularization -- Language Design -- Two Ways to Bake Your Pizza — Translating Parameterised Types into Java -- SuchThat — Generic Programming Works -- Specification and Verification -- Software Development in PVS Using Generic Development Steps -- Model Checking Generic Container Implementations -- Mizar Correctness Proofs of Generic Fraction Field Arithmetic -- Language Independent Container Specification -- Applications -- Applications of the Generic Programming Paradigm in the Design of CGAL -- Generic Programming in POOMA and PETE -- The STL Model in the Geometric Domain -- Generic Graph Algorithms -- A Generic Programming Environment for High-Performance Mathematical Libraries. |
| Record Nr. | UNINA-9910143638003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 22nd International Conference on Software Engineering
| Proceedings of the 22nd International Conference on Software Engineering |
| Autore | Ghezzi Carlo |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2000 |
| Descrizione fisica | 1 online resource (843 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | ICSE '00 |
| Record Nr. | UNISA-996199969803316 |
Ghezzi Carlo
|
||
| [Place of publication not identified], : ACM, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the 22nd International Conference on Software Engineering
| Proceedings of the 22nd International Conference on Software Engineering |
| Autore | Ghezzi Carlo |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2000 |
| Descrizione fisica | 1 online resource (843 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | ICSE '00 |
| Record Nr. | UNINA-9910146807403321 |
|
Ghezzi Carlo
|
||
| [Place of publication not identified], : ACM, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering / / Edited by Mehdi Jazayeri, Helmut Schauer
| Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering / / Edited by Mehdi Jazayeri, Helmut Schauer |
| Pubbl/distr/stampa | Springer-Verlag, 1997 |
| Descrizione fisica | 1 online resource (536 p.;) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
JazayeriMehdi
SchauerHelmut |
| Collana | ACM Conferences |
| Soggetto topico | Information Technology - Computer Science (Hardware & Networks) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ||| |
| Altri titoli varianti | ESEC '97/FSE-5 |
| Record Nr. | UNINA-9910144913003321 |
| Springer-Verlag, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering / / Edited by Mehdi Jazayeri, Helmut Schauer
| Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering / / Edited by Mehdi Jazayeri, Helmut Schauer |
| Pubbl/distr/stampa | Springer-Verlag, 1997 |
| Descrizione fisica | 1 online resource (536 p.;) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
JazayeriMehdi
SchauerHelmut |
| Collana | ACM Conferences |
| Soggetto topico | Information Technology - Computer Science (Hardware & Networks) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ||| |
| Altri titoli varianti | ESEC '97/FSE-5 |
| Record Nr. | UNISA-996465506203316 |
| Springer-Verlag, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering Education in the Modern Age [[electronic resource] ] : Software Education and Training Sessions at the International Conference, on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures / / edited by Paola Inverardi, Mehdi Jazayeri
| Software Engineering Education in the Modern Age [[electronic resource] ] : Software Education and Training Sessions at the International Conference, on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures / / edited by Paola Inverardi, Mehdi Jazayeri |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (VIII, 208 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Education—Data processing Computers and civilization Software Engineering/Programming and Operating Systems Computers and Education Computers and Society |
| ISBN | 3-540-68204-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On Software Engineering Education -- Reflections on Software Engineering Education -- Reflections on Software Engineering 2004, the ACM/IEEE-CS Guidelines for Undergraduate Programs in Software Engineering -- State of the Art and Practice: Creativity and Rigor -- Deciding What to Design: Closing a Gap in Software Engineering Education -- A Pedagogical View on Software Modeling and Graph-Structured Diagrams -- Do Students Recognize Ambiguity in Software Specifications? A Multi-national, Multi-institutional Report -- The Groupthink Specification Exercise -- Challenges for Industries and Academia -- The Making of a Software Engineer -- The Challenges of Software Engineering Education -- Future Directions -- A Strategy for Content Reusability with Product Lines Derived from Experience in Online Education -- Informatics: A Novel, Contextualized Approach to Software Engineering Education -- Software Engineering Education in the Era of Outsourcing, Distributed Development, and Open Source Software: Challenges and Opportunities -- On the Education of Future Software Engineers. |
| Record Nr. | UNISA-996466111303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software engineering education in the modern age : software education and training sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005 : revised lectures / / Paola Inverardi, Mehdi Jazayeri (eds.)
| Software engineering education in the modern age : software education and training sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005 : revised lectures / / Paola Inverardi, Mehdi Jazayeri (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (VIII, 208 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
InverardiPaola
JazayeriMehdi |
| Collana |
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer scienceTutorial |
| Soggetto topico | Software engineering - Study and teaching (Higher) |
| ISBN | 3-540-68204-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On Software Engineering Education -- Reflections on Software Engineering Education -- Reflections on Software Engineering 2004, the ACM/IEEE-CS Guidelines for Undergraduate Programs in Software Engineering -- State of the Art and Practice: Creativity and Rigor -- Deciding What to Design: Closing a Gap in Software Engineering Education -- A Pedagogical View on Software Modeling and Graph-Structured Diagrams -- Do Students Recognize Ambiguity in Software Specifications? A Multi-national, Multi-institutional Report -- The Groupthink Specification Exercise -- Challenges for Industries and Academia -- The Making of a Software Engineer -- The Challenges of Software Engineering Education -- Future Directions -- A Strategy for Content Reusability with Product Lines Derived from Experience in Online Education -- Informatics: A Novel, Contextualized Approach to Software Engineering Education -- Software Engineering Education in the Era of Outsourcing, Distributed Development, and Open Source Software: Challenges and Opportunities -- On the Education of Future Software Engineers. |
| Altri titoli varianti |
International Conference on Software Engineering
ICSE 2005 |
| Record Nr. | UNINA-9910483969703321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||