Inicio Nosotros Búsquedas
Buscar en nuestra Base de Datos:     
Título: =Validating Voice Communication Requirements Using Lightweight Formal Methods
Sólo un registro cumplió la condición especificada en la base de información BIBCYT.
Publicación seriada
Referencias AnalíticasReferencias Analíticas
Autor: Hörl, Johann ; Aichernig, Bernhard K.
Título: Validating Voice Communication Requirements Using Lightweight Formal Methods
Páginas/Colación: pp. 21-27
Url: Ir a http://doi.ieeecomputersociety.org/10.1109/52.896246http://doi.ieeecomputersociety.org/10.1109/52.896246
IEEE Software Vol. 17, no. 3 May/June 2000
Información de existenciaInformación de existencia

Resumen
RESUMEN

RESUMEN

 

To show that lightweight approaches can facilitate the technological transfer of formal development methods, the authors report on their experiences using VDM++ to specify a safety-critical air traffic control voice communication system. Their approach raised both the quality of the informal system specification as well as the efficiency of the system test suites they used.

 

 

 

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

UCLA - Biblioteca de Ciencias y Tecnologia Felix Morales Bueno

Generados por el servidor 'bibcyt.ucla.edu.ve' (3.147.104.248)
Adaptive Server Anywhere (07.00.0000)
ODBC
Sesión="" Sesión anterior=""
 ejecutando Back-end Alejandría BE 7.0.7b0 ** * *
3.147.104.248 (NTM) bajo el ambiente Apache/2.2.4 (Win32) PHP/5.2.2.
usando una conexión ODBC (RowCount) al manejador de bases de datos..
Versión de la base de información BIBCYT: 7.0.0 (con listas invertidas [2.0])

Cliente: 3.147.104.248
Salida con Javascript
** Back-end Alejandría BE 7.0.7b0 *