软件搜索-zbMATH Open

CoFI公司

swMATH ID:	1631
软件作者：	彼得·莫塞斯（Peter D.Mosses）。
描述：	CoFI：代数规范和开发的通用框架倡议。CoFI，即代数规范和软件开发的共同框架倡议，是一个开放的国际合作组织。CoFI在1995年的主要初始目标是设计一个连贯的代数规范语言家族，基于从许多以前存在的此类语言中关键选择的结构，而不牺牲概念的概念清晰度和坚实的数学基础。1998年，CASL（公共代数规范语言）及其子语言和扩展的设计实现了这一目标。CoFI的长期目标包括提供支持CASL语言工业使用的工具和方法。
主页：	http://www.csl.sri.com/users/mosses/CoFI/
关键词：	CASL公司;通用代数规范语言
相关软件：	CASL公司;ATERM公司;马亚;莫德;OBJ3型;OMDoc公司;咖啡馆OBJ;落叶松;ASF+SDF;赫茨;霍尔;基夫;精灵;CITP公司;CafeInMude咖啡馆;K-Java公司;D装货商;K-Maude公司;中国保监会;Z轴
引用于：	40文件

1出版物描述软件，包括1出版物以zbMATH为单位	年份
CoFI：代数规范和开发的通用框架倡议。 Zbl 1049.68091号彼得·莫塞斯（Peter D.Mosses）。	2001

8	蒂尔·莫萨科夫斯基
5	Krieg-Brückner，伯尔尼
5	唐纳德·桑内拉。
4	托马斯·博齐斯科夫斯基
4	彼得·莫塞斯（Peter D.Mosses）。
4	雷焦·詹娜
三	埃吉迪奥·阿斯泰西亚诺
三	安妮·伊丽莎白·哈克斯豪森
三	沃尔夫冈·雷夫
三	格哈德·谢尔霍恩
2	迈克尔·巴尔泽
2	米歇尔·比多特
2	莫拉·塞里奥利
2	克莉丝汀，杂乱无章
2	迈克尔·科尔哈斯
2	安德烈·塔莱基
1	纳斯雷丁·奥默尔
1	谢尔盖·奥特西尔
1	比约纳，Dines
1	H.A.德容。
1	克里斯托弗·杜埃利
1	高基町五指
1	大卫·吉尔伯特
1	马格尼·哈夫雷恩
1	罗尔夫·亨尼克
1	迪特尔·赫特
1	赫莱内·基什内尔
1	巴托克·克林
1	汉斯·约尔格·克鲁斯基
1	Letychevs'kyĭ，Oleksandr Adol'fovych
1	莫伊拉·诺里。
1	Kazuhiro绪方
1	奥利维尔，P.A。
1	阿历克西奥斯·佩林吉尼斯
1	洛伦佐·雷佩托
1	阿德里安·里斯科
1	克里斯托夫·林盖森
1	冈特·萨克
1	卢茨·施罗德
1	库尔特·斯坦泽尔
1	范登·布兰德，Mark G.J。
1	埃里克·瓦格纳。
1	马丁·威辛