Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Yaacov, Tom"'
One of the benefits of using executable specifications such as Behavioral Programming (BP) is the ability to align the system implementation with its requirements. This is facilitated in BP by a protocol that allows independent implementation modules
Externí odkaz:
http://arxiv.org/abs/2404.01858
Publikováno v:
in IEEE Transactions on Software Engineering, vol. 49, no. 4, pp. 2303-2317, 1 April 2023
We identify and demonstrate a weakness of Petri Nets (PN) in specifying composite behavior of reactive systems. Specifically, we show how, when specifying multiple requirements in one PN model, modelers are obliged to specify mechanisms for combining
Externí odkaz:
http://arxiv.org/abs/2205.00221
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.
Autor:
Neretin, Yury A.1 (AUTHOR)
Publikováno v:
Representation Theory. 7/19/2021, Vol. 25, p606-643. 38p.
Publikováno v:
Transactions of the American Mathematical Society; Mar2018, Vol. 370 Issue 3, p2181-2209, 29p
Publikováno v:
Fair Disclosure Wire (Quarterly Earnings Reports). 11/16/2009.
Publikováno v:
Fair Disclosure Wire (Quarterly Earnings Reports). 11/16/2009.