Главная

Steve Reeves

  1. Refinement for Probabilistic Systems with Nondeterminism.

    Ср, 06/22/2011 - 15:01 — SomNambul
    Authors: Steve Reeves, David Streader
    Subjects: Software Engineering
    Abstract

    Before we combine actions and probabilities two very obvious questions should
    be asked. Firstly, what does "the probability of an action" mean? Secondly, how
    does probability interact with nondeterminism? Neither question has a single
    universally agreed upon answer but by considering these questions at the outset
    we build a novel and hopefully intuitive probabilistic event-based formalism.

  2. Proceedings 15th International Refinement Workshop.

    Пнд, 06/20/2011 - 15:01 — SomNambul
    Authors: John Derrick, Eerke Boiten, Steve Reeves
    Subjects: Software Engineering
    Abstract

    Refinement is one of the cornerstones of a formal approach to software
    engineering: the process of developing a more detailed design or implementation
    from an abstract specification through a sequence of mathematically-based steps
    that maintain correctness with respect to the original specification.

Math-arch

RSS-материал