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
كتاب من تأليف: Wimmer, Manuel ; Broch Johnsen, Einar ; نشر في: 2022
طبعة:
Cham:
Springer
لغة:
إنجليزية
الوصف المادي:
Données textuelles
ISBN: 9783030994297
الموضوع
الإعلام الآلي
الكلمات الدالة:
architecture verification and validation
distributed computer systems
embedded systems
empirical software validation
Formal Methods
model-driven software engineering
model checking
software testing and debugging
