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.
Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications : QASBA 2013
Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications : QASBA 2013
Autore Bianculli Domenico
Pubbl/distr/stampa [Place of publication not identified], : ACM, 2013
Descrizione fisica 1 online resource (28 pages)
Collana ACM Conferences
Soggetto topico Mechanical Engineering
Engineering & Applied Sciences
Industrial & Management Engineering
ISBN 1-4503-2182-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Altri titoli varianti Proceedings of the 2013 International Workshop on Quality Assurance for Service-based Applications
Record Nr. UNINA-9910375893403321
Bianculli Domenico  
[Place of publication not identified], : ACM, 2013
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
QASBA 2011 : proceedings of the International Workshop on Quality Assurance for Service-based Applications : co-located with ECOWS 2011, Lugano, Switzerland, September 14, 2011
QASBA 2011 : proceedings of the International Workshop on Quality Assurance for Service-based Applications : co-located with ECOWS 2011, Lugano, Switzerland, September 14, 2011
Autore Bianculli Domenico
Pubbl/distr/stampa [Place of publication not identified], : ACM, 2011
Descrizione fisica 1 online resource (49 pages)
Collana ACM Other conferences
Soggetto topico Electrical & Computer Engineering
Engineering & Applied Sciences
Telecommunications
ISBN 1-4503-0826-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Altri titoli varianti Quality Assurance for Service-based Applications 2011
Proceedings of the International Workshop on Quality Assurance for Service-based Applications
QASBA '11 International Workshop on Quality Assurance for Service-based Applications, Lugano, Switzerland - September 14 - 14, 2011
Record Nr. UNINA-9910376530903321
Bianculli Domenico  
[Place of publication not identified], : ACM, 2011
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Software Engineering and Formal Methods [[electronic resource] ] : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERYSCART, York, UK, September 7-8, 2015. Revised Selected Papers / / edited by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe
Software Engineering and Formal Methods [[electronic resource] ] : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERYSCART, York, UK, September 7-8, 2015. Revised Selected Papers / / edited by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (XXIX, 325 p. 88 illus. in color.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Application software
Artificial intelligence
Algorithms
Mathematical statistics
Computers
Database management
Information Systems Applications (incl. Internet)
Artificial Intelligence
Algorithm Analysis and Problem Complexity
Probability and Statistics in Computer Science
Computation by Abstract Devices
Database Management
ISBN 3-662-49224-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Automating Test Case Design, Selection and Evaluation -- Human-Oriented Formal Methods -- Modelling and Knowledge Management Applications: Systems and Domains -- Art of Service Composition and Formal Verification for Self-* Systems.
Record Nr. UNISA-996466191803316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERYSCART, York, UK, September 7-8, 2015. Revised Selected Papers / / edited by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe
Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERYSCART, York, UK, September 7-8, 2015. Revised Selected Papers / / edited by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (XXIX, 325 p. 88 illus. in color.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Application software
Artificial intelligence
Algorithms
Mathematical statistics
Computers
Database management
Information Systems Applications (incl. Internet)
Artificial Intelligence
Algorithm Analysis and Problem Complexity
Probability and Statistics in Computer Science
Computation by Abstract Devices
Database Management
ISBN 3-662-49224-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Automating Test Case Design, Selection and Evaluation -- Human-Oriented Formal Methods -- Modelling and Knowledge Management Applications: Systems and Domains -- Art of Service Composition and Formal Verification for Self-* Systems.
Record Nr. UNINA-9910484043203321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui