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...
| Publicado: |
2000
|
|---|---|
| Materias: | |
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_1049331X_v9_n3_p239_Inverardi http://hdl.handle.net/20.500.12110/paper_1049331X_v9_n3_p239_Inverardi |
| Aporte de: |
Ejemplares similares
-
Static checking of system behaviors using derived component assumptions
por: Inverardi, P., et al. -
Computer Aided Verification of Relational Models by Strategic Rewriting
por: Necco, Claudia Mónica, et al.
Publicado: (2017) -
A heterogeneous characterisation of component-based system design in a categorical setting
por: López Pombo, Carlos Gustavo
Publicado: (2014) -
A heterogeneous characterisation of component-based system design in a categorical setting
por: Lopez Pombo, C.G., et al. -
Arch based configurations in the volume ensemble of static granular systems
por: Slobinsky, D., et al.
Publicado: (2018)