![Towards a formal semantics of Parnas tables | Proceedings of the 17th international conference on Software engineering Towards a formal semantics of Parnas tables | Proceedings of the 17th international conference on Software engineering](https://dl.acm.org/cms/asset/ee14f65f-b6dc-44a2-a92d-76952d4f3633/225014.225036.fp.png)
Towards a formal semantics of Parnas tables | Proceedings of the 17th international conference on Software engineering
Parnas Tables: An Experience with Formal Verification in an Industrial Setting Bill Kelly OPGI ( retired)
![PPT - Contributions of Dr. David Parnas to the Development of Software Engineering PowerPoint Presentation - ID:389596 PPT - Contributions of Dr. David Parnas to the Development of Software Engineering PowerPoint Presentation - ID:389596](https://image.slideserve.com/389596/parnas-tables-l.jpg)
PPT - Contributions of Dr. David Parnas to the Development of Software Engineering PowerPoint Presentation - ID:389596
![Parnas-Trump tape: Recording shows Parnas, Fruman with Trump at Mar-A-Lago event - The Washington Post Parnas-Trump tape: Recording shows Parnas, Fruman with Trump at Mar-A-Lago event - The Washington Post](https://d1i4t8bqe7zgj6.cloudfront.net/01-30-2020/t_01539b267c3a44cd9b8a3a967db77897_name_t_438f0b35f129453ebb8da554de20405a_name_20200130_Lev_video_Edit_00_02_15_01_Still019.jpg)
Parnas-Trump tape: Recording shows Parnas, Fruman with Trump at Mar-A-Lago event - The Washington Post
![PPT - Contributions of Dr. David Parnas to the Development of Software Engineering PowerPoint Presentation - ID:389596 PPT - Contributions of Dr. David Parnas to the Development of Software Engineering PowerPoint Presentation - ID:389596](https://image.slideserve.com/389596/contributions-of-dr-david-parnas-to-the-development-of-software-engineering-l.jpg)