ROOM'4: Call For Participation



Date view Thread view Subject view Author view

Jean-Michel BRUEL (Jean-Michel.Bruel@univ-pau.fr)
Mon, 18 Feb 2002 13:07:47 +0100


The Fourth Workshop on Rigorous Object-Oriented Methods ROOM 4 King's College London, UK Friday, March 22, 2002 CALL FOR PARTICIPATION Apologies if you receive multiple copies Object-oriented system development methods are becoming increasingly widespread. OO methods are applied to a wide variety of application domains including business modelling, aerospace engineering and telecomms engineering. In many cases the application domains require the development methods to support a high degree of precision in order to achieve the required quality of product. The ROOM workshop series aims to bring together researchers and practitioners in the areas of rigorous object-oriented analysis and design, systems development and formal methods. PROGRAMME 9.30--10.15 Invited speaker: Robert France 10.15-10.30 Coffee break 10.30--12.30 Session 1: UML Chair: Andy Evans B. Appukuttan, T. Clark, A. Evans, G. Maskeri, P. Sammut, L. Tratt, J. Williams A pattern-based approach to defining the dynamic infrastructure of UML 2.0 T. Baar How to Ground Meta-circular OCL Descriptions, a Set-theoretic Approach K. Lano, D. Clark, K. Androutsopolous RSDS: A subset of UML with Precise Semantics G. Maskeri, J. Williams, T. Clark, A. Evans, S. Kent, P. Sammut A pattern-based approach to defining translations between languages 12.30-1.30 Lunch 1.30--3.00 Session 2: Applications Chair: Kevin Lano W. Mostowski Rigorous Development of JAVA CARD Applications D. Crocker Perfect Developer: A tool for Rigorous Object Oriented Software Development J-C Royer Temporal Logic Verifications for UML, the Vending Machine Example 3.00--3.30 Tea 3.30--5.00 Session 3: Other Methods Chair: Tony Clark K. Lano, J. Fiadeiro Extending UML with Coordination Contracts R. Paige, J. Ostroff, P. Brooke Checking the Consistency of Collaboration and Class Diagrams using PVS A. Herranz-Nieva On the design of an Object-oriented formal notation LOCATION The workshop will be located at the Strand Campus of King's College London, close to central London and the Embankment. A map of the College is available here: http://www.kcl.ac.uk/about/maa/overview.html The meeting will be held in the Council Room (1st floor. Main building at the Strand site). Disabled access is available. Please contact Kevin Lano (kcl@dcs.kcl.ac.uk) for more information. REGISTRATION Pre-registered fee: 40 to be paid on arrival (cash or checks welcome, but no credit cards please) On-site, non- pre-registered fee: 50 Please complete the appended registration form and email, post or fax to: Dr Andy Evans Department of Computer Science University of York York, UK YO10 5DD Email: andye@cs.york.ac.uk Telephone: +44 (0)1904 434751 Facsimile: +44 (0)1904 432767 REFRESHMENTS Lunch and refreshments will be included in the registration fee. ACCOMMODATION There are a vast number of hotels close to the venue, ranging from five star to two star. A range of options can be found at: http://www.dcs.kcl.ac.uk/staff/kcl/accommodation.pdf REGISTRATION FORM 4TH ROOM WORKSHOP Name: Title: Affiliation: Email: Special Dietary Requirements: Other requirements:


Date view Thread view Subject view Author view