*Formal Methods for Components and Objects* is a collection of revised research papers from the 9th International Symposium on Formal Methods for Components and Objects (FMCO 2010), held in Graz, Austria, in 2010. The book focuses on the application of formal methods in software engineering, particularly for large-scale, complex object-oriented and component-based software systems. Topics covered include formal specification, system modeling, software verification, model checking, distributed systems, Event-B, and techniques for software analysis and development. The works presented reflect research into methods and tools designed to enhance the correctness, reliability, and verifiability of software systems. This volume serves as a valuable reference for researchers, educators, graduate students, and software engineers interested in formal methods and software engineering.

Ngôn ngữ:	eng
Tác giả:	Aichernig, Bernhard K. (Eds), De Boer, Frank S.(Eds), Bonsangue, Marcello M.(Eds)
Thông tin nhan đề:	Formal methods for components and objects
Nhà xuất bản:	Springer
Loại hình:	Giáo trình sách, tham khảo / Bộ sưu tập: Công nghệ thông tin
Mô tả vật lý:	319p.
Năm xuất bản:	2012