{"title":"有向图模型及其在软件开发中的应用","authors":"P. Foulk","doi":"10.1049/sm.1982.0054","DOIUrl":null,"url":null,"abstract":"The type of directed graph considered is that developed from the work of Karp and Miller. It has separate but interconnected directed graphs to represent data flow and control flow. These graphs are particularly suited to the specification and analysis of asynchronous parallel hardware and software. The background is discussed, and a particular model is described. Its properties and applications to software development are introduced. In particular, it is useful for partitioning and debugging software, and when modifications are being considered","PeriodicalId":246116,"journal":{"name":"Softw. Microsystems","volume":"352 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1982-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Directed-graph models and their application to software development\",\"authors\":\"P. Foulk\",\"doi\":\"10.1049/sm.1982.0054\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The type of directed graph considered is that developed from the work of Karp and Miller. It has separate but interconnected directed graphs to represent data flow and control flow. These graphs are particularly suited to the specification and analysis of asynchronous parallel hardware and software. The background is discussed, and a particular model is described. Its properties and applications to software development are introduced. In particular, it is useful for partitioning and debugging software, and when modifications are being considered\",\"PeriodicalId\":246116,\"journal\":{\"name\":\"Softw. Microsystems\",\"volume\":\"352 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1982-12-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Softw. Microsystems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1049/sm.1982.0054\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Softw. Microsystems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1049/sm.1982.0054","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Directed-graph models and their application to software development
The type of directed graph considered is that developed from the work of Karp and Miller. It has separate but interconnected directed graphs to represent data flow and control flow. These graphs are particularly suited to the specification and analysis of asynchronous parallel hardware and software. The background is discussed, and a particular model is described. Its properties and applications to software development are introduced. In particular, it is useful for partitioning and debugging software, and when modifications are being considered
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
