{"title":"通过度量比较正式规范","authors":"J. Katwijk, H. Toetenel","doi":"10.1109/RTCSA.1995.528770","DOIUrl":null,"url":null,"abstract":"Teaching formal specification notations nowadays in regular software engineering courses presents more or less the same problems as teaching programming languages 15 years ago. Most software engineering students are practical. Issues of predicting code sizes from the size of the specification, issues of expressing problem complexity in terms of specification size are far more interesting for engineers than detailed semantic issues. Based on this observation, we are conducting a study to the proper use of formal specification notations in the process of software development. In this paper we discuss a number of notations in their use in the development of a simple case. The notations themselves are examined with regard to maturity, tool support, analyzability and executability.","PeriodicalId":111365,"journal":{"name":"Proceedings Second International Workshop on Real-Time Computing Systems and Applications","volume":"750 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1995-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Comparing formal specifications by measuring\",\"authors\":\"J. Katwijk, H. Toetenel\",\"doi\":\"10.1109/RTCSA.1995.528770\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Teaching formal specification notations nowadays in regular software engineering courses presents more or less the same problems as teaching programming languages 15 years ago. Most software engineering students are practical. Issues of predicting code sizes from the size of the specification, issues of expressing problem complexity in terms of specification size are far more interesting for engineers than detailed semantic issues. Based on this observation, we are conducting a study to the proper use of formal specification notations in the process of software development. In this paper we discuss a number of notations in their use in the development of a simple case. The notations themselves are examined with regard to maturity, tool support, analyzability and executability.\",\"PeriodicalId\":111365,\"journal\":{\"name\":\"Proceedings Second International Workshop on Real-Time Computing Systems and Applications\",\"volume\":\"750 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1995-10-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings Second International Workshop on Real-Time Computing Systems and Applications\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/RTCSA.1995.528770\",\"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 Second International Workshop on Real-Time Computing Systems and Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/RTCSA.1995.528770","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Teaching formal specification notations nowadays in regular software engineering courses presents more or less the same problems as teaching programming languages 15 years ago. Most software engineering students are practical. Issues of predicting code sizes from the size of the specification, issues of expressing problem complexity in terms of specification size are far more interesting for engineers than detailed semantic issues. Based on this observation, we are conducting a study to the proper use of formal specification notations in the process of software development. In this paper we discuss a number of notations in their use in the development of a simple case. The notations themselves are examined with regard to maturity, tool support, analyzability and executability.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
