Formal Methods for Components and Objects

• Other Authors: Bonsangue, Marcello M.
• Format: Book
• Language: English
• Published: Springer 2017
• Subjects: Formal methods (Computer science) > Congresses; Component software > Congresses; Object-oriented programming (Computer science) > Congresses; Formal methods; Components; Objects; Software Engineering; 005.131
• Online Access: http://repository.vnu.edu.vn/handle/VNU_123/26363
• Institution: Vietnam National University, Hanoi

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusabili...