Loading ...
Sorry, an error occurred while loading the content.
 

Testing Concurrency, Was: Re: Kent Beck says write tests when they make sense

Expand Messages
  • Lance Walton
    The code generation part is Java only, but the analysis part is general. That s why I focusing on the approach rather than the tools. Transforming the model
    Message 1 of 7 , May 23, 2009
      The code generation part is Java only, but the analysis part is general. That's why I focusing on the approach rather than the tools. Transforming the model into the language specific constructs is straightforward. The analysis is the interesting part.

      Regards,

      Lance

      --- In extremeprogramming@yahoogroups.com, Manuel Klimek <klimek@...> wrote:
      >
      > Sounds interesting, but unfortunately looks Java only.
      >
      > Cheers,
      > /Manuel
      >
      > On May 22, 2009 3:15 AM, "Lance Walton" <LanceWalton@...> wrote:
      >
      >
      >
      > I was thinking more about the approach than tools, but how about Labelled
      > Transition Systems for a start (e.g. http://www.doc.ic.ac.uk/ltsa/)?
      >
      > Regards,
      >
      > Lance
      >
      > --- In extremeprogramming@yahoogroups.com, Manuel Klimek <klimek@> wrote:
      > > > Do you have tools...
      >
      > > On Thu, May 21, 2009 at 12:05 PM, Lance Walton <LanceWalton@> wrote: >
      > > > > > > > As well as ...
      > > > --- In extremeprogramming@yahoogroups.com<extremeprogramming%40yahoogroups.com>
      > <extremeprogramming%40yahoogroups.com>,
      >
      > > > Anthony Williams <anthony_w.geo@> wrote: > > > > > > > > Manuel Klimek
      > <klimek@> writes: > > > ...
      > > --
      > > http://klimek.box4.net
      > >
      > >
      > > [Non-text portions of this message have been removed]
      > >
      >
      >
      >
      >
      > [Non-text portions of this message have been removed]
      >
    Your message has been successfully submitted and would be delivered to recipients shortly.