{"title":"网络管理系统的软件综合","authors":"Atsushi Enjou, Minoru Tomobe","doi":"10.1109/NOMS.1996.539611","DOIUrl":null,"url":null,"abstract":"We have developed a software synthesis system that generates part of the source code of the application software for network management systems (NMS). This system allows developers to define the specification of NMS applications by using a menu-driven editor and then generates C++ source code. The core of the system is SOFTEX/S, a software synthesis tool that is based on a term-rewriting theory. This paper reports a method to develop NMS application software effectively using our software synthesis approach.","PeriodicalId":110797,"journal":{"name":"Proceedings of NOMS '96 - IEEE Network Operations and Management Symposium","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"The software synthesis of network management systems\",\"authors\":\"Atsushi Enjou, Minoru Tomobe\",\"doi\":\"10.1109/NOMS.1996.539611\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We have developed a software synthesis system that generates part of the source code of the application software for network management systems (NMS). This system allows developers to define the specification of NMS applications by using a menu-driven editor and then generates C++ source code. The core of the system is SOFTEX/S, a software synthesis tool that is based on a term-rewriting theory. This paper reports a method to develop NMS application software effectively using our software synthesis approach.\",\"PeriodicalId\":110797,\"journal\":{\"name\":\"Proceedings of NOMS '96 - IEEE Network Operations and Management Symposium\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-04-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of NOMS '96 - IEEE Network Operations and Management Symposium\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/NOMS.1996.539611\",\"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 of NOMS '96 - IEEE Network Operations and Management Symposium","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/NOMS.1996.539611","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The software synthesis of network management systems
We have developed a software synthesis system that generates part of the source code of the application software for network management systems (NMS). This system allows developers to define the specification of NMS applications by using a menu-driven editor and then generates C++ source code. The core of the system is SOFTEX/S, a software synthesis tool that is based on a term-rewriting theory. This paper reports a method to develop NMS application software effectively using our software synthesis approach.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
