{"title":"严格的审查技术:在常规开发方法中使用正式符号","authors":"S. Aujla, T. Bryant, L. Semmens","doi":"10.1109/SESS.1993.263945","DOIUrl":null,"url":null,"abstract":"The introduction and use of formal (mathematically based) specification in substantial systems development has been hampered by the additional burdens it places on practitioners. BT and Leeds Metropolitan University, have developed a framework for the gradual introduction of formal specification starting with its use as a review technique, applied to a standard range of systems development deliverables such as data and process models. The benefits of this approach are immediate and can also be more extensive. The paper describes the philosophy behind the general approach; offers an example of applying the rigorous review technique; and summarises the benefits that can accrue.<<ETX>>","PeriodicalId":145783,"journal":{"name":"Proceedings 1993 Software Engineering Standards Symposium","volume":"309 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"16","resultStr":"{\"title\":\"A rigorous review technique: using formal notations within conventional development methods\",\"authors\":\"S. Aujla, T. Bryant, L. Semmens\",\"doi\":\"10.1109/SESS.1993.263945\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The introduction and use of formal (mathematically based) specification in substantial systems development has been hampered by the additional burdens it places on practitioners. BT and Leeds Metropolitan University, have developed a framework for the gradual introduction of formal specification starting with its use as a review technique, applied to a standard range of systems development deliverables such as data and process models. The benefits of this approach are immediate and can also be more extensive. The paper describes the philosophy behind the general approach; offers an example of applying the rigorous review technique; and summarises the benefits that can accrue.<<ETX>>\",\"PeriodicalId\":145783,\"journal\":{\"name\":\"Proceedings 1993 Software Engineering Standards Symposium\",\"volume\":\"309 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-08-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"16\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 1993 Software Engineering Standards Symposium\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SESS.1993.263945\",\"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 1993 Software Engineering Standards Symposium","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SESS.1993.263945","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A rigorous review technique: using formal notations within conventional development methods
The introduction and use of formal (mathematically based) specification in substantial systems development has been hampered by the additional burdens it places on practitioners. BT and Leeds Metropolitan University, have developed a framework for the gradual introduction of formal specification starting with its use as a review technique, applied to a standard range of systems development deliverables such as data and process models. The benefits of this approach are immediate and can also be more extensive. The paper describes the philosophy behind the general approach; offers an example of applying the rigorous review technique; and summarises the benefits that can accrue.<>