|
Monterey Workshop 2002
Radical Innovations of
|
| 18:30 | Registration and Welcome Party (at the Workshop site, Auditorium S. Margherita) |
| 09:00 | Opening and Introduction (M. Wirsing) |
| Challenges in System Development | |
| 09:15 | Why is software productivity so hard to improve? (O. Nierstrasz) |
| 09:45 | Post-Object-Oriented Programming Is Object-Oriented Programming on a Different Scale (H. Hußmann) |
| 10:15 | Break |
| Components | |
| 10:45 | Software Components: The Challenges Ahead (M. Jazayeri) |
| 11:15 | Predicting Properties of Component Based Software Architectures through Parameterized Contracts (B. Krämer, R. H. Reussner, H. W. Schmidt) |
| 11:45 | The role of architecture in components assembly (P. Inverardi, M. Tivoli) |
| 12:15 | Discussion |
| 12:45 | Lunch |
| Challenges in Systems Development II | |
| 15:00 | Software technology available today (B. Meyer) |
| 15:30 | What, Who, and How of Tomorrow (J. Wing) |
| 16:00 | The Inevitable Pain of Software Development: Why There Is No Silver Bullet (D. M. Berry) |
| 16:30 | Break |
| 17:00 | Panel: Future of Object-Orientation |
| New Development Paradigms | |
| 08:45 | Service based software and systems engineering (M. Broy) |
| 09:15 | Agile Modeling in Lightweight Projects (B. Rumpe) |
| 09:45 | Domain Engineering - A "Radical Innovation" for Software and Systems Engineering (D. Bjørner) |
| 10:15 | Break |
| Embedded Systems | |
| 10:45 | Computational Model for High-Confidence Embedded System Development (Luqi, Y. Qiao, L. Zhang) |
| 11:15 | A General Resource Framework for Real-Time Systems (I. Lee, A. Philippou, O. Sokolsky) |
| 11:45 | Model-Integrated Computing (J. Szipanovits) |
| 12:15 | Discussion |
| 12:45 | Lunch |
| Distributed Systems Development | |
| 15:00 | From Problem Driven to Platform Specific Models (E. Astesiano, M. Cerioli, G. Reggio) |
| 15:30 | Proposal for a Model Based Development of Distributed Embedded Systems (F. Gilliers, F. Kordon, D. Regep) |
| 16:00 | An Outlook on Software Engineering for Modern Distributed Systems (C. Ghezzi, G. P. Picco) |
| 16:30 | Break |
| Systems Analysis | |
| 17:00 | Model Generation for Legacy Systems (B. Steffen, T. Margaria) |
| 17:30 | Towards Fully Automatic Execution Monitoring (M. Auguston, C. Jeffery) |
| 18:00 | MDOAG: Module Drive and Output Analyzer Generator (V. Berzins, N. Chaki) |
| Requirements | |
| 08:45 | Knowledge Structuring and Representation in Requirement Specification (E. Astesiano, G. Reggio) |
| 09:15 | Building Formal Requirements Models for Reliable Software (A. von Lamsweerde) |
| 09:45 | Automation of Software System Development Using Natural Language Processing and Two-Level Grammar (B. R. Bryant, B.-S. Lee) |
| 10:15 | Break |
| Performance and Reliability | |
| 10:45 | How to Reach Software Ultra-Reliability? (M.-C. Gaudel) |
| 11:15 | Integrating performance modelling in the software development process (S. Balsamo, M. Simeoni) |
| 11:45 | Reliable Design of Agent Systems (D. Robertson) |
| 12:15 | Discussion |
| 12:45 | Lunch |
| Validation of Complex System | |
| 15:00 | Model Checking Complex Software - A Memory Perspective (M. Rangarajan, D. Cofer) |
| 15:30 | Architecture Based Model Driven Software and System Development for Avionics and Safety Critical Systems (B. Lewis) |
| 16:00 | System-of-Systems Development From An Object-Oriented Paradigm (D. S. Caffall, J. B. Michael) |
| 16:30 | Break |
| Views in Software Development | |
| 17:00 | Global Development via Local Observational Construction Steps (M. Bidoit, D. Sannella, A. Tarlecki) |
| 17:30 | Sound View Integration in Software Development (M. Wirsing, A. Knapp) |
| 18:00 | Module Dependences in Software Design (D. Jackson) |
| 21:00 | Social dinner at ristorante Poste Vecie |
| Software Development and the Web | |
| 08:45 | Towards a Tolerant Notion of Correctness (A. Haeberer, T. S. E. Maibaum) |
| 09:15 | Towards Ontology Driven Software Design (C. Ciancarini, V. Presutti) |
| 09:45 | Higher Order Applicative XML Documents (C. Delgado Kloos, P. T. Breuer, V. Luque Centeno, L. Sanchez) |
| 10:15 | Break |
| 10:45 | Panel: Radical Innovations for Software and Systems Engineering? |
| Time | Monday | Tuesday | Wednesday | Thursday | Friday |
|---|---|---|---|---|---|
| Opening and Introduction (Wirsing, 9:00) Challenges in Systems Development I | New Development Paradigms | Requirements | Software Development and the Web | ||
| 08:45 | Broy | Astesiano | Haeberer | ||
| 09:15 | Nierstrasz | Rumpe | von Lamsweerde | Ciancarini | |
| 09:45 | Hußmann | Bjørner | Bryant | Delgado Kloos | |
| 10:15 | Break | Break | Break | Break | |
| Components | Embedded Systems | Performance and Reliability | Panel | ||
| 10:45 | Jazayeri | Luqi | Gaudel | Radical Innovations for Software and Systems Engineering? | |
| 11:15 | Krämer | Lee | Balsamo | ||
| 11:45 | Inverardi | Sztipanovits | Robertson | ||
| 12:15 | Discussion | Discussion | Discussion | End | |
| 12:45 | Lunch | Lunch | Lunch | ||
| Challenges in Systems Development II | Distributed Systems Development | Validation of Complex Systems | |||
| 15:00 | Meyer | Reggio | Rangarajan | ||
| 15:30 | Wing | Kordon | Lewis | ||
| 16:00 | Berry | Picco | Caffall | ||
| 16:30 | Break | Break | Break | ||
| Panel | Systems Analysis | Views in Software Development | |||
| 17:00 | Future of Object-Orientation | Steffen | Bidoit | ||
| 17:30 | Auguston | Wirsing | |||
| 18:00 | Berzins | Jackson | |||
| 18:30 | End | ||||
| 19:00 | Registration and Welcome Party | ||||
