Fundamental approaches to software engineering : 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editors, Einar Broch Johnsen, Manuel Wimmer |
Autore | Johnsen Einar Broch |
Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
Descrizione fisica | 1 online resource (xiv, 347 pages) : illustrations |
Altri autori (Persone) |
JohnsenEinar Broch
WimmerManuel |
Collana | Lecture notes in computer science |
Soggetto topico | Software engineering |
Soggetto non controllato |
architecture verification and validation
distributed computer systems embedded systems empirical software validation formal methods model checking model-driven software engineering object-oriented programming program analysis software performance software quality software testing and debugging |
ISBN | 3-030-99429-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996464553503316 |
Johnsen Einar Broch | ||
Cham, : Springer International Publishing AG, 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Fundamental approaches to software engineering : 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editors, Einar Broch Johnsen, Manuel Wimmer |
Autore | Johnsen Einar Broch |
Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
Descrizione fisica | 1 online resource (xiv, 347 pages) : illustrations |
Altri autori (Persone) |
JohnsenEinar Broch
WimmerManuel |
Collana | Lecture notes in computer science |
Soggetto topico |
Software engineering
Enginyeria de programari |
Soggetto genere / forma |
Congressos
Llibres electrònics |
Soggetto non controllato |
architecture verification and validation
distributed computer systems embedded systems empirical software validation formal methods model checking model-driven software engineering object-oriented programming program analysis software performance software quality software testing and debugging |
ISBN | 3-030-99429-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910555236603321 |
Johnsen Einar Broch | ||
Cham, : Springer International Publishing AG, 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|