Seminars at the Faculty of Informatics

The Faculty of Informatics is pleased to announce a seminar given by Axel van Lamsweerde

DATE: Monday, April 26th, 2010
PLACE: USI Università della Svizzera italiana, room CC-250, Main building (Via G. Buffi 13)
TIME: 10.30

ABSTRACT:
The effectiveness of MDE relies on our ability to build high-quality models. This task is intrinsically difficult. We need to produce sufficiently complete, adequate, consistent, and well-structured models from incomplete, imprecise, and sparse material originating from multiple, often conflicting sources. The system we need to consider in the early stages comprises software and environment components including people and devices.
Such models should integrate the intentional, structural, functional, and behavioral facets of the system being developed. Rigorous techniques are needed for model construction, analysis, and evolution.  They should support early and incremental reasoning about partial models for a variety of purposes, including satisfaction arguments, property checks, animations, the evaluation of alternative options, the analysis of risks, threats and conflicts, and traceability management. The tension between technical precision and practical applicability calls for a suitable mix of heuristic, deductive, and inductive forms of reasoning on a suitable mix of declarative and operational models. Formal techniques should be deployed only when and where needed, and kept hidden wherever possible.
The talk will provide a retrospective account of our research efforts and practical experience along this route, including recent progress in mdel engineering for safety-critical medical workfows. Problem-oriented abstractions, analyzable models, and constructive techniques are pervasive concerns.

BIO:
Axel van Lamsweerde is Full Professor at the Department of Computing Science of the Université catholique de Louvain, Belgium. His research interests are in precise techniques for requirements engineering, system modeling, high assurance systems, lightweight formal methods, process modeling and analysis, medical safety, and knowledge-based software development environments. Since 1990 he has been instrumental in the development of the KAOS goal-oriented modeling language, method, and toolset. He is author of the book "Requirements engineering: From System Goals to UML Models to Software Specifications" (Wiley). He was Editor-in-Chief of the ACM Transactions in Software Engineering and Methodology, Program Chair of major international software engineering conferences including ESEC'91 and ICSE'94, and is currently Associate Editor of the IEEE Transactions on Software Engineering. He is an ACM Fellow (2000), recipient of the ACM SIGSOFT Distinguished Service Award (2003), and the ACM SIGSOFT Outstanding Research Award (2008).

HOST: Prof. Mauro Pezzè

URL 1: http://www.inf.usi.ch