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.
18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP 2007): Porto Alegre, RS, Brazil - 28-30 May 2007
| 18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP 2007): Porto Alegre, RS, Brazil - 28-30 May 2007 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2007 |
| Descrizione fisica | 1 online resource (xi, 209 pages) : illustrations |
| Disciplina | 005.1015113 |
| Soggetto topico | Computer software - Development |
| ISBN | 1-5090-9035-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996202088403316 |
| [Place of publication not identified], : IEEE Computer Society Press, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP 2007): Porto Alegre, RS, Brazil - 28-30 May 2007
| 18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP 2007): Porto Alegre, RS, Brazil - 28-30 May 2007 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2007 |
| Descrizione fisica | 1 online resource (xi, 209 pages) : illustrations |
| Disciplina | 005.1015113 |
| Soggetto topico | Computer software - Development |
| ISBN |
9781509090358
1509090355 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910142658503321 |
| [Place of publication not identified], : IEEE Computer Society Press, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2009 Joint Working IEEE/IFIP Conference on Software Architecture and 3rd European Conference on Software Architecture
| 2009 Joint Working IEEE/IFIP Conference on Software Architecture and 3rd European Conference on Software Architecture |
| Pubbl/distr/stampa | [Place of publication not identified], : I E E E, 2009 |
| Descrizione fisica | 1 online resource |
| Disciplina | 005.1015113 |
| Soggetto topico | Computer software |
| ISBN |
9781509068425
1509068422 9781424452958 1424452953 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910138936003321 |
| [Place of publication not identified], : I E E E, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2009 XXIII Brazilian Symposium on Software Engineering
| 2009 XXIII Brazilian Symposium on Software Engineering |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2009 |
| Descrizione fisica | 1 online resource |
| Disciplina | 005.1015113 |
| Soggetto topico |
Computer software
Software engineering |
| ISBN |
9781509072415
1509072411 9780769538440 0769538444 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910138934803321 |
| [Place of publication not identified], : IEEE, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2012 Third International Workshop on Recommendation Systems for Software Engineering
| 2012 Third International Workshop on Recommendation Systems for Software Engineering |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2012 |
| Descrizione fisica | 1 online resource (iv, 96 pages) |
| Disciplina | 005.1015113 |
| Soggetto topico |
Computer software
Software engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910873795103321 |
| [Place of publication not identified], : IEEE, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2013 1st International Workshop on Release Engineering (RELENG) / / Institute of Electrical and Electronics Engineers
| 2013 1st International Workshop on Release Engineering (RELENG) / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , 2013 |
| Descrizione fisica | 1 online resource (36 pages) |
| Disciplina | 005.1015113 |
| Soggetto topico | Computer software |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foreword iii -- Adding Automatic Dependency Processing to Makefile-Based Build Systems with Amake -- Jim Buffenbarger - Boise State University, USA 1 -- Eliciting Operations Requirements for Applications -- Len Bass, Ross Jeffery, Hiroshi Wada, Ingo Weber, and Liming Zhu - NICTA, Australia; UNSW, Australia 5 -- Kanbanize the Release Engineering Process -- Noureddine Kerzazi and Pierre N. Robillard - Payza, Canada; Polytechnique Montréal, Canada . 9 -- Ant Build Maintenance with Formiga -- Ryan Hardt and Ethan V. Munson - University of Wisconsin-Milwaukee, USA 13 -- Charon: Declarative Provisioning and Deployment -- Eelco Dolstra, Rob Vermaas, and Shea Levy - LogicBlox, USA 17 -- Releasing Sooner or Later: An Optimization Approach and Its Case Study Evaluation -- Jason Ho and Guenther Ruhe - University of Calgary, Canada; Expert Decisions, Canada 21 -- Branching Strategies Based on Social Networks -- Noureddine Kerzazi - Payza, Canada . 25 -- What Effect does Distributed Version Control have on OSS Project Organization? -- Peter C. Rigby, Earl T. Barr, Christian Bird, Premkumar Devanbu, and Daniel M. German - Concordia University, Canada; -- University College London, UK; Microsoft Research, USA; UC Davis, USA; University of Victoria, Canada 29 -- The Future of Continuous Integration in GNOME -- Colin Walters, Germán Poo-Caamaño, and Daniel M. German - Red Hat, USA; University of Victoria, Canada 33. |
| Altri titoli varianti |
2013 1st International Workshop on Release Engineering
Release Engineering |
| Record Nr. | UNISA-996279763503316 |
| Piscataway, New Jersey : , : IEEE, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2020 12th International Conference on Communication Software and Networks (ICCSN) / / Institute of Electrical and Electronics Engineers
| 2020 12th International Conference on Communication Software and Networks (ICCSN) / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , 2020 |
| Descrizione fisica | 1 online resource |
| Disciplina | 005.1015113 |
| Soggetto topico | Computer software |
| ISBN | 1-7281-9815-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2020 12th International Conference on Communication Software and Networks |
| Record Nr. | UNINA-9910437191903321 |
| Piscataway, New Jersey : , : IEEE, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2020 12th International Conference on Communication Software and Networks (ICCSN) / / Institute of Electrical and Electronics Engineers
| 2020 12th International Conference on Communication Software and Networks (ICCSN) / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , 2020 |
| Descrizione fisica | 1 online resource |
| Disciplina | 005.1015113 |
| Soggetto topico | Computer software |
| ISBN | 1-7281-9815-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2020 12th International Conference on Communication Software and Networks |
| Record Nr. | UNISA-996575570203316 |
| Piscataway, New Jersey : , : IEEE, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ABZ 2014: The Landing Gear Case Study : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings / / edited by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe
| ABZ 2014: The Landing Gear Case Study : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings / / edited by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 161 p. 47 illus.) |
| Disciplina | 005.1015113 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer logic
Logic, Symbolic and mathematical Computers Computer simulation Logics and Meanings of Programs Mathematical Logic and Formal Languages Computation by Abstract Devices Simulation and Modeling |
| ISBN | 3-319-07512-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal techniques: B, ASM, Fiacre -- Kinds of verification -- Proof -- Model checking -- Test generation -- Run-time monitoring -- Simulation. |
| Record Nr. | UNINA-9910298563803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Adjunct Publication of the 32nd Annual ACM Symposium on User Interface Software and Technology / / François Guimbretière, Michael Bernstein, Katharina Reinecke, editors
| Adjunct Publication of the 32nd Annual ACM Symposium on User Interface Software and Technology / / François Guimbretière, Michael Bernstein, Katharina Reinecke, editors |
| Pubbl/distr/stampa | New York, NY : , : Association for Computing Machinery, , 2019 |
| Descrizione fisica | 1 online resource (192 pages) : illustrations |
| Disciplina | 005.1015113 |
| Collana | ACM international conference proceedings series |
| Soggetto topico |
Computer software
Interactive computer systems User interfaces (Computer systems) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910412290303321 |
| New York, NY : , : Association for Computing Machinery, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
