Zobrazeno 1 - 10
of 64
pro vyhledávání: '"Braga, Christiano"'
We propose B Maude, a prototype executable environment for the Abstract Machine Notation implemented in the Maude language. B Maude is formally defined and results from the implementation of the semantics of AMN as denotations in the $\pi$ Framework,
Externí odkaz:
http://arxiv.org/abs/2108.07878
Autor:
Braga, Christiano
This paper proposes {\pi}, a formal semantic framework for compiler construction together with program validation. {\pi} is comprised by {\pi} Lib, a set of programming languages constructs inspired by Peter Mosses' Component-Based Semantics and {\pi
Externí odkaz:
http://arxiv.org/abs/1805.04650
Cyber-Physical Systems (CPS) are systems controlled by one or more computer-based components tightly integrated with a set of physical components, typically described as sensors and actuators, that can either be directly attached to the computer comp
Externí odkaz:
http://arxiv.org/abs/1803.03173
Standard Deontic Logic (SDL) has been used as the underlying logic to model and reason over Multi-Agent Systems governed by norms (NorMAS). It is known that SDL is not able to represent contrary-to-duty (CTD) scenarios in a consistent way. That is th
Externí odkaz:
http://arxiv.org/abs/1709.02018
Publikováno v:
In Science of Computer Programming September 2015 107-108:64-92
Autor:
Santos Neto, Baldoino Fonseca dos, Ribeiro, Márcio, Silva, Viviane Torres da, Braga, Christiano, Lucena, Carlos José Pereira de, Costa, Evandro de Barros
Publikováno v:
In Expert Systems With Applications 15 February 2015 42(3):1652-1664
Publikováno v:
In Science of Computer Programming 15 October 2014 92 Part B:86-104
Publikováno v:
In Electronic Notes in Theoretical Computer Science 3 April 2009 203(7):103-120