bciucla Autor: Alejandría BE 7.0.7b0

Autor: Da Cunha, Claudia (Comienzo)

Sólo un registro cumplió la condición especificada en la base de información bciucla.

Autor:	Da Cunha, Claudia
Título:	Formal Refinement of Bussiness Processes
Código:	R FOR C44
Editorial:	Mexico McGraw-Hill , MEXICO
Páginas/Colación:	10 p.; 28 cm.
Tipo de impresión:	Impreso

Idioma:	Español
Descriptor Temático:	CONFERENCIA INTELIGENCIA ARTIFICIAL Y SISTEMAS EXPERTOS 431-454, LOGICA Y ALGORITMOS, MODELOS MATEMÁTICOS, MODELOS MATEMATICOS-PROCESAMIENTO DE DATOS

Ejemplares

Idioma:

Español
Descriptor Temático:

CONFERENCIA INTELIGENCIA ARTIFICIAL Y SISTEMAS EXPERTOS 431-454,

LOGICA Y ALGORITMOS,

MODELOS MATEMÁTICOS,

MODELOS MATEMATICOS-PROCESAMIENTO DE DATOS

Nota

TABLA DE CONTENIDO

Introduction

Refinement Calculus

Applying the Refinement Calculus to IE

Example

Conclusion

References

Descrip.

RESUMEN

The information Engineering and the Information Engineering Facility tool have been successfully used over the past years as an efficient way of developing Information Systems on a database environment. At present, code is automatically generated from a procuderal specification (written using the Process Action Diagram-PAD) and JMA is currently extending the tool, in order to have the PAD automatically generated from a declarative specification. The main purpose of this work is to make the PAD generation a stepwise refinement task, with the use of Morgan's Refinement Calculus.

UCLA - Biblioteca de Ciencias y Tecnologia Felix Morales Bueno

Generados por el servidor 'bibcyt.ucla.edu.ve' (3.142.174.55)
Adaptive Server Anywhere (07.00.0000)
ODBC
Sesión="" Sesión anterior=""
ejecutando Back-end Alejandría BE 7.0.7b0 ** * *
3.142.174.55 (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 bciucla: 7.0.0 (con listas invertidas [2.0])

Cliente: 3.142.174.55
Salida con Javascript

** Back-end Alejandría BE 7.0.7b0 *