[
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-----