{"title":"软件开发的代数规范技术和工具:Act方法","authors":"I. Claßen, H. Ehrig, D. Wolz","doi":"10.1142/1877","DOIUrl":null,"url":null,"abstract":"Algebraic specfication as formal method for software development ACT one - a language for parameterized specification ACT two - a language for module specification the ACT environment. Appendix: algebraic concepts and operational semantics.","PeriodicalId":440882,"journal":{"name":"AMAST Series in Computing","volume":"15 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"27","resultStr":"{\"title\":\"Algebraic Specification Techniques and Tools for Software Development: The Act Approach\",\"authors\":\"I. Claßen, H. Ehrig, D. Wolz\",\"doi\":\"10.1142/1877\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Algebraic specfication as formal method for software development ACT one - a language for parameterized specification ACT two - a language for module specification the ACT environment. Appendix: algebraic concepts and operational semantics.\",\"PeriodicalId\":440882,\"journal\":{\"name\":\"AMAST Series in Computing\",\"volume\":\"15 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-11-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"27\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"AMAST Series in Computing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1142/1877\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"AMAST Series in Computing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1142/1877","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Algebraic Specification Techniques and Tools for Software Development: The Act Approach
Algebraic specfication as formal method for software development ACT one - a language for parameterized specification ACT two - a language for module specification the ACT environment. Appendix: algebraic concepts and operational semantics.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
