Formal Methods for Components and Objects المزيد من الكتب المشابهة

Objects, Components, Models and Patterns

٢٠٠٩

Perspectives of System Informatics

٢٠١٨

Software Engineering and Formal Methods

٢٠١٥

Formal Methods for Eternal Networked Software Systems

٢٠١١

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

٢٠١٦

Formal Aspects of Component Software

٢٠١٤

Model-Driven Engineering and Software Development

٢٠٢٠

Software Engineering and Formal Methods

٢٠١٤

Software Engineering and Formal Methods

٢٠١٧

Coordination Models and Languages

٢٠٢٠

Model-Driven Engineering and Software Development

٢٠٢١

Software Composition

٢٠٠٨

Model Driven Engineering Languages and Systems

٢٠١١

Generative and Transformational Techniques in Software Engineering II

٢٠٠٨

Formal Methods and Software Engineering

٢٠١٨