Arianna Z. Olivera Salmon

  • Citations Per Year
Learn 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)
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)
  • 1