Titlebook: Algebraic Methodology and Software Technology; 5th International Co Martin Wirsing,Maurice Nivat Conference proceedings 1996 Springer-Verla

NUL

exclamation

Applying research results in the industrial environment: The case of the TRIO specification language raised symmetrically both by the academia and by the industrial world. This situation becomes even more frustrating in the case of application of formal methods to software engineering: despite formal methods are advocated as a useful tool to enhance software quality from more than thirty years, i