[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
RE: [aspectj-dev] Contract4J: New "Design by Contract" tool for Java5 using AspectJ

 
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Dean Wampler wrote:
> I created an open-source project called "Contract4J" for supporting
> Bertrand Meyer's "Design by Contract" programming in Java. It uses
> Java 5 annotations and generates AspectJ code to weave in contract
> tests. I'm emailing this announcement to the AOSD group, too,
> because the back-end code generation can be extended to generate
> tests using other Java-based aspect systems, which I hope to do
> soon.    
> 
> http://www.contract4j.org/

Hi, Dean. We should maybe get in contact with each other, since I am
currently doing some similar things - on a an extended base modelling
trace conditions:

http://www.bodden.de/studies/publications/OOPSLA_04/
http://www.bodden.de/studies/publications/CSL/
http://www.bodden.de/studies/publications/ABC/

I am sure I will have a look at your tool. Are you gonna be at the
AOSD 05 by any chance?

Eric

- -- 
Eric Bodden
Chair I2 for Programming Languages and Program Analysis
RWTH Aachen University

-----BEGIN PGP SIGNATURE-----
Version: PGP 8.0.3

iQA/AwUBQgJgX8wiFCm7RlWCEQIZ9QCgrbj2RVOS9/R7HYV8yDrCsvMLvF0AoIuO
x0es5PYLAW3u/PFiA73XuEE0
=6MIm
-----END PGP SIGNATURE-----