![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
Date: Fri, 12 Oct 2001 15:25:26 -0600 (MDT) From: brian.tooby@baesystems.com Subject: (SEWORLD) Symposium on Reliable Object-Oriented Programming (SROOP) - Call for Participation To: seworld@cs.colorado.edu ************************************************************* * Symposium on Reliable Object-Oriented Programming (SROOP) * ************************************************************* Wednesday 24th October 2001 The Institution of Electrical Engineers, Savoy Place, London WC2 PROGRAMME SUMMARY ----------------- Object Oriented Programming, once an over-hyped niche activity, is now widely used across a broad spectrum of the software industry. The major challenge today in OOP applications is to achieve long-term reliability. In theory, the main characteristics of OO: abstraction, encapsulation, modularity and hierarchy, should support this aim. In practice, OO programs tend to be written and constructed in a very different way from programs created using classical structured approaches, and make the job of both achieving and proving reliability significantly harder. This is the case even with Ada 95, an OO language developed specifically for reliable systems. This symposium addresses advances that have been made in the practical application of OO techniques and in reliable architectures based on OO principles. It will appeal equally to software engineers and to software managers who are involved in developing reliable systems. PROGRAMME --------- 10:00 Symposium opens Introduction to OO Features of Ada 95 John Robinson, John Robinson & Associates Requirements for Reliable Architectures Brian Tooby & Stuart Curtis BAE SYSTEMS Avionics Ltd Object Oriented Ravenscar Profile Brian Dobbing, Praxis Critical Systems Improving the Reliability of Object-Oriented Architecture Designs Robert G. Pettit IV The Aerospace Corporation, USA GENESYS: An application of OO Technology to Aircraft Display Systems Neil Davidson, BAE SYSTEMS Avionics Ltd OO Software Testing - some problems and solutions Ian Gilchrist, IPL TUTORIAL : Idioms for Constructing Reliable OO Systems in Ada 95 Matthew Heaney, On2 Technologies, Inc. USA ~ This tutorial presents idioms for reliable class-wide programming in Ada 95, including techniques for memory-management such as factory functions, reference-counted pointers, and custom storage pools. Mapping UML to Ada Bill Taylor, Bill Taylor Associates High Integrity Java - Oxymoron or Reality? Brian Dobbing, Praxis Critical Systems 17.00 Symposium ends Further Information: contact the SROOP Administrator at PO Box 322, York, YO10 3GY. Telephone +44 (0)1904 412740. Fax +44 (0)1904 426702. E-mail: admin@adauk.org.uk. Website: http://www.adauk.org.uk/. Organising Committee: Jim Briggs, University of Portsmouth (Chairman); Rod Chapman, Praxis Critical Systems; Bill Taylor, Rational Software Ltd; Brian Tooby, BAE SYSTEMS Avionics Ltd; Helen Byard, Symposium Administrator. -- Brian Tooby BAE SYSTEMS Avionics Ltd Sensor Systems Division Brian.Tooby@baesystems.com
Date: Wed, 12 Sep 2001 09:11:34 +0100 (BST) From: brian.tooby@baesystems.com To: seworld@cs.colorado.edu Subject: (SEWORLD) Symposium on Reliable Object-Oriented Programming (SROOP) - Call for Participation [ 81 lines deleted; see updated version above -- dc ]
Date: Mon, 4 Jun 2001 18:05:34 +0100 From: Bill Taylor <wjtaylor@BTINTERNET.COM> Subject: Ada UK Symposium on Reliable Object-Oriented Programming To: TEAM-ADA@ACM.ORG Symposium on Reliable Object-Oriented Programming (SROOP) Wednesday 24 October 2001 Institution of Electrical Engineers, Savoy Place, London Question: What has object-oriented design and programming to offer the implementation of reliable systems? Answer: A lot! OO has become a key feature of system design and implementation. Reliable systems are increasingly using OO techniques, often replacing traditional structured approaches. Programming languages such as Ada 95, Java and C++ each offer subtly different ways of representing objects, their attributes and their methods. How can those features be used reliably? Are there features that are unsafe or inappropriate? What architectures can be employed to make implementation easier or more verifiable? Where do patterns and frameworks fit in? This Symposium will address many of these, and related, issues and is aimed at programmers, system designers, vendors, managers responsible for tools and languages, and those involved in the assurance of quality for reliable systems. There will be a healthy mix of principles and practice. We invite contributions on any of the following themes: * object-oriented design and programming * system reliability * system architectures * patterns and frameworks * design languages and notations supporting reliable design * applications of the above particularly in areas such as user interfaces and Internet programming. The organisers are particularly interested in reports of experience gained in applying the above. Call for Papers: Authors are invited to submit abstracts (recommended length no more than one side of A4) addressing the above themes. The abstracts, which will be refereed, should be submitted by email to Rod Chapman at rod@praxis-cs.co.uk. Acceptable formats are Microsoft Word, HTML or plain ASCII. The deadline for submissions is Monday 18th June. Authors will be notified approximately four weeks later. Accepted abstracts will be distributed to delegates at the symposium. Full papers will be published after the Symposium in the Ada User Journal. Further Information: contact the SROOP Administrator at PO Box 322, York, YO10 3GY. Telephone +44 (0)1904 412740. Fax +44 (0)1904 426702. E-mail admin@adauk.org.uk. Organising Committee: Jim Briggs, University of Portsmouth (Chairman); Rod Chapman, Praxis Critical Systems; Bill Taylor, Bill Taylor Associates; Brian Tooby, BAE SYSTEMS Avionics Ltd; Helen Byard, Symposium Administrator. Bill Taylor Bill Taylor Associates wjtaylor@btinternet.com
Date: Tue, 8 May 2001 20:53:44 +0100 From: Bill Taylor <Wjtaylor@BTINTERNET.COM> Subject: Call for Papers - Symposium on Reliable Object-Oriented Programming To: TEAM-ADA@ACM.ORG ************************************************************* * Symposium on Reliable Object-Oriented Programming (SROOP) * ************************************************************* [ 64 lines deleted; see updated version above -- dc ]
Date: Sun, 8 Apr 2001 22:27:54 -0600 (MDT) From: brian.tooby@baesystems.com To: seworld@cs.colorado.edu Subject: (SEWORLD) CFP: Symposium on Reliable Object-Oriented Programming (SROOP) [ 60 lines deleted; see updated version above -- dc ] -- Brian Tooby BAE SYSTEMS Avionics Ltd Sensor Systems Division Brian.Tooby@baesystems.com
To the Ada-Belgium home page.
Last update: 2001/10/13.
Dirk Craeynest