Static checking of system behaviors using derived component assumptions

A critical challenge faced by the developer of a software system is to understand whether the system's components correctly integrate. While type theory has provided substantial help in detecting and preventing errors in mismatched static properties, much work remains in the area of dynamics. I...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Inverardi, P., Wolf, A.L., Yankelevich, D.
Formato: JOUR
Materias:
Assumptions
Chemical Abstract Machine model
Component-based systems
Design
Static analysis
Theory
Verification
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_1049331X_v9_n3_p239_Inverardi
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares