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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|