2 results for ResearchCommons@Waikato, A robust semantics hides fewer errors

  • A robust semantics hides fewer errors

    Reeves, Steve; Streader, David (2009-06-10)

    Working or discussion paper
    University of Waikato

    In this paper we explore how formal models are interpreted and to what degree meaning is captured in the formal semantics and to what degree it remains in the informal interpretation of the semantics. By applying a robust approach to the definition of refinement and semantics, favoured by the event-based community, to state-based theory we are able to move some aspects from the informal interpretation into the formal semantics.

    View record details
  • A robust semantics hides fewer errors

    Reeves, Steve; Streader, David (2009)

    Journal article
    University of Waikato

    In this paper we explore how formal models are interpreted and to what degree meaning is captured in the formal semantics and to what degree it remains in the informal interpretation of the semantics. By applying a robust approach to the definition of refinement and semantics, favoured by the event-based community, to state-based theory we are able to move some aspects from the informal interpretation into the formal semantics.

    View record details