Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Nabil M. Kabbani"'
Autor:
Nabil M. Kabbani, Daniel Welch, Caleb Priester, Stephen Schaub, Blair Durkee, Yu-Shan Sun, Murali Sitaraman
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 187, Iss Proc. F-IDE 2015, Pp 56-71 (2015)
This paper summarizes our experience in communicating the elements of reasoning about correctness, and the central role of formal specifications in reasoning about modular, component-based software using a language and an integrated Web IDE designed
Externí odkaz:
https://doaj.org/article/cbdab4d82fe747f897a5ad2ee100a415
Autor:
Caleb H. Priester, Stephen Schaub, Murali Sitaraman, Danny R. Welch, Yu-Shan Sun, Nabil M. Kabbani, Blair Durkee
Publikováno v:
F-IDE
Electronic Proceedings in Theoretical Computer Science, Vol 187, Iss Proc. F-IDE 2015, Pp 56-71 (2015)
Electronic Proceedings in Theoretical Computer Science, Vol 187, Iss Proc. F-IDE 2015, Pp 56-71 (2015)
This paper summarizes our experience in communicating the elements of reasoning about correctness, and the central role of formal specifications in reasoning about modular, component-based software using a language and an integrated Web IDE designed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d571ca4cee0c2756c62fcd732885c213
http://arxiv.org/abs/1508.03896
http://arxiv.org/abs/1508.03896
