책 이미지
eBook 미리보기
책 정보
· 제목 : Engineering Trustworthy Software Systems: Third International School, Setss 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures (Paperback, 2018)
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783030029272
· 쪽수 : 219쪽
· 출판일 : 2018-11-13
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783030029272
· 쪽수 : 219쪽
· 출판일 : 2018-11-13
목차
A Guide to Rely/Guarantee Thinking.- An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping.- Formalizing Hoare Logic in PVS.- Modeling Concurrency in Dafny.- Software Is Not Soft: Challenges and Approaches to Dynamic Software Update.- Challenges for Formal Semantic Description: Responses from the Main Approaches.
