DOCSLIB.ORG

AE2002 Call for Participation

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
AE2002 Call for Participation 7th International Conference on Reliable Software Technologies - Ada-Europe 2002 Vienna, Austria, June 17-21, 2002 http://www.ada-europe.org/conference2002.html SIGAda Ada-Europe 2002 In 2002, the 7th International Conference on Re- on which its ever-changing history has left an liable Software Technologies will take place in Vi- indelible mark, manifested also in the rich cul- enna, Austria, from June 17th to June 21st. The tural heritage. Shaped by its hundreds of years conference offers a technical program and exhibi- as capital of an empire, the city's ultimate fasci- tion, plus a series of tutorials and a workshop. nation nowadays stems from combining imperial The conference provides an international forum grandeur with explosive modernity. for researchers, developers and users of reliable The conference will take place in the Parkhotel software technologies. Presentations and discus- Sch¨onbrunn which originated in 1907 as the guest sions cover applied and theoretical work currently house of Emperor Franz Josef I. The newly ren- conducted to support the development and main- ovated hotel is located in the immediate vicin- tenance of software systems. ity of the "Sch¨onbrunn Palace" and its beautiful Vienna, a city with about 2 million inhabitants surrounding park, situated close to the center of is situated in the heart of Europe. It is a city Vienna. Preliminary Program Morning Late Morning After Lunch Afternoon MaRTE OS: Bringing Embedded Systems and Using Open Source Hardware and Software to Real-Time POSIX Together, Build Reliable Systems, M. Gonz´alezand M. Aldea J. Sherrill and J. Gaisler Monday Principles of Physical Software Design in Implementing Design Patterns in Ada95, June 17th Ada95, M. Heaney Tutorials M. Heaney SPARK, an "Intensive Overview", P. Amey and R. Chapman Tuesday Embedded Systems Embedded Systems Real-Time Systems June 18th unsuitable for High Integrity Sessions & object orientation, Systems Exhibition Maarten Boasson Case Studies Vendor presentations On Architectural Wednesday Program Analysis June 19th Stability and Ada Language Sessions & Evolution, Issues Tools Exhibition Mehdi Jazayeri Vendor presentations Thursday Reasoning About Distributed Systems Libraries Contextware: Bridging June 20th Reliable Distributed Physical and Virtual Sessions & Programs, Worlds, Exhibition Rachid Guerraoui Vendor presentations OO Technology Alois Ferscha Improved Software Testing with the Use of Metrics, A. Sorkowitz Friday June 21st CORBA 3 and CORBA Tutorials & WG9 Meeting for Embedded Systems, Workshop S. Ron Oliver Workshop: A Standard Cleanroom Software Engineering: Container Library for Ada, An Overview, E. Lamm W. Bail Invited Speakers Embedded Systems Unsuitable Contextware: Bridging Physical for Object Orientation and Virtual Worlds Maarten Boasson, Quaerendo Invenietis Alois Ferscha, University of Linz bv & University of Amsterdam Alois Ferscha joined the University of Linz as full It will be argued that the current focus on object professor in 2000. He published more than 60 technology is detrimental to progress in embed- technical papers on topics related to parallel and ded systems. The core of the problem is that OO distributed computing. Currently his research is fine for analysis but does not answer the de- interests are in the areas of Pervasive Comput- sign needs. Solutions for shortcomings are sought ing, Embedded Software Systems, Wireless Com- within the OO dogma, making things worse. This munication, Multiuser Cooperation, Distributed talk will outline a different approach. Interaction and Distributed Interactive Simula- tion. Maarten Boasson studied mathematics in Gro- ningen, the Netherlands. He became involved in On Architectural Stability and advanced studies aiming at control of complex- ity, both of the development process and of the Evolution system under development itself. This resulted in the creation of a novel architecture for distributed Mehdi Jazayeri, Technical University of reactive systems, that has been applied success- Vienna fully in numerous systems and is, more than 10 Many organizations are now pursuing software ar- years after its introduction, still unsurpassed in chitecture as a way to control their software de- its support for integration, fault tolerance and velopment and evolution challenge. A software component reuse. In 1996 Boasson was appointed architecture describes the properties of a family professor of computer science at the University of of products, thus addressing the problems of both Amsterdam, where he holds a chair in Industrial development and evolution. An important prob- Complex Computer Systems. He played a ma- lem is to be able to evaluate the "goodness" of jor role in establishing a dutch national research a proposed architecture. The talk will propose program in embedded systems, and is currently stability or resilience as a measure of goodness associate editor-in-chief of IEEE Software. of an architecture. The stability of an architec- ture is a measure of how well it accommodates Reasoning About Reliable Dis- new family members. It can be measured by the amount of code changes necessary for the intro- tributed Programs duction of a new member. A case study of several releases of a telecommunication software system Rachid Guerraoui, Swiss Federal Insti- containing a few million lines of code will be used tute of Technology in Lausanne (EPFL) to demonstrate one way to try to estimate ar- What does it mean for a distributed program to chitectural stability. The talk will also present be reliable? A program is reliable if it looks like the challenges in software evolution and conclude a centralized program that does never fail. This with recommendations for future research. talk aims at addressing the ramifications underly- Mehdi Jazayeri is a professor of computer sci- ing this first glance intuitive answer. While doing ence at the Technical University of Vienna. He so, the talk overviews several decades of work on spent many years in software research and devel- correctness of distributed programs, from Lam- opment at several Silicon Valley companies, in- port's atomicity and Papadimitrious' serializabil- cluding ten years at Hewlett-Packard Laborato- ity, to linearizability and x-ability. ries in Palo Alto, California. His recent work Rachid Guerraoui is professor in computer sci- has been concerned with component-base soft- ence at the Swiss Federal Institute of Technol- ware engineering of distributed systems, partic- ogy in Lausanne (EPFL). He leads the Dis- ularly Web-based systems. He is a coauthor tributed Programming Laboratory and teaches of Programming Language Concepts (John Wi- object-oriented programming and distributed al- ley, 1998), Fundamentals of Software Engineering gorithms. He is interested in devising abstrac- (Prentice-Hall, 2002), and Software Architecture tions for reliable distributed programming. for Product Families (Addison-Wesley, 2000). Other Program Details Exhibiting Social Program Exhibition space will be provided at the Parkho- Several activities have already been organized. tel Sch¨onbrunn in the area of the so-called On Tuesday the City of Vienna has invited us all "Kaisersalon". The exhibition and a summary of for a reception at the historic town hall. Before the exhibits will be publicized in handouts, con- that we will enjoy a guided tour by bus that will ference schedule, and conference program. An- provide a first impression of the city and several nouncements will be made in the course of tech- of its well-known sights. nical presentations. Wednesday evening the conference banquet will Sponsoring take place at a famous "Heurigen" in Grinz- ing. Over a glass of wine and traditional Vi- A sliding scale of sponsorship provides a range of ennese cuisine we will have the opportunity benefits. All levels include display of the spon- to experience several of the mundane ingredi- sor's logo on the conference web site and it the ents such as "Schrammel-Musik" and "Wiener program. Gem¨utlichkeit" that add to the flair of this city. See the conference web site for more details ( http://www.ada-europe.org/conference2002.html ). Organization Conference Chair Tutorial Chair Local Organization Chair Gerhard H. Schildt Helge Hagenauer Bernd Burgstaller Technical University Vienna University of Salzburg Technical University Vienna Department of Computer-Aided Dept. Comp. Science & System Department of Computer-Aided Automation Analysis Automation [email protected] [email protected] [email protected] Program Co-Chairs Exhibition Chair Johann Blieberger Technical University Vienna Thomas Gruber Department of Computer-Aided Austrian Research Centers Automation Seibersdorf [email protected] [email protected] Alfred Strohmeier Publicity Chair Swiss Fed. Inst. of Technology Lausanne Dirk Craeynest Software Engineering Lab Offis nv/sa & K.U.Leuven Alfred.Strohmeier@epfl.ch [email protected] In cooperation with With the support of The city of Vienna SIGAda http://www.ada-europe.org/conference2002.html.
Load more

Recommended publications
  • Some Trends in Web Application Development Mehdi Jazayeri
    Some Trends in Web Application Development Mehdi Jazayeri Mehdi Jazayeri is the founding dean of the faculty of informatics and professor of computer science at the University of Lugano, Switzerland. He also holds the chair of distributed systems at the Technical University of Vienna. He spent many years in software research and development at several Silicon Valley companies, including ten years at Hewlett-Packard Laboratories in Palo Alto, California. His recent work has been concerned with component- based software engineering of distributed systems, particularly Web- based systems. He is a coauthor of Programming Language rd Concepts, (John Wiley, 3 edition, 1998), Fundamentals of Software nd Engineering, (Prentice-Hall, 2 edition, 2002), and Software Architecture for Product Families (Addison-Wesley, 2000). He is a Fellow of the IEEE. Future of Software Engineering(FOSE'07) 0-7695-2829-5/07 $20.00 © 2007 Some Trends in Web Application Development Mehdi Jazayeri Faculty of Informatics Faculty of Informatics University of Lugano (USI) Technical University of Vienna Lugano, Switzerland Vienna, Austria www.inf.unisi.ch www.infosys.tuwien.ac.at Abstract 1. Introduction A Web application is an application that is invoked with The World Wide Web was introduced in the early 1990s a Web browser over the Internet. Ever since 1994 when with the goal of making it possible to access information the Internet became available to the public and especially from any source in a consistent and simple way. Developed in 1995 when the World Wide Web put a usable face on at CERN, in Geneva, Switzerland, it was aimed at physi- the Internet, the Internet has become a platform of choice cists and other scientists that generate huge amounts of data for a large number of ever-more sophisticated and inno- and documents and need to share them with other scien- vative Web applications.
    [Show full text]
  • How to Educate a Computer Scientist
    How to Educate a Computer Scientist Mehdi Jazayeri Faculty of Informatics University of Lugano Via Buffi, 6, 6900 Lugano, Switzerland [email protected] Abstract What can you expect a computer science graduate to know? If you had a chance to design a modern curriculum for a computer science program, what would you emphasize? Should a curriculum designed today be different from what you studied? The answer to the question of what to teach computer scientists evolves over time as technologies, applications, and requirements change. As software technology has rapidly spread through every aspect of modern societies, the challenge of educating computer engineers has taken on new form and become more complex and urgent. In this talk, I present the outline of an educational program for a complete software engineer. A new curriculum for computer science has been developed based on these ideas and started in October 2004 at the University of Lugano in Switzerland. The program emphasizes software design and group projects beginning from the first semester. I will highlight the novelties of the curriculum with respect to traditional ones. I argue that the new century requires such a radically new approach if computer scientists are to answer the new opportunities. Vita Mehdi Jazayeri is professor of computer science and dean of the Faculty of Informatics at the University of Lugano. He is also professor of computer science and heads the Distributed Systems Group at the Technical University of Vienna. He is interested in programming, software engineering, programming languages, and distributed systems. He has worked at both technical and management capacities at Hewlett-Packard Laboratories, Palo Alto, Synapse Computer Corporation, Ridge Computers, and TRW Vidar.
    [Show full text]
  • 2013 IEEE Computer Society TCSE Awards ICSE, San Francisco, USA, May 24, 2013
    2013 IEEE Computer Society TCSE Awards ICSE, San Francisco, USA, May 24, 2013 2013 Newly Elevated IEEE Fellows Matthew B. Dwyer, University of Nebraska – Lincoln, USA David Garlan, Carnegie Mellon University, USA Alan Dale George, University of Florida, USA Joseph Andrew Konstan, University of Minnesota, USA Madhav V. Marathe, Virginia Tech, USA Brad A. Myers, Carnegie Mellon University, USA Steven K. Reinhardt, AMD Research, USA Jon George Rokne, University of Calgary, Canada Sudeep Sarkar, University of South Florida, USA Prashant Shenoy, University of Massachusetts, USA Mary Lou Soffa, University of Virginia, USA Matthew Turk, University of California, Santa Barbara, USA Jie Yang, National Science Foundation, USA Ramin Zabih, Cornell University, USA 2013 Newly Elevated IEEE Fellows Matthew Dwyer, Univ of Nebraska – Lincoln, USA for contributions to specification, testing, analysis, and verification of concurrent software David Garlan, Carnegie Mellon University, USA for contributions to software architecture Brad A. Myers, Carnegie Mellon University, USA for development of software tools for HCI Mary Lou Soffa, University of Virginia, USA for contributions to improved efficiency & robustness of software Mehdi Jazayeri, Univ. of Lugano, CH IEEE TCSE Outstanding Education Award ICSE, San Francisco, USA, May 24, 2013 Mehdi Jazayeri • Co-author (with Ghezzi and Mandrioli) of widely used textbook Fundamentals of SE • Chair SE education track at ICSE • Introduced SCORE Student contest at ICSE (with Mandrioli) • Designed
    [Show full text]