Afternoon Tutorials - October
the 31st
Tutorial
1.2: Model-based design and
analysis of concurrent and distributed programs
The wide acceptance of the
Java programming language with its built-in concurrency constructs
means that concurrent programming is no longer restricted to the
minority of programmers involved in operating systems & embedded
real-time applications. Concurrency is useful in a wide range of
applications. Errors in these applications and systems may be life
threatening, adversely affect our quality of life or may have severe
financial implications. An understanding of the principles of
concurrent programming and an appreciation of how it is practiced is
essential for software engineering professionals. This tutorial takes a
model-based approach to the design of concurrent and distributed
programs. The models, based on finite state machines, provide insight
into the composite behaviour of the programs, and can be automatically
analyzed to check various properties before implementation. The
approach, concurrency concepts and analysis will be demonstrated
through a series of examples and using the LTSA toolkit. In addition,
current research work in the area will be discussed & demonstrated.
Jeffrey Kramer, UK
Hall 1
Tutorial
2.2: Agile Software
Development in a Large and Distributed Environment
A lot of people still believe that agile software
development is for small teams only. However, the agile value system
and the principles behind as stated in the agile manifesto don't say
anything about team or project size. Furthermore the projects I'm
working on are typically large, distributed and mission-critical.
Therefore, several years ago I took the challenge and tried agile
software development in the large. Meanwhile I made the similar
experience on many large projects: Also large and even distributed
teams can benefit from a value system that is beneficial for small teams
Jutta Eckstein, Germany
Hall 2
Tutorial
3.2: The 3D3C Metaverse: A New Medium Is Born
The Metaverse is described
as a three-dimensional world in which human characters spend their
time, play, work and live. A definition for the Metaverse is proposed –
3D3C: 3D for the three Dimensions of this interactive world and 3C for
Community in which people connect with one another, Creation that
allows people to express themselves and Commerce that links real
monetary value to actions in this world. This study assesses several
Metaverse phenomena as manifested in the Second Life environment:
Social structures, Griefers, commercial data, real businesses,
ceremonies and real experiences, comparing them with parallel phenomena
of World of Warfare. The Metaverse is then mapped into the conventional
course of technology development (invention, realization, excitement
and aversion, maturity and transparency), leading to the conclusion
that a new medium is born.
Yesha Sivan,Israel
Hall 3
