top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
Opac: Controlla la disponibilità qui
Advances in Software Engineering : 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 : 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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
Professional android 2 application development / / Reto Meier
Professional android 2 application development / / 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
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
Software engineering : international summer schools, ISSSE 2006-2008, Salerno, Italy, revised tutorial lectures / / Andrea De Lucia, Filomena Ferrucci (eds.)
Software engineering : international summer schools, ISSSE 2006-2008, Salerno, Italy, revised tutorial lectures / / Andrea De Lucia, Filomena Ferrucci (eds.)
Edizione [1st ed. 2009.]
Pubbl/distr/stampa New York, : Springer, c2009
Descrizione fisica 1 online resource (IX, 257 p.)
Disciplina 005.1
Altri autori (Persone) De LuciaAndrea
FerrucciFilomena
Collana Lecture notes in computer science
Soggetto topico Software engineering
Engineering
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
New York, : Springer, c2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
Software testing for conventional and logic programming / / Oliver Jack
Software testing for conventional and logic programming / / 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
Opac: Controlla la disponibilità qui