Ada-Belgium will hold its annual General Assembly on Wednesday, February 19, 1997, at Trasys, 7 av. Ariane, 1200 Brussel, from 19:00 until 19:30.
This will be followed by a 2-hour technical presentation on "High-Integrity Programming for Safety-Critical Software" by Praxis (U.K.), a world leader on safety management and formal specification, and a demonstration of Praxis' family of products (SPARK). The presentation will provide an overview of the technical base of Praxis, to support a more detailed discussion of static code analysis and in particular the SPARK Ada-sublanguage. Project work will be described and future developments around Ada95 presented.
If you are interested in either the General Assembly or Praxis' presentation and demonstration, please contact Guido Duerinckx at Trasys (tel. 02/773.78.57, e-mail firstname.lastname@example.org) to receive your FREE invitation.
An access plan to Trasys is available for previewing (364x500 GIF, 56Kb) or for downloading to be printed (2540x3496 GIF, 704 Kb).
Looking forward to meet many of you in Brussels.
We would like to thank our sponsors for their continued support of our activities: Katholieke Universiteit Leuven (K.U.Leuven), Koninklijke Militaire School / Ecole Royale Militaire, (K.M.S./E.R.M.), OFFIS nv/sa , Rational Software Corporation , Trasys nv/sa , and Université Libre de Bruxelles (U.L.B.).
Information on this and other Ada-Belgium events is available on the Internet at the Ada-Belgium World-Wide-Web pages and is updated regularly. Check out URL
To the Ada-Belgium home page.
Last update: 97/02/10.