Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Cambronero, Maria Emilia"'
Autor:
Valero, Valentín, Macià, Hermenegilda, Pardo, Juan José, Cambronero, María Emilia, Díaz, Gregorio
Publikováno v:
In Science of Computer Programming 2012 77(3):290-313
Publikováno v:
In Journal of Logic and Algebraic Programming 2009 78(8):730-748
Autor:
Diaz, Gregorio, Pardo, Juan-José, Cambronero, María-Emilia, Valero, Valentín, Cuartero, Fernando
Publikováno v:
In Electronic Notes in Theoretical Computer Science 22 May 2006 157(2):19-34
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Over these past years, formal reasoning about contracts between parties participating in a transaction has been increasingly explored in the literature. There has been a shift of view from that viewing contracts simply as properties to be satisfied b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3549::5ff120a647cb1ca9df2e8b7fb88e5b89
Despite that many real-life contracts include time constraints, for instance explicitly specifying deadlines by when to perform actions, or for how long certain behaviour is prohibited, the literature formalising such notions is surprisingly sparse.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3549::935bcd8ac29fd1043e23eadd952dc473
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
IEEE Transactions on Software Engineering. Aug2014, Vol. 40 Issue 8, p795-817. 23p.