ASAS'11 : proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems, September 4, 2011, Szeged, Hungary |
Autore | Cámara Javier |
Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2011 |
Descrizione fisica | 1 online resource (44 pages) |
Collana | ACM Conferences |
Soggetto topico |
Engineering & Applied Sciences
Computer Science |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Assurances for Self-Adaptive Systems'11
Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems ESEC/FSE'11 Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Szeged, Hungary - September 05 - 09, 2011 |
Record Nr. | UNINA-9910376527203321 |
Cámara Javier
![]() |
||
[Place of publication not identified], : ACM, 2011 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Coordination Models and Languages [[electronic resource] ] : 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings / / edited by Sung-Shik Jongmans, Antónia Lopes |
Autore | Jongmans Sung-Shik |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (296 pages) |
Disciplina | 005.27 |
Altri autori (Persone) | LopesAntónia |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Software Engineering |
ISBN | 3-031-35361-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Collective Adaptive Systems and Aggregate Computing -- Cyber-Physical Systems -- Verification and Testing -- Languages and Processes -- Run-Time Changes. |
Record Nr. | UNISA-996538666403316 |
Jongmans Sung-Shik
![]() |
||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Coordination Models and Languages : 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings / / edited by Sung-Shik Jongmans, Antónia Lopes |
Autore | Jongmans Sung-Shik |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (296 pages) |
Disciplina | 005.27 |
Altri autori (Persone) | LopesAntónia |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Software Engineering |
ISBN | 3-031-35361-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Collective Adaptive Systems and Aggregate Computing -- Cyber-Physical Systems -- Verification and Testing -- Languages and Processes -- Run-Time Changes. |
Record Nr. | UNINA-9910731489803321 |
Jongmans Sung-Shik
![]() |
||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Software Architecture [[electronic resource] ] : 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings / / edited by Antónia Lopes, Rogério de Lemos |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XII, 217 p. 50 illus.) |
Disciplina | 005 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer organization Programming languages (Electronic computers) Computers Software Engineering Computer Systems Organization and Communication Networks Programming Languages, Compilers, Interpreters Computing Milieux |
ISBN | 3-319-65831-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Software Architecture Analysis and Verification -- Software Architecture Evolution -- Automatic Generation -- Architectural Decisions -- Software Architecture Practice. |
Record Nr. | UNISA-996466169003316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Software Architecture : 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings / / edited by Antónia Lopes, Rogério de Lemos |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XII, 217 p. 50 illus.) |
Disciplina | 005 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer engineering Computer networks Compilers (Computer programs) Computers Software Engineering Computer Engineering and Networks Compilers and Interpreters Computing Milieux |
ISBN | 3-319-65831-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Software Architecture Analysis and Verification -- Software Architecture Evolution -- Automatic Generation -- Architectural Decisions -- Software Architecture Practice. |
Record Nr. | UNINA-9910483311803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|