Prof. Dr. Bertrand Meyer's visit to Georgia

In a recent academic visit to Georgia, Prof. Dr. Bertrand Meyer, the Provost and Professor of Software Engineering at Constructor Institute of Technology, sparked insightful discussions and lectures at Kutaisi International University and Ivane Javakhishvili Tbilisi State University

In the first talk, "On the Border Between Proofs and Tests," Mr. Meyer challenged the traditional perception that proofs and tests are at odds in the pursuit of software quality. His exploration of the AutoProof system showcased how modern proof technology can seamlessly integrate with automatic test generation – a powerful approach elevating software quality.

Shifting gears, in the second talk, titled "Requirements Engineering for Modern Systems: The PEGS Approach," Prof. emphasized the pivotal role of quality requirements in software projects. Introducing the PEGS approach, he advocated for a comprehensive consideration of Project, Environment, Goals, and System. This forward-looking methodology aims at replacing outdated standards and encourages a thoughtful integration of formal elements in requirements engineering, focusing on clear and comprehensive requirements for contemporary systems.

The visit also featured a presentation on Constructor Institute of Technology Master Program in Computer Science, Software Engineering, and Leadership, providing a sneak peek into the richness and benefits of this advanced program.

Prof. Dr. Bertrand Meyer's visit to Georgia and collaboration with Kutaisi International University and Ivane Javakhishvili Tbilisi State University solidifies Constructor Institute of Technology commitment to advancing Software Engineering knowledge. This partnership not only widens educational horizons but also exemplifies a shared dedication to excellence in the dynamic field of Software Engineering.