CoFI: The Common Framework Initiative for Algebraic Specification and Development (1997)
by
Peter D. Mosses
,
Peter D. Mosses
| Venue: | Proc. 7th Intl. Joint Conf. on Theory and Practice of Software Development, Lille. Springer LNCS 1214 |
| Citations: | 43 - 3 self |
BibTeX
@INPROCEEDINGS{Mosses97cofi:the,
author = {Peter D. Mosses and Peter D. Mosses},
title = {CoFI: The Common Framework Initiative for Algebraic Specification and Development},
booktitle = {Proc. 7th Intl. Joint Conf. on Theory and Practice of Software Development, Lille. Springer LNCS 1214},
year = {1997},
pages = {115--137},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
An open collaborative effort has been initiated: to design a common framework for algebraic specification and development of software.
Citations
| 473 | The Timeless Way of Building - Alexander - 1979 |
| 203 | Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance - Goguen, Meseguer - 1987 |
| 134 | Toward formal development of programs from algebraic specification revisited - Sanella, Tarlecki - 1988 |
| 5 | Interchange Format for Inter-Operability of Tools and Translation - Bidoit, Choppy, et al. - 1995 |
| 4 | Seven years of COMPASS - Krieg-Bruckner - 1996 |
| 3 | The CoFI algebraic specification language, tentative design: Language summary - CASL - 1996 |
