Compilation of specifications (2001)
by
C. J. Fidge
| Venue: | In Proceedings.of the Eighth Asia-Pacific Software Engineering Conference (APSEC 2001 |
| Citations: | 2 - 1 self |
BibTeX
@INPROCEEDINGS{Fidge01compilationof,
author = {C. J. Fidge},
title = {Compilation of specifications},
booktitle = {In Proceedings.of the Eighth Asia-Pacific Software Engineering Conference (APSEC 2001},
year = {2001},
pages = {355--362},
publisher = {IEEE Computer Society Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
reports are available via anonymous ftp, from svrc.it.uq.edu.au in the directory /pub/techreports. Abstracts and compressed postscript files are available via
Citations
| 458 | Programming from Specifications - Morgan - 1994 |
| 80 | High integrity Ada: the Spark approach - Barnes - 1997 |
| 62 | Fundamentals of deductive program synthesis - Manna, Waldinger - 1994 |
| 36 | Laws of data refinement - Morris - 1989 |
| 30 | Toward a classification approach to design - Smith - 1996 |
| 29 | Crafting a Compiler, Benjamin Cummings - Fischer, LeBlanc - 1988 |
| 22 | The Refinement Calculator: Proof Support for Program Refinement - Butler, Grundy, et al. - 1997 |
| 10 | P.G.: Combining VDM-SL Specifications with C++ Code - Fröhlich, Larsen - 1996 |
| 7 | Using CARE to construct verified software - Lindsay, Hemer - 1997 |
| 4 | Bicarregui et al. Formal methods in practice: Case studies - C - 1997 |
| 2 | From formal specifications to Ada programs - Kearney, Wildman - 1998 |
| 1 | Refining real valued specifications to floating point programs: A case study - Bloesch, Kazmierczak - 1996 |
