Leveraging Applications of Formal Methods, Verification and Validation. Modeling المزيد من الكتب المشابهة

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

٢٠٢٢

Leveraging Applications of Formal Methods, Verification and Validation

٢٠٢١

Model-Driven Engineering and Software Development

٢٠٢٠

Perspectives of System Informatics

٢٠١٨

Transactions on Foundations for Mastering Change I

٢٠١٦

Generative and Transformational Techniques in Software Engineering II

٢٠٠٨

Formal Methods for Components and Objects

٢٠٠٩

Model-Driven Engineering and Software Development

٢٠١٩

Objects, Components, Models and Patterns

٢٠٠٩

Software Technologies: Applications and Foundations

٢٠١٨

Grand Timely Topics in Software Engineering

٢٠١٧

Model Driven Engineering Languages and Systems

٢٠١١

Formal Methods. FM 2019 International Workshops

٢٠٢٠

Theory and Practice of Model Transformation

٢٠١٨

Generative and Transformational Techniques in Software Engineering III

٢٠١١