![]() ![]() Indeed, they have been developed to provide the means for greater precision and thoroughness in modeling, reasoning about, validating, and documenting the various aspects of software systems during their development. This is where formal methods can play a significant role. Many of the approaches used for developing large, complex software systems are still not able to ensure the correct behavior - and the general quality - of the delivered product, despite the efforts of the (often very qualified and skilled) software engineers involved. Much progress has been achieved from the early days of software development still, nowadays, even considering the state of the art of the technologies used, the success of software projects is often not guaranteed. The software industry needs tools and methods to deliver high-quality software. May 22-23, co-located event of ICSE 2022, Pittsburgh, PA
0 Comments
Leave a Reply. |
Details
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |