{"title":"IEEE形式化方法规划","authors":"P. Joannou","doi":"10.1109/SESS.1997.596015","DOIUrl":null,"url":null,"abstract":"The IEEE Computer Society's Software Engineerirlg-Standards Committee (SESC) is seeking direction on how IEEE standards should address formal methods in software engineering and software aspects of systems engineering. A Formal Methods Planning Group (FMPG) has been established to produce recommendations on the direction. The purpose of this one day workshop is to review work done to date by the planning group, provide any additional input and discussion, and to produce a final draft set of recommendation for review by the complete planning group before submission to IEEE.","PeriodicalId":345428,"journal":{"name":"Proceedings of IEEE International Symposium on Software Engineering Standards","volume":"42 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1997-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"IEEE Formal Methods Planning\",\"authors\":\"P. Joannou\",\"doi\":\"10.1109/SESS.1997.596015\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The IEEE Computer Society's Software Engineerirlg-Standards Committee (SESC) is seeking direction on how IEEE standards should address formal methods in software engineering and software aspects of systems engineering. A Formal Methods Planning Group (FMPG) has been established to produce recommendations on the direction. The purpose of this one day workshop is to review work done to date by the planning group, provide any additional input and discussion, and to produce a final draft set of recommendation for review by the complete planning group before submission to IEEE.\",\"PeriodicalId\":345428,\"journal\":{\"name\":\"Proceedings of IEEE International Symposium on Software Engineering Standards\",\"volume\":\"42 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1997-06-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of IEEE International Symposium on Software Engineering Standards\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SESS.1997.596015\",\"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 of IEEE International Symposium on Software Engineering Standards","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SESS.1997.596015","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The IEEE Computer Society's Software Engineerirlg-Standards Committee (SESC) is seeking direction on how IEEE standards should address formal methods in software engineering and software aspects of systems engineering. A Formal Methods Planning Group (FMPG) has been established to produce recommendations on the direction. The purpose of this one day workshop is to review work done to date by the planning group, provide any additional input and discussion, and to produce a final draft set of recommendation for review by the complete planning group before submission to IEEE.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
