ROOM 4



Date view Thread view Subject view Author view

Tony Clark (anclark@dcs.kcl.ac.uk)
Wed, 12 Sep 2001 14:30:25 +0100


The Fourth Workshop on Rigorous Object-Oriented Methods ROOM 4 King's College London, UK March 21-22, 2002 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. The organisers would like to invite submissions in any area of OO methodology which contributes to the rigour of the methods and thereby the quality of the software products. Suitable areas for submission include (but are not limited to) the following: o Integration of formal and OO development methods. o Rigorous specification techniques for OO development. o Formal semantics for OO notations and methods. o Tools that support rigorous OO development. o Support for rigour in OO programming languages. o Case studies showing real applications of rigorous OO development. o Use of OO techniques with safety analysis. o Pattern directed rigorous OO development. o The use of refinement in the OO development process. The workshops ROOM1, ROOM2 and ROOM 3 were held in 1997 at Imperial College London, in 1998 at the University of Bradford and in 2000 at the University of York. They proved to be popular, attracting papers from international researchers and practitioners including the UK, Germany, France, Switzerland and Canada. The proceedings of ROOM 3 can be found at: http://www.ewic.org.uk/ewic/workshop/list.cfm. The deadlines are as follows: o Initial submissions are required by Dec 14 2001. o Notification of acceptance Jan 30 2002. o Final copy of accepted papers Feb 28 2002. You will find details regarding the call for submissions at: http://www.dcs.kcl.ac.uk/events/ROOM4


Date view Thread view Subject view Author view