Pub Date : 1900-01-01DOI: 10.1109/ISRE.1993.324836
M. Jackson, P. Zave
Ideas about the meaning of descriptions, aimed at clarifying the relationship between a formal specification and the domain of the system to be specified, are introduced. Understanding of specifications must rest on explicit statements of what they are about and what they assert. The authors argue that current formal specification techniques are inadequate in this respect, and therefore cannot offer a satisfactory foundation for automated support of software development. An approach that offers a possible basis for effective reuse of descriptions generally, and of partial specifications in particular, is discussed.<>
{"title":"Domain descriptions","authors":"M. Jackson, P. Zave","doi":"10.1109/ISRE.1993.324836","DOIUrl":"https://doi.org/10.1109/ISRE.1993.324836","url":null,"abstract":"Ideas about the meaning of descriptions, aimed at clarifying the relationship between a formal specification and the domain of the system to be specified, are introduced. Understanding of specifications must rest on explicit statements of what they are about and what they assert. The authors argue that current formal specification techniques are inadequate in this respect, and therefore cannot offer a satisfactory foundation for automated support of software development. An approach that offers a possible basis for effective reuse of descriptions generally, and of partial specifications in particular, is discussed.<<ETX>>","PeriodicalId":375368,"journal":{"name":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115020304","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：