Prodotto Ricercato: ecu software
Many books focus on increasing the quality of software through the use of formal methods. However, …
A partire da
Disponibilità
The art, craft, discipline, logic, practice, and science of developing large-scale software product…
This book introduces the concept of software architecture as one of the cornerstones of software in…
The first ESPRIT programme contained several ambitious projects. of which REQUEST. with its wide br…
Der Autor beschreibt alle Phasen eines Lizenzierungsprojektes, zeigt den Weg zur Auswahl des richti…
Computerabstürze, Rückrufaktionen, Sicherheitslecks: Das Phänomen Software- Fehler hat sich zum …
There is currently no description available
This book is about the design and development of tools for software testing. It intends to get the …
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checkin…
This text contains the proceedings of a workshop on software develoDment tools, held at Pingree Par…
Environmental Informatics is a fast growing field which deals with all methods from computer scienc…
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Che…
