Choose-news January 2004

choose-news@list.inf.unibe.ch

4 participants
4 discussions

Kolloquium vom 3.2.04
by Sabine Gerber 26 Jan '04

26 Jan '04

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/

1 0

[choose] Making RUP Agile SIG Beer -- Thu. Feb 12 -- Uni BE
by Igor Metz 14 Jan '04

14 Jan '04

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/

1 0

[choose] Reminder -- Unit Testing with DbC and Equivalence Partitions talk Wed. Jan 14
by Markus Gälli 12 Jan '04

12 Jan '04

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/

1 0

Adding Generics to The Java(tm) Programming Language
by ducasse 10 Jan '04

10 Jan '04

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/

1 0

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 January 2004