{"title":"课堂上的形式化方法:实时软件设计的逻辑","authors":"J. Ostroff, R. Paige","doi":"10.1109/RTSE.1998.766514","DOIUrl":null,"url":null,"abstract":"In recent years, much progress has been made towards the development of mathematical methods (\"formal methods\") through which it is possible, in principle, to specify and design software to conform to specifications. In this paper, we provide an overview of how formal methods-and particularly real-time formal methods-can be used throughout the software development cycle, and what methods and tools can be introduced in the computer science curriculum to support software development.","PeriodicalId":155878,"journal":{"name":"Proceedings Real-Time Systems Education III","volume":"195 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1998-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"Formal methods in the classroom: the logic of real-time software design\",\"authors\":\"J. Ostroff, R. Paige\",\"doi\":\"10.1109/RTSE.1998.766514\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In recent years, much progress has been made towards the development of mathematical methods (\\\"formal methods\\\") through which it is possible, in principle, to specify and design software to conform to specifications. In this paper, we provide an overview of how formal methods-and particularly real-time formal methods-can be used throughout the software development cycle, and what methods and tools can be introduced in the computer science curriculum to support software development.\",\"PeriodicalId\":155878,\"journal\":{\"name\":\"Proceedings Real-Time Systems Education III\",\"volume\":\"195 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1998-11-21\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings Real-Time Systems Education III\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/RTSE.1998.766514\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings Real-Time Systems Education III","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/RTSE.1998.766514","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Formal methods in the classroom: the logic of real-time software design
In recent years, much progress has been made towards the development of mathematical methods ("formal methods") through which it is possible, in principle, to specify and design software to conform to specifications. In this paper, we provide an overview of how formal methods-and particularly real-time formal methods-can be used throughout the software development cycle, and what methods and tools can be introduced in the computer science curriculum to support software development.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
