Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Describing and analyzing behaviours over tabular specifications using (Dyn)alloy

Autor: Aguirre, N.M., Frias, M.F., Moscato, M.M., Maibaum, T.S.E., Wassyng, A.

Publikováno v: Lect. Notes Comput. Sci. 2009;5503:155-170
Biblioteca Digital (UBA-FCEN)
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron:UBA-FCEN

We propose complementing tabular notations used in requirements specifications, such as those used in the SCR method, with a formalism for describing specific, useful, subclasses of computations, i.e., particular combinations of the atomic transition

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::24009230f631746f471e870ea3e5d329

Completeness of a relational calculus for program schemes.

Autor: Frias, M.F., Maddux, R.D.

Publikováno v: Proceedings Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat No98CB36226); 1998, p127-134, 8p

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.