Fernando Náufel do Amaral

Learn More
Participants IS Consulting Firm ⇒ Experienced at developing and implementing tools and techniques for Information Security and Risk Analysis. Strong presence in the marketplace. Standards Public documents in normative text Set of Control Objectives to be accomplished by the organization desiring a higher level of security State what should be achieved at a(More)
Many visualization frameworks for ontologies in general and for concept expressions in particular are too faithful to the syntax of the languages in which those objects are represented (e.g., RDF, OWL, DL). Model outlines depart from this tradition in that they consist of diagrams characterizing the class of models of a given concept expression. We hope(More)
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a linear-time temporal logic with time-bounded operators, to reason about general properties of timed transition systems, an abstract model for the behavior of objects in a(More)
  • 1