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
16 years, 11 months
- 1
- 1
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
17 years
- 1
- 0
- ← Newer
- 1
- Older →