Fundamental Approaches to Software Engineering [[electronic resource] ] : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / / edited by Heike Wehrheim, Jordi Cabot |
Autore | Wehrheim Heike |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XIII, 552 p. 1 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computers, Special purpose Microprogramming Computer systems Computer networks Artificial intelligence Software Engineering Special Purpose and Application-Based Systems Control Structures and Microprogramming Computer System Implementation Computer Communication Networks Artificial Intelligence |
ISBN | 3-030-45234-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Requirements engineering -- Software architectures -- Specification -- Software quality -- Validation -- Verification of functional and non-functional properties -- Model-driven development and model transformation -- Software processes -- Security and software evolution. |
Record Nr. | UNISA-996418213103316 |
Wehrheim Heike | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / / edited by Heike Wehrheim, Jordi Cabot |
Autore | Wehrheim Heike |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XIII, 552 p. 1 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computers, Special purpose Microprogramming Computer systems Computer networks Artificial intelligence Software Engineering Special Purpose and Application-Based Systems Control Structures and Microprogramming Computer System Implementation Computer Communication Networks Artificial Intelligence |
ISBN | 3-030-45234-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Requirements engineering -- Software architectures -- Specification -- Software quality -- Validation -- Verification of functional and non-functional properties -- Model-driven development and model transformation -- Software processes -- Security and software evolution. |
Record Nr. | UNINA-9910404119103321 |
Wehrheim Heike | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|