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.
Advances in Software Engineering [[electronic resource] ] : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures / / edited by Egon Börger, Antonio Cisternino
| Advances in Software Engineering [[electronic resource] ] : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures / / edited by Egon Börger, Antonio Cisternino |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (VII, 277 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques |
| Soggetto genere / forma |
Kongress.
Lipari (2007) |
| ISBN | 3-540-89762-3 |
| Classificazione |
DAT 310f
SS 4800 ST 230 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations and Methodology -- The Name and Nature of Software Engineering -- A Modeling Language for Program Design and Synthesis -- A Method for Verifiable and Validatable Business Process Modeling -- SOA and Web Services -- Service Oriented Architecture: Overview and Directions -- A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions -- Software Technology -- Software Manipulation with Annotations in Java -- Zero-Overhead Composable Aspects for .NET -- Technologies for Evolvable Software Products: The Conflict between Customizations and Evolution -- Security -- Security in Distributed Applications. |
| Record Nr. | UNISA-996465542003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Software Engineering [[electronic resource] ] : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures / / edited by Egon Börger, Antonio Cisternino
| Advances in Software Engineering [[electronic resource] ] : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures / / edited by Egon Börger, Antonio Cisternino |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (VII, 277 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques |
| Soggetto genere / forma |
Kongress.
Lipari (2007) |
| ISBN | 3-540-89762-3 |
| Classificazione |
DAT 310f
SS 4800 ST 230 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations and Methodology -- The Name and Nature of Software Engineering -- A Modeling Language for Program Design and Synthesis -- A Method for Verifiable and Validatable Business Process Modeling -- SOA and Web Services -- Service Oriented Architecture: Overview and Directions -- A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions -- Software Technology -- Software Manipulation with Annotations in Java -- Zero-Overhead Composable Aspects for .NET -- Technologies for Evolvable Software Products: The Conflict between Customizations and Evolution -- Security -- Security in Distributed Applications. |
| Record Nr. | UNINA-9910482961003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Professional android 2 application development [[electronic resource] /] / Reto Meier
| Professional android 2 application development [[electronic resource] /] / Reto Meier |
| Autore | Meier Reto |
| Edizione | [2nd edition] |
| Pubbl/distr/stampa | Indianapolis, IN, : Wiley, 2010 |
| Descrizione fisica | 1 online resource (580 pages) |
| Disciplina |
005.1
005.268 |
| Altri autori (Persone) | MeierReto <1978-> |
| Collana | Wrox professional guides |
| Soggetto topico |
Application software - Development
Open source software Mobile computing |
| ISBN |
1-282-55062-4
9786612550621 0-470-63745-5 |
| Classificazione |
ST 230
ST 261 ZN 6560 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Professional Android 2 Application Development; ABOUT THE AUTHOR; ABOUT THE TECHNICAL EDITOR; CREDITS; ACKNOWLEDGMENTS; CONTENTS; INTRODUCTION; WHOM THIS BOOK IS FOR; WHAT THIS BOOK COVERS; HOW THIS BOOK IS STRUCTURED; WHAT YOU NEED TO USE THIS BOOK; CONVENTIONS; SOURCE CODE; ERRATA; P2P.WROX.COM; Chapter 1: Hello, Android; A LITTLE BACKGROUND; WHAT IT ISN'T; ANDROID: AN OPEN PLATFORM FOR MOBILE DEVELOPMENT; NATIVE ANDROID APPLICATIONS; ANDROID SDK FEATURES; INTRODUCING THE OPEN HANDSET ALLIANCE; WHAT DOES ANDROID RUN ON?; WHY DEVELOP FOR MOBILE?; WHY DEVELOP FOR ANDROID?
INTRODUCING THE DEVELOPMENT FRAMEWORKSUMMARY; Chapter 2: Getting Started; DEVELOPING FOR ANDROID; DEVELOPING FOR MOBILE DEVICES; TO-DO LIST EXAMPLE; ANDROID DEVELOPMENT TOOLS; SUMMARY; Chapter 3: Creating Applications and Activities; WHAT MAKES AN ANDROID APPLICATION?; INTRODUCING THE APPLICATION MANIFEST; USING THE MANIFEST EDITOR; THE ANDROID APPLICATION LIFE CYCLE; UNDERSTANDING APPLICATION PRIORITY AND PROCESS STATES; EXTERNALIZING RESOURCES; INTRODUCING THE ANDROID APPLICATION CLASS; A CLOSER LOOK AT ANDROID ACTIVITIES; SUMMARY; Chapter 4: Creating User Interfaces FUNDAMENTAL ANDROID UI DESIGNINTRODUCING VIEWS; INTRODUCING LAYOUTS; CREATING NEW VIEWS; DRAWABLE RESOURCES; RESOLUTION AND DENSITY INDEPENDENCE; CREATING AND USING MENUS; SUMMARY; Chapter 5: Intents, Broadcast Receivers, Adapters, and the Internet; INTRODUCING INTENTS; INTRODUCING PENDING INTENTS; INTRODUCING ADAPTERS; USING INTERNET RESOURCES; INTRODUCING DIALOGS; CREATING AN EARTHQUAKE VIEWER; SUMMARY; Chapter 6: Files, Saving State, and Preferences; SAVING SIMPLE APPLICATION DATA; CREATING AND SAVING PREFERENCES; RETRIEVING SHARED PREFERENCES CREATING A SETTINGS ACTIVITY FOR THE EARTHQUAKE VIEWERINTRODUCING THE PREFERENCE ACTIVITY AND PREFERENCES FRAMEWORK; CREATING A STANDARD PREFERENCE ACTIVITY FOR THE EARTHQUAKE VIEWER; SAVING ACTIVITY STATE; SAVING AND LOADING FILES; INCLUDING STATIC FILES AS RESOURCES; FILE MANAGEMENT TOOLS; SUMMARY; Chapter 7: Databases and Content Providers; INTRODUCING ANDROID DATABASES; INTRODUCING SQLite; CURSORS AND CONTENT VALUES; WORKING WITH SQLite DATABASES; CREATING A NEW CONTENT PROVIDER; USING CONTENT PROVIDERS; CREATING AND USING AN EARTHQUAKE CONTENT PROVIDER; NATIVE ANDROID CONTENT PROVIDERS SUMMARYChapter 8: Geocoding, and Location-Based Services; USING LOCATION-BASED SERVICES; CONFIGURING THE EMULATOR TO TEST LOCATION-BASED SERVICES; UPDATING LOCATIONS IN EMULATOR LOCATION PROVIDERS; SELECTING A LOCATION PROVIDER; FINDING YOUR LOCATION; USING PROXIMITY ALERTS; USING THE GEOCODER; CREATING MAP-BASED ACTIVITIES; MAPPING EARTHQUAKES EXAMPLE; SUMMARY; Chapter 9: Working in the Background; INTRODUCING SERVICES; USING BACKGROUND THREADS; LET'S MAKE A TOAST; INTRODUCING NOTIFICATIONS; USING ALARMS; SUMMARY; Chapter 10: Invading the Phone-Top; INTRODUCING HOME-SCREEN WIDGETS CREATING APP WIDGETS |
| Record Nr. | UNINA-9910780875003321 |
Meier Reto
|
||
| Indianapolis, IN, : Wiley, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Professional android 2 application development [[electronic resource] /] / Reto Meier
| Professional android 2 application development [[electronic resource] /] / Reto Meier |
| Autore | Meier Reto |
| Edizione | [2nd edition] |
| Pubbl/distr/stampa | Indianapolis, IN, : Wiley, 2010 |
| Descrizione fisica | 1 online resource (580 pages) |
| Disciplina |
005.1
005.268 |
| Altri autori (Persone) | MeierReto <1978-> |
| Collana | Wrox professional guides |
| Soggetto topico |
Application software - Development
Open source software Mobile computing |
| ISBN |
1-282-55062-4
9786612550621 0-470-63745-5 |
| Classificazione |
ST 230
ST 261 ZN 6560 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Professional Android 2 Application Development; ABOUT THE AUTHOR; ABOUT THE TECHNICAL EDITOR; CREDITS; ACKNOWLEDGMENTS; CONTENTS; INTRODUCTION; WHOM THIS BOOK IS FOR; WHAT THIS BOOK COVERS; HOW THIS BOOK IS STRUCTURED; WHAT YOU NEED TO USE THIS BOOK; CONVENTIONS; SOURCE CODE; ERRATA; P2P.WROX.COM; Chapter 1: Hello, Android; A LITTLE BACKGROUND; WHAT IT ISN'T; ANDROID: AN OPEN PLATFORM FOR MOBILE DEVELOPMENT; NATIVE ANDROID APPLICATIONS; ANDROID SDK FEATURES; INTRODUCING THE OPEN HANDSET ALLIANCE; WHAT DOES ANDROID RUN ON?; WHY DEVELOP FOR MOBILE?; WHY DEVELOP FOR ANDROID?
INTRODUCING THE DEVELOPMENT FRAMEWORKSUMMARY; Chapter 2: Getting Started; DEVELOPING FOR ANDROID; DEVELOPING FOR MOBILE DEVICES; TO-DO LIST EXAMPLE; ANDROID DEVELOPMENT TOOLS; SUMMARY; Chapter 3: Creating Applications and Activities; WHAT MAKES AN ANDROID APPLICATION?; INTRODUCING THE APPLICATION MANIFEST; USING THE MANIFEST EDITOR; THE ANDROID APPLICATION LIFE CYCLE; UNDERSTANDING APPLICATION PRIORITY AND PROCESS STATES; EXTERNALIZING RESOURCES; INTRODUCING THE ANDROID APPLICATION CLASS; A CLOSER LOOK AT ANDROID ACTIVITIES; SUMMARY; Chapter 4: Creating User Interfaces FUNDAMENTAL ANDROID UI DESIGNINTRODUCING VIEWS; INTRODUCING LAYOUTS; CREATING NEW VIEWS; DRAWABLE RESOURCES; RESOLUTION AND DENSITY INDEPENDENCE; CREATING AND USING MENUS; SUMMARY; Chapter 5: Intents, Broadcast Receivers, Adapters, and the Internet; INTRODUCING INTENTS; INTRODUCING PENDING INTENTS; INTRODUCING ADAPTERS; USING INTERNET RESOURCES; INTRODUCING DIALOGS; CREATING AN EARTHQUAKE VIEWER; SUMMARY; Chapter 6: Files, Saving State, and Preferences; SAVING SIMPLE APPLICATION DATA; CREATING AND SAVING PREFERENCES; RETRIEVING SHARED PREFERENCES CREATING A SETTINGS ACTIVITY FOR THE EARTHQUAKE VIEWERINTRODUCING THE PREFERENCE ACTIVITY AND PREFERENCES FRAMEWORK; CREATING A STANDARD PREFERENCE ACTIVITY FOR THE EARTHQUAKE VIEWER; SAVING ACTIVITY STATE; SAVING AND LOADING FILES; INCLUDING STATIC FILES AS RESOURCES; FILE MANAGEMENT TOOLS; SUMMARY; Chapter 7: Databases and Content Providers; INTRODUCING ANDROID DATABASES; INTRODUCING SQLite; CURSORS AND CONTENT VALUES; WORKING WITH SQLite DATABASES; CREATING A NEW CONTENT PROVIDER; USING CONTENT PROVIDERS; CREATING AND USING AN EARTHQUAKE CONTENT PROVIDER; NATIVE ANDROID CONTENT PROVIDERS SUMMARYChapter 8: Geocoding, and Location-Based Services; USING LOCATION-BASED SERVICES; CONFIGURING THE EMULATOR TO TEST LOCATION-BASED SERVICES; UPDATING LOCATIONS IN EMULATOR LOCATION PROVIDERS; SELECTING A LOCATION PROVIDER; FINDING YOUR LOCATION; USING PROXIMITY ALERTS; USING THE GEOCODER; CREATING MAP-BASED ACTIVITIES; MAPPING EARTHQUAKES EXAMPLE; SUMMARY; Chapter 9: Working in the Background; INTRODUCING SERVICES; USING BACKGROUND THREADS; LET'S MAKE A TOAST; INTRODUCING NOTIFICATIONS; USING ALARMS; SUMMARY; Chapter 10: Invading the Phone-Top; INTRODUCING HOME-SCREEN WIDGETS CREATING APP WIDGETS |
| Record Nr. | UNINA-9910816900203321 |
|
Meier Reto
|
||
| Indianapolis, IN, : Wiley, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering [[electronic resource] ] : International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures / / edited by Andrea de Lucia, Filomena Ferrucci
| Software Engineering [[electronic resource] ] : International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures / / edited by Andrea de Lucia, Filomena Ferrucci |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (IX, 257 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer engineering Computer programming Management information systems Computer science Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Computer Engineering Software Engineering Programming Techniques Management of Computing and Information Systems |
| Soggetto genere / forma | Aufsatzsammlung |
| ISBN | 3-540-95888-6 |
| Classificazione |
004
DAT 310f SS 4800 ST 230 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Software Requirements and Design -- The Future of Software: Adaptation and Dependability -- Autonomic Computing Now You See It, Now You Don’t -- Impact of Usability on Software Requirements and Design -- Software Testing and Reverse Engineering -- Service-Oriented Architectures Testing: A Survey -- The PLASTIC Framework and Tools for Testing Service-Oriented Applications -- Architecture Reconstruction -- Management -- Collaboration in Distributed Software Development -- Web Cost Estimation and Productivity Benchmarking -- Knowledge Base and Experience Factory for Empowering Competitiveness. |
| Record Nr. | UNISA-996465911703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering [[electronic resource] ] : International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures / / edited by Andrea de Lucia, Filomena Ferrucci
| Software Engineering [[electronic resource] ] : International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures / / edited by Andrea de Lucia, Filomena Ferrucci |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (IX, 257 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer engineering Computer programming Management information systems Computer science Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Computer Engineering Software Engineering Programming Techniques Management of Computing and Information Systems |
| Soggetto genere / forma | Aufsatzsammlung |
| ISBN | 3-540-95888-6 |
| Classificazione |
004
DAT 310f SS 4800 ST 230 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Software Requirements and Design -- The Future of Software: Adaptation and Dependability -- Autonomic Computing Now You See It, Now You Don’t -- Impact of Usability on Software Requirements and Design -- Software Testing and Reverse Engineering -- Service-Oriented Architectures Testing: A Survey -- The PLASTIC Framework and Tools for Testing Service-Oriented Applications -- Architecture Reconstruction -- Management -- Collaboration in Distributed Software Development -- Web Cost Estimation and Productivity Benchmarking -- Knowledge Base and Experience Factory for Empowering Competitiveness. |
| Record Nr. | UNINA-9910484950103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software testing for conventional and logic programming [[electronic resource] /] / Oliver Jack
| Software testing for conventional and logic programming [[electronic resource] /] / Oliver Jack |
| Autore | Jack Oliver |
| Edizione | [Reprint 2011] |
| Pubbl/distr/stampa | Berlin ; ; New York, : W. de Gruyter, 1996 |
| Descrizione fisica | 1 online resource (252 p.) |
| Disciplina | 005.1/4 |
| Collana |
Programmierung Komplexer Systeme / Programming Complex Systems
Programming complex systems |
| Soggetto topico | Computer software - Testing |
| Soggetto genere / forma | Electronic books. |
| ISBN | 3-11-081600-8 |
| Classificazione | ST 230 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | I-VI -- Editorial Notes -- Preface -- Contents -- List of Figures -- Symbols and Notation -- Chapter 1 Introduction -- Chapter 2 Program Testing Concepts -- Chapter 3 Logic Programming Concepts -- Chapter 4 Program Instrumentation -- Chapter 5 Test Coverage -- Chapter 6 Test Input Generation -- Chapter 7 Complexity Analysis -- Chapter 8 Summary -- Appendix A The PROTest System -- Appendix Β Case Study -- Bibliography -- Index |
| Record Nr. | UNINA-9910462740803321 |
|
Jack Oliver
|
||
| Berlin ; ; New York, : W. de Gruyter, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software testing for conventional and logic programming [[electronic resource] /] / Oliver Jack
| Software testing for conventional and logic programming [[electronic resource] /] / Oliver Jack |
| Autore | Jack Oliver |
| Edizione | [Reprint 2011] |
| Pubbl/distr/stampa | Berlin ; ; New York, : W. de Gruyter, 1996 |
| Descrizione fisica | 1 online resource (252 p.) |
| Disciplina | 005.1/4 |
| Collana |
Programmierung Komplexer Systeme / Programming Complex Systems
Programming complex systems |
| Soggetto topico | Computer software - Testing |
| ISBN | 3-11-081600-8 |
| Classificazione | ST 230 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | I-VI -- Editorial Notes -- Preface -- Contents -- List of Figures -- Symbols and Notation -- Chapter 1 Introduction -- Chapter 2 Program Testing Concepts -- Chapter 3 Logic Programming Concepts -- Chapter 4 Program Instrumentation -- Chapter 5 Test Coverage -- Chapter 6 Test Input Generation -- Chapter 7 Complexity Analysis -- Chapter 8 Summary -- Appendix A The PROTest System -- Appendix Β Case Study -- Bibliography -- Index |
| Record Nr. | UNINA-9910785632403321 |
|
Jack Oliver
|
||
| Berlin ; ; New York, : W. de Gruyter, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software testing for conventional and logic programming [[electronic resource] /] / Oliver Jack
| Software testing for conventional and logic programming [[electronic resource] /] / Oliver Jack |
| Autore | Jack Oliver |
| Edizione | [Reprint 2011] |
| Pubbl/distr/stampa | Berlin ; ; New York, : W. de Gruyter, 1996 |
| Descrizione fisica | 1 online resource (252 p.) |
| Disciplina | 005.1/4 |
| Collana |
Programmierung Komplexer Systeme / Programming Complex Systems
Programming complex systems |
| Soggetto topico | Computer software - Testing |
| ISBN | 3-11-081600-8 |
| Classificazione | ST 230 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | I-VI -- Editorial Notes -- Preface -- Contents -- List of Figures -- Symbols and Notation -- Chapter 1 Introduction -- Chapter 2 Program Testing Concepts -- Chapter 3 Logic Programming Concepts -- Chapter 4 Program Instrumentation -- Chapter 5 Test Coverage -- Chapter 6 Test Input Generation -- Chapter 7 Complexity Analysis -- Chapter 8 Summary -- Appendix A The PROTest System -- Appendix Β Case Study -- Bibliography -- Index |
| Record Nr. | UNINA-9910811343303321 |
|
Jack Oliver
|
||
| Berlin ; ; New York, : W. de Gruyter, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||