Kolloquium vom 3.2.04
by Sabine Gerber
Einladung zum nächsten Vortrag:
Dienstag, 3. Februar 2004, 17.30 Uhr
in der Uni Engehalde, Engehaldenstrasse 8, 3012 Bern, Hörsaal 001 (1. UG)
Shriram Krishnamurthi
Brown University, Providence, Rhode Island, USA
Automated Modular Verification in Product-Line Systems
Feature-oriented programming organizes programs around features rather than
objects, thus supporting extensible, product-line architectures. Programming
languages increasingly support this style of programming, but programmers
get little support from verification tools.
Ideally, programmers should be able to verify features independently of each
other and use automated compositional reasoning techniques to infer
properties of a system from properties of its features. Unfortunately, most
modular model checking techniques do not support feature-oriented modules;
they betray their hardware roots by assuming that modules compose in
parallel. In contrast, feature-oriented modules compose sequentially in the
simplest case; most interesting feature-oriented designs are really
quasi-sequential compositions of parallel compositions. These designs
therefore demand and inspire new verification techniques.
This talk gives an overview of feature-oriented modules, our compositional
model checking methodology for them, and its application to real software
systems.
Shriram Krishnamurthi is an Assistant Professor of Computer Science at Brown
University. His research lies at the confluence of programming languages,
software engineering and computer-aided verification. His recent projects
have focused primarily on modular verification of product-line software, and
the semantics of Web interactions. He is a co-author of the DrScheme
programming environment, the FASTLINK genetic linkage analysis package, and
the book How to Design Programs (MIT Press, 2001). He has more recently
written Programming Languages: Application and Interpretation. He also
coordinates the TeachScheme! high school computer science outreach program.
Eine Veranstaltung des IAM mit Unterstützung von CHOOSE
Mit freundlichen Grüssen
Sabine Gerber
Institut für Informatik und angewandte Mathematik
Neubrückstr. 10, 3012 Bern
http://www.iam.unibe.ch
Sekr. CGG / Prüfungssekretariat, Sabine Gerber
Tel. 031 631 49 14 / Fax 031 631 39 65
E-Mail: gerber(a)iam.unibe.ch
choose-news(a)iam.unibe.ch is a *moderated* mailing list for announcing
non-commercial events related to Object Technology in Switzerland.
Please send announcements to be posted to: choose-news(a)iam.unibe.ch
To unsubscribe, please send the message "unsubscribe choose-news" to:
Majordomo(a)iam.unibe.ch
To learn more about SI and CHOOSE, see: http://www.iam.unibe.ch/CHOOSE/
19 years, 8 months
- 1
- 0
[choose] Making RUP Agile SIG Beer -- Thu. Feb 12 -- Uni BE
by Igor Metz
The CHOOSE executive board is pleased to invite you to a presentation by
Michael Hirsch (Zühlke Engineering AG) on Making RUP Agile.
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.iam.unibe.ch/CHOOSE.
NOTE: registration for this event is required. Please fill out the
registration form at the end of this e-mail.
------------------------------------------------------------------------
Making RUP Agile
================
Thursday Feb. 12 @ 17h00
Institut für Wirtschaftsinformatik (IWI), Universität Bern,
Engehaldenstrasse 8, 3012 Bern, Hörsaal 002
Travel instructions: http://www.iam.unibe.ch/~scg/Resources/Maps/
Speaker
-------
Michael Hirsch, Zühlke Engineering AG
Agenda
------
17h00 - 18h00 Talk and Q/A
Afterwards you are invited to a refreshment.
Abstract
========
The Rational Unified Process (RUP) is a comprehensive process covering
almost all aspects of software development projects. Due to its great
level of detail, RUP has - quite wrongly - the reputation of being too
heavyweight for agile development projects. This talk will show how to
configure RUP for agile development. Topics covered include what
artifacts to use and not to use, best practices for planning and
monitoring projects, best practices for handling requirements, and best
practices for analysis and design. The talk will be concluded by a brief
demonstration of a real world project which was successfully completed
with an agile version of RUP.
Bio
===
Michael Hirsch has 20 years of experience in the software industry in
various roles, including project manager, software architect and
software developer. The last 10 years he has been with Zühlke
Engineering AG, a software contractor and software consultancy in
Switzerland. He has been using RUP since 1998, when he led a team that
introduced RUP at Zühlke Engineering and adapted it to the company's
needs. Since then Zühlke Engineering has successfully completed more
than 20 projects with an agile version of RUP. Today, Michael splits his
time between managing software development projects, coaching and
mentoring project teams, and teaching classes on software processes and
object oriented analysis and design.
-----------------------------------------------------------------------
REGISTRATION
------------
Please DO NOT reply to this e-mail!
Fill in the form below and sent it to <mailto:choose@glue.ch>. Thanks.
I want to register to the following event: Making RUP Agile -- Feb 12, 2004
Name: ______________________________________
Email: ______________________________________
Company: ______________________________________
Address: ______________________________________
ZIP/City:______________________________________
Please check:
[ ] CHOOSE member
[ ] JUGS member
[ ] SI member
[ ] Non-Member
choose-news(a)iam.unibe.ch is a *moderated* mailing list for announcing
non-commercial events related to Object Technology in Switzerland.
Please send announcements to be posted to: choose-news(a)iam.unibe.ch
To unsubscribe, please send the message "unsubscribe choose-news" to:
Majordomo(a)iam.unibe.ch
To learn more about SI and CHOOSE, see: http://www.iam.unibe.ch/CHOOSE/
19 years, 8 months
- 1
- 0
[choose] Reminder -- Unit Testing with DbC and Equivalence Partitions talk Wed. Jan 14
by Markus Gälli
The CHOOSE executive board is pleased to invite you to a presentation
by Per Madsen (University Aalborg / ETH Zurich) on
A unit testing tool based on Design by Contract and equivalence
partitions
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.iam.unibe.ch/CHOOSE.
NOTE: registration for this event is required. Please fill out the
registration form at the end of this e-mail.
------------------------------------------------------------------------
A unit testing tool based on Design by Contract and equivalence
partitions
=========================================================
Wednesday January 14, 2004 @ 17h00
Institut für Wirtschaftsinformatik (IWI), Universität Bern,
Engehaldenstrasse 8, 3012 Bern, Hörsaal 002
Travel instructions: http://www.iam.unibe.ch/~scg/Resources/Maps/
Speaker
-------
Per Madsen, University Aalborg / ETH Zurich
Agenda
------
17h00 - 18h00 Talk and Q/A
Afterwards you are invited to a refreshment.
Abstract
--------
Software testing is an important, but also very hard task. In this
talk we will present a testing approach, where parts of the testing
process in done automatically. In order for this to happen we have
made an extended version of Java that enables the programmer to
specify a formal description of Equivalence Partitions and to use
Design by Contract as in Eiffel. The combination of these two
extensions allows a tool to generate and evaluate test cases
automatically. The talk will explain the tool step by step and provide
a concrete example.
Bio
---
Per Madsen is a Ph.D. student from Aalborg University in Denmark. He
got a master degree in Computer Science in 1998. From 1998 until 2001
he was employed as a Software Developer in a private company working
with baggage handling control systems in airports. After realizing that
software testing is a major problem in the industry he returned to the
university to become a Ph.D. student. He is now working on the design
and implementation of a tool for automatic test case generation. From
October 1th 2003 until February 1th 2004 he is a guest at the Chair of
Software Engineering, ETH Zurich.
-----------------------------------------------------------------------
REGISTRATION
------------
Please DO NOT reply to this e-mail!
Fill in the form below and sent it to <mailto:choose@glue.ch>. Thanks.
I want to register to the following event: Unit Testing with Design by
Contract and Equivalence Partitions -- Jan 14, 2004
Name: ______________________________________
Email: ______________________________________
Company: ______________________________________
Address: ______________________________________
ZIP/City:______________________________________
Please check:
[ ] CHOOSE member
[ ] JUGS member
[ ] SI member
[ ] Non-Member
choose-news(a)iam.unibe.ch is a *moderated* mailing list for announcing
non-commercial events related to Object Technology in Switzerland.
Please send announcements to be posted to: choose-news(a)iam.unibe.ch
To unsubscribe, please send the message "unsubscribe choose-news" to:
Majordomo(a)iam.unibe.ch
To learn more about SI and CHOOSE, see: http://www.iam.unibe.ch/CHOOSE/
choose-news(a)iam.unibe.ch is a *moderated* mailing list for announcing
non-commercial events related to Object Technology in Switzerland.
Please send announcements to be posted to: choose-news(a)iam.unibe.ch
To unsubscribe, please send the message "unsubscribe choose-news" to:
Majordomo(a)iam.unibe.ch
To learn more about SI and CHOOSE, see: http://www.iam.unibe.ch/CHOOSE/
19 years, 8 months
- 1
- 0
Adding Generics to The Java(tm) Programming Language
by ducasse
We invite you to attend the following talk:
Adding Generics to The Java(tm) Programming Language
Gilad Bracha
Computational Theologist
Sun Microsystems
Abstract
Generic types allow users to write programs that work uniformly over a
family of types. Generic types make programs more robust and type-safe,
and more readable, by eliminating the clutter of unnecessary casts.
Typical uses are container classes such as collections, lists and
stacks. Generic types will be incorporated into the Java(tm)
programming language in the upcoming 1.5 release. In this talk, we
highlight key features of the generics extension and discuss tradeoffs
between functionality, compatibility, and performance.
Bio
Gilad Bracha is a computational theologist at Sun Microsystems,
co-author and maintainer of the Java Language Specification, and a
researcher in the area of object-oriented programming languages. Prior
to joining Sun, he worked on Strongtalk, the Animorphic Smalltalk
System. He holds a B.Sc in Mathematics and Computer Science from
Ben Gurion University in Israel and a Ph.D. in Computer Science from
the
University of Utah.
When: tuesday 20th of January at 17h15
Where: Institut für Wirtschaftsinformatik (IWI), Universität Bern,
Engehaldenstrasse 8, 3012 Bern, Hörsaal 001
Travel instructions: http://www.iam.unibe.ch/~scg/Resources/Maps/
19 years, 8 months
- 1
- 0
- ← Newer
- 1
- Older →