[abc] Joint work on specification formalisms?

Hi all.
 
I just emailed with Klaus Havelund today, discussing some things about
expressiveness of tracematches, J-LO and so forth and it seems that
Klaus would be very much interested in some joint work about all those
different formalisms around, i.e. what formalisms exist at all, how they
compare w.r.t. expressiveness and applicability for certain tasks, i.e.
what properties exist and in what formalisms they can be specified best.
So it's going to be mostly a theory paper, I guess. For me, this is kind
of going to be part of my thesis anyway in the longterm, but I was
wondering if somebody else is interested in that. If so, please let me
know.

Eric

  _____

From: Klaus Havelund [mailto:havelund@gmail.com]
Sent: Monday, January 30, 2006 7:58 PM
To: Eric Bodden
Subject: Re: AOSD

Eric,

Whatever collaboration/non-collaboration you are comfortable with is
fine with me.
I was wondering whether you are working on a logic with Oege? I mean: is
the tracematch
work going to evolve or are they happy about it as it is? And how would
our collaboration
relate to that work. The reason I ask is because I see collaborations
from anywhere between 2 people to
10 people.

Klaus

      
Received on Tue Jan 31 01:19:29 2006