{"title":"软件工程教育中的形式化方法","authors":"D. Andrews","doi":"10.1109/SEEP.1996.534047","DOIUrl":null,"url":null,"abstract":"Formal methods are seen as the Cinderella subject of software engineering, always hovering in the background, hoping to be invited to the ball. But exactly what are formal methods? Because they were fashionable in the eighties, the term was stolen by \"informal\" methods to provide themselves with a cloak of respectability-one of the claims of formal methods was that, by using them, it was possible to reduce the number of errors in a program and improve productivity; claims that any method would like to be associated with. The article defines formal methods as mathematically based methods-actually using mathematics to specify, design and implement a computer system.","PeriodicalId":416862,"journal":{"name":"Proceedings 1996 International Conference Software Engineering: Education and Practice","volume":"2219 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Formal methods in software engineering education\",\"authors\":\"D. Andrews\",\"doi\":\"10.1109/SEEP.1996.534047\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Formal methods are seen as the Cinderella subject of software engineering, always hovering in the background, hoping to be invited to the ball. But exactly what are formal methods? Because they were fashionable in the eighties, the term was stolen by \\\"informal\\\" methods to provide themselves with a cloak of respectability-one of the claims of formal methods was that, by using them, it was possible to reduce the number of errors in a program and improve productivity; claims that any method would like to be associated with. The article defines formal methods as mathematically based methods-actually using mathematics to specify, design and implement a computer system.\",\"PeriodicalId\":416862,\"journal\":{\"name\":\"Proceedings 1996 International Conference Software Engineering: Education and Practice\",\"volume\":\"2219 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-01-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 1996 International Conference Software Engineering: Education and Practice\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SEEP.1996.534047\",\"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 1996 International Conference Software Engineering: Education and Practice","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SEEP.1996.534047","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Formal methods are seen as the Cinderella subject of software engineering, always hovering in the background, hoping to be invited to the ball. But exactly what are formal methods? Because they were fashionable in the eighties, the term was stolen by "informal" methods to provide themselves with a cloak of respectability-one of the claims of formal methods was that, by using them, it was possible to reduce the number of errors in a program and improve productivity; claims that any method would like to be associated with. The article defines formal methods as mathematically based methods-actually using mathematics to specify, design and implement a computer system.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
