{"title":"软件工程中的形式化方法","authors":"G. Hird","doi":"10.1109/DASC.1990.111291","DOIUrl":null,"url":null,"abstract":"The application of formal methods at various stages of software development, and to selected critical aspects of software systems is discussed. A number of specific formal methods tools as well as application illustrating their use, are described. The tools discussed include verification systems for Ada and C. Also considered is the Romulus tool which allows the user to specify and verify security properties at the system design level. In addition, the application of formal methods to the building of a secure network component and a secure distributed operating system is described.<<ETX>>","PeriodicalId":141205,"journal":{"name":"9th IEEE/AIAA/NASA Conference on Digital Avionics Systems","volume":"136 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1990-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Formal methods in software engineering\",\"authors\":\"G. Hird\",\"doi\":\"10.1109/DASC.1990.111291\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The application of formal methods at various stages of software development, and to selected critical aspects of software systems is discussed. A number of specific formal methods tools as well as application illustrating their use, are described. The tools discussed include verification systems for Ada and C. Also considered is the Romulus tool which allows the user to specify and verify security properties at the system design level. In addition, the application of formal methods to the building of a secure network component and a secure distributed operating system is described.<<ETX>>\",\"PeriodicalId\":141205,\"journal\":{\"name\":\"9th IEEE/AIAA/NASA Conference on Digital Avionics Systems\",\"volume\":\"136 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1990-10-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"9th IEEE/AIAA/NASA Conference on Digital Avionics Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/DASC.1990.111291\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"9th IEEE/AIAA/NASA Conference on Digital Avionics Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DASC.1990.111291","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The application of formal methods at various stages of software development, and to selected critical aspects of software systems is discussed. A number of specific formal methods tools as well as application illustrating their use, are described. The tools discussed include verification systems for Ada and C. Also considered is the Romulus tool which allows the user to specify and verify security properties at the system design level. In addition, the application of formal methods to the building of a secure network component and a secure distributed operating system is described.<>
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
