Arianna Z. Olivera Salmon

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Scheduling theory presents analytical solutions for different scheduling schemes, most of which based on necessary or sufficient conditions only. Available methods based on graphs use quantitative temporal reasoning to answer about decidability and to find feasible schedules. In this paper we present an alternative technique based on model-checking approach(More)
It is well known that automated systems have to be carefully evaluated to result in good specifications that lead to useful systems. Therefore, that implies that the early design phase, composed by requirement elicitation and requirements analysis should be very precise to spot contradictions, misleading conditions, lack of constraints, and other typical(More)
  • 1