2003-08-13 AGEDIS Newsletter - Summer '03 issue published

The sixth issue of the AGEDIS Newsletter is available now. You can get the articles in PDF format on the AGEDIS Newsletter page (see also link on the navigation bar).

2003-06-20 AGEDIS annual official review

The third official EU review was held on July, 17th this time in Athens in the premises of Intrasoft Intl., one of the industrial consortium partners. We were able to demonstrate the entire tool chain for software test generation and execution on an industrial example from the IBM Hursley development Laboratory.

[Addendum: Read more in the AGEDIS newsletter Summer '03 issue.]

2003-04-07 Announcing European Conference on Model Driven Software Engineering - Call-for-Papers out now

As AGEDIS draws to a close the results of the project will be presented to a European-wide audience. The 1st European Conference on Model Driven Software Engineering organized by the AGEDIS consortium aims at providing a comprehensive overview of the current status of tools, methods and processes for model-driven software engineering.

2002-12-17 AGEDIS Newsletter - December '02 issue published

The sixth issue of the AGEDIS Newsletter is available now. You can get the articles in PDF format on the AGEDIS Newsletter page (see also link on the navigation bar).

2002-10-08 AGEDIS Newsletter - September/October '02 issue published

The fifth issue of the AGEDIS Newsletter is available now. The articles are now available online in PDF format. You can get them on the AGEDIS Newsletter page (see also link on the navigation bar).

2002-07-09 AGEDIS Newsletter - June '02 issue published

The fourth issue of the AGEDIS Newsletter is available now. You can view it here.

2002-07-08 AGEDIS annual official review - again big success

The second official EC review was held on July, 14th at the premises of imbus AG in Moehrendorf, Germany. As the last year's review it was a full success. Some quotes from the official reviewers' report:

"Consortium strongly led and motivated (...) Competent team (...) Open architecture (...) Broad Scope."

At the review meeting an impressive demonstration was given of the whole AGEDIS tool chain at work (read the AGEDIS newsletter for more information).

2002-07-08 Taking our own medicine

The consortium partner responsible for the testing of the AGEDIS parts, - imbus AG, Germany - used successfully the AGEDIS test execution engine to test ... the AGEDIS test execution engine ! Read more ...

2002-03-02 AGEDIS Newsletter - March '02 issue published

The third issue of the AGEDIS Newsletter is available now. You can view it here.

2002-02-25 Abstract Test Suite (ATS) Format Specification available

The first version of the Abstract Test Suite format specification is available for public download on our download page.

The AGEDIS Test Generator, the heart of the AGEDIS tool chain, outputs the test cases in an Abstract Test Suite, ATS. The ATS is an XML formatted file, whose specification is now available.

2002-02-12 Article on model-based test generation

The recent issue of IBM Systems Journal (Volume 41, Number 1) "Software Testing and Verification" contains the article "Using a model-based test generator to test for standard conformance" by E. Farchi, A. Hartman, and S. S. Pinter.

2001-12-01 AGEDIS Newsletter - December issue published

The second issue of the AGEDIS Newsletter is available now. You can view it here.

2001-11-19 AGEDIS at imbus QA Day

Jim Davies from Oxford University gave a talk on AGEDIS at the so called imbus QA Day on November 8th, 2001. The annual imbus QA day is a discussion forum for current issues in software quality management.

2001-09-28 AGEDIS at UML2001 and at COMDEX

AGEDIS will be presented in the workshop: "W4 - Concurrency Issues in UML" on October 1st at UML2001, Fourth International Conference on the Unified Modeling Language in Toronto, Ontario, Canada.
And another overseas event: the COMDEX on November 10-15, 2001, Las Vegas, Nevada, USA, will host a AGEDIS presentation.

See also our links page.

2001-09-17 AGEDIS Newsletter - first issue published

The first issue of the AGEDIS Newsletter was published on beginning of September 2001. Additional issues will follow every three months. To subscribe please see above. View the first issue here.

2001-08-09 Out Now: Public Draft of AGEDIS Modelling Language

The AGEDIS project will produce tools and techniques that allow users to generate test cases - automatically - from models of software components. The models themselves will be written in a well-defined subset of UML. The initial version of the AGEDIS modelling language, in terms of syntax (which constructs from UML can be used, and how) and semantics (what does this mean, in terms of the state machine language IF.) is now publicly available on the AGEDIS web site. This marks an important milestone for the AGEDIS project (for further details see the General Description).

The AGEDIS researchers would welcome comments and suggestions regarding the language specification, the underlying semantics, and the intended application. These should be directed, in the first instance, to the document authors: Alessandra Cavarra, and Jim Davies

Get a public draft of the AGEDIS Modelling Language Specification and Appendices at the Downloads area.

2001-06-06 First EC Review a Success

The first review of the AGEDIS project by the EC took place in Brussels on May 10th, 2001, hosted by EC officer Renato Campo. The reviewers Antonia Bertolino (Istituto di Elaborazione della Informazione del CNR, Pisa, Italy) and Alan Wills (Trireme International Ltd, Manchester, UK) state in their report:

"The work done to date seems well executed and enthusiastic. The project is clearly well organized, and in the opinion of the reviewers has a high likelihood of success."

Have a look the Achievements and Project Status.

2000-12-18 CONQUEST: Call for Papers

CONQUEST - the Conference on Quality Engineering in Software Technology - will take place on September 19-21 2001, in Nuremberg, Germany. The call for papers is out now!
(for more conferences click on "Links" on the left panel)

2000-12-05 AGEDIS web site online!

The AGEDIS projects web site is online since beginning of October. Click here for a press release (.pdf) !

2000-11-20 AGEDIS Kick Off Meeting

After the official starting on November 1st 2000 the kick off meeting for the AGEDIS project has taken place.
From 20th to 24th of November 2000 fifteen representants of all seven partner institutions have met at Oxford University to discuss important management issues for a successful launch of the project as well as details of the opening experiments.

From left to right:
Johannes Trost (imbus AG)
Jim Woodcock (University Oxford)
Laurent Mounier (Verimag, U Joseph Fourier)
Kenneth Nagin (IBM Haifa)
Alessandra Cavarra (University Oxford)
Manuela Heigl (imbus AG)
back: Yves-Marie Quemener (France Telecom)
Alan Hartman (IBM Haifa)
Thierry Jeron (Irisa, U Joseph Fourier)
Ian Craggs (IBM Hursley)
Kyriakos Bechrakis (Intrasoft International)

not in the picture:
Kryssa Nikopolou (Intrasoft International)
Jim Davies (University Oxford)
Charles Crichton (University Oxford)
Andrew Martin (University Oxford)