{"title":"规范发展的描述","authors":"J. Souquières, N. Lévy","doi":"10.1109/ISRE.1993.324855","DOIUrl":null,"url":null,"abstract":"A framework allowing the expression of both the incremental construction of a specification and the development process behind the construction (decisions and their rationale) is proposed. A data structure composed of a workplan and the product is introduced and used to model a specification development. The availability of development operators is a critical point of the specification development model. Operators encapsulate general problem solving strategies. Development operators are defined by their parallel action on the workplan, the product, and the links between them. The implementation of the proposed approach requires an environment managing the workplan and the current specification being built. The operators will be chosen via menus dynamically defined according to the current task type.<<ETX>>","PeriodicalId":375368,"journal":{"name":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","volume":"96 9","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"31","resultStr":"{\"title\":\"Description of specification developments\",\"authors\":\"J. Souquières, N. Lévy\",\"doi\":\"10.1109/ISRE.1993.324855\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A framework allowing the expression of both the incremental construction of a specification and the development process behind the construction (decisions and their rationale) is proposed. A data structure composed of a workplan and the product is introduced and used to model a specification development. The availability of development operators is a critical point of the specification development model. Operators encapsulate general problem solving strategies. Development operators are defined by their parallel action on the workplan, the product, and the links between them. The implementation of the proposed approach requires an environment managing the workplan and the current specification being built. The operators will be chosen via menus dynamically defined according to the current task type.<<ETX>>\",\"PeriodicalId\":375368,\"journal\":{\"name\":\"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering\",\"volume\":\"96 9\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-01-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"31\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISRE.1993.324855\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISRE.1993.324855","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A framework allowing the expression of both the incremental construction of a specification and the development process behind the construction (decisions and their rationale) is proposed. A data structure composed of a workplan and the product is introduced and used to model a specification development. The availability of development operators is a critical point of the specification development model. Operators encapsulate general problem solving strategies. Development operators are defined by their parallel action on the workplan, the product, and the links between them. The implementation of the proposed approach requires an environment managing the workplan and the current specification being built. The operators will be chosen via menus dynamically defined according to the current task type.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
![[1993] Proceedings of the IEEE International Symposium on Requirements Engineering](/Content/css/sci/img/zetp.jpg)
求助内容：
应助结果提醒方式：
扫码关注我们
