José M. Faria

Learn More
This paper introduces a rigorous methodology for requirements specification of systems that react to external stimulus by evolving through different operational modes. In each mode different function-alities are provided. Starting from a classical state-machine specification, the envisaged methodology interprets each state as a different mode of operation(More)
  • Academia Brasileira De Ciências, Brasil Masetto, Tathiana E Faria, Jose M Fraiz, Ana C R, Anais Da +5 others
  • 2015
This work aimed to characterize the re-induction of desiccation tolerance (DT) in germinated seeds, using polyethylene glycol (PEG 8000). Cell changes were investigated through cytological assays (cell viability and transmission electronic microscopy) as well as DNA integrity during loss and re-establishment of DT. The loss of DT was characterized by drying(More)
This work aimed to characterize the re-induction of desiccation tolerance (DT) in germinated seeds, using polyethylene glycol (PEG 8000). Cell changes were investigated through cytological assays (cell viability and transmission electronic microscopy) as well as DNA integrity during loss and re-establishment of DT. The loss of DT was characterized by drying(More)
In this article we present the design by contract approach to formal verification of an industrial real-time kernel using VCC (Verified C Compiler) and Frama-C tools. The annotations were directly inserted into the source code of an industrial kernel module, xLuna, and verified automatically. VCC was also used to reason about concurrency issues in a(More)
  • 1