The FTCRL Reference Guide (for Version 1.0)
Cargando...
Archivos
Fecha
Authors
Título de la revista
ISSN de la revista
Título del volumen
Editor
Resumen
Descripción
In this document we present a language called Fastest Test Case Re nement Language (FTCRL).
FTCRL is a general method for translating abstract test cases produced by Fastest into a set of
programs of some programming language.