Choose-news May 2006

choose-news@list.inf.unibe.ch

1 participants
2 discussions

Brian Henderson-Sellers - CHOOSE Talk - Tue June 27 @ 17h15 - OO and AO Methodologies - a Method Engineering Approach

by Oscar Nierstrasz

The CHOOSE executive board is pleased to invite you to a presentation by Brian Henderson-Sellers (University of Technology, Sydney) on 'OO and AO Methodologies - a Method Engineering Approach'. This event is free for all SI-CHOOSE members, even the drinks after the talk! Non-CHOOSE members are also welcome, and are encouraged to fill out the membership application form (http://www.s-i.ch/) before attending the meeting. If you want to know more about CHOOSE and the events which CHOOSE organises, please visit www.choose.s-i.ch NOTE: registration for this event is required. Please fill out the registration form at the end of this e-mail. ------------------------------------------------------------------------ OO and AO Methodologies - a Method Engineering Approach ======================================================= When: Tuesday June 27, 2006 Where: Institut fuer Wirtschaftsinformatik (IWI), Universitaet Bern, Engehaldenstrasse 8, 3012 Bern, Hoersaal 001 Travel instructions: http://www.iam.unibe.ch/~scg/Resources/Maps/ Speaker ------- Prof. Brian Henderson-Sellers, University of Technology, Sydney Agenda ------ 17h15 Talk and Q/A Afterwards you are invited to a refreshment. Abstract ======== The FAME project uses method engineering to construct a methodological approach for agent-oriented software development using, as a precursor, the object-oriented OPEN Process Framework. The repository of OO-focussed method fragments has been extended to support various agent-oriented methodological approaches. In this talk, I will show how method engineering provides an excellent base for constructing situation specific software engineering methodologies for both object and agent software development. Both OPF and FAME use an existing repository coupled to an appropriate metamodel (which in the near future will be the new ISO standard metamodel ISO24744, itself based on the OO concept of powertypes). This flexible, yet standardized repository supplies method fragments that are then configured to support specific projects. In addition, all existing, and new, OO and AO methodologies can be recreated, thus providing an industry strength resource for object-oriented and agent- oriented software development. Bio === Brian Henderson-Sellers is Director of the Centre for Object Technology Applications and Research and Professor of Information Systems at the University of Technology, Sydney (UTS). He is author or editor of 27 books and is well-known for his work in object- oriented and agent-oriented methodologies (MOSES, COMMA, OPEN, OOSPICE, FAME), OO metrics and metamodelling. More recently, he has chaired workshops at OOPSLA and AOIS (Agent-Oriented information Systems workshop) on agent-oriented methodologies. He is Editor of the International Journal of Agent-Oriented Software Engineering and on the editorial board of Journal of Object Technology, Software and Systems Modelling and International Journal of Cognitive Informatics and Natural Intelligence. In July 2001, Professor Henderson-Sellers was awarded a Doctor of Science (DSc) from the University of London for his research contributions in object-oriented methodologies. ----------------------------------------------------------------------- REGISTRATION ------------ Please DO NOT reply to this e-mail! Fill in the form below and sent it to choose AT glue.ch. Thanks. I want to register for the following event: ___ Name: ______________________________________ Email: ______________________________________ Company: ______________________________________ Address: ______________________________________ ZIP/City:______________________________________ Please check: [ ] CHOOSE member [ ] JUGS member [ ] SI member [ ] Non-Member

18 years, 10 months

Jan Vitek - CHOOSE talk - Wed May 31 @ 17h15 - Java for Safety-Critical Hard Real-time Systems

by Oscar Nierstrasz

The CHOOSE executive board is pleased to invite you to a presentation by Prof. Jan Vitek, Purdue University on 'Java for Safety-Critical Hard Real-time Systems'. This event is free for all SI-CHOOSE members, even the drinks after the talk! Non-CHOOSE members are encouraged to fill out the membership application form (http://www.s-i.ch/si-appl.html) before attending the meeting. If you want to know more about CHOOSE and the events which CHOOSE organises, please visit http://www.choose.s-i.ch/. NOTE: registration for this event is required. Please fill out the registration form at the end of this e-mail. ------------------------------------------------------------------------ Java for Safety-Critical Hard Real-time Systems =============================================== Wednesday, May 31, 2006 Institut fuer Wirtschaftsinformatik (IWI), Universitaet Bern, Engehaldenstrasse 8, 3012 Bern, Hoersaal 002. Travel instructions: http://www.iam.unibe.ch/~scg/Resources/Maps/ Speaker ------- Prof. Jan Vitek, Purdue University Agenda ------ 17h15 Talk and Q/A Afterwards you are invited to a refreshment. Abstract ======== Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and correct. While higher-level programming models (such as the Real-Time Specification for Java) permit real-time programmers to use language features that most programmers take for granted (objects, type checking, dynamic dispatch, and memory safety) the compromises required for real-time execution can create as many problems. This talk reports on our experience implementing an open-source real- time Java Virtual Machine, and on the development of a navigation system for an Unmanned Aerial Vehicle in a collaboration with the Boeing Company. I will then present two techniques for enhanced assurance in safety- and mission-critical systems. The STARS methodology is a new approach to the engineering of reliable hard real-time embedded systems. STARS is based on two new technologies: a pluggable type system for enforcing memory safety and an aspect- oriented language that separates real-time concerns from application logic. The second technique, Preemptible Atomic Region (PARs), provides guarantees of progress and protection against data races for concurrent embedded programs. The implement of PARs is based on a real-time software transactional memory and has been integrated in a real-time Java virtual machine. I shall conclude with a list of open research challenges. Bio === Jan Vitek is an Associate Professor in Computer Science at Purdue University. He leads the Secure Software Systems lab. He obtained his PhD from the University of Geneva in 1999, and a MSc from the University of Victoria in 1995. Prof. Vitek research interests include programming language, virtual machines, mobile code, software engineering and information security. ----------------------------------------------------------------------- REGISTRATION ------------ Please DO NOT reply to this e-mail! Fill in the form below and sent it to choose AT glue.ch. Thanks. I want to register to the following event: ___ Name: ______________________________________ Email: ______________________________________ Company: ______________________________________ Address: ______________________________________ ZIP/City:______________________________________ Please check: [ ] CHOOSE member [ ] JUGS member [ ] SI member [ ] Non-Member

18 years, 11 months

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

Choose-news May 2006