|
IFIP Working Conference on Software Engineering Techniques - SET 2006 |
|
|
co-located with |
|
|
VIII Conference on Software Engineering – KKIO 2006 |
|
|
|
Invited Speakers
Keynote 1: Contracts, tests and proofs for trusted components Wednesday, October 18, 9:00AM Bertrand Meyer, ETH Zurich and Eiffel Software.
There is now a considerable experience and body of existing software taking advantage of software contracts as they exist in Eiffel. In addition to the traditional benefits of contracts for design, documentation, debugging, inheritance, exception handling etc., recent advances take advantage of contracts to implement complementary verification approaches: tests as well as proofs. This talks describes advances in this direction, in particular the design of the AutoTest environment for push-button testing developed at ETH, and work on proving contracted classes. It also discusses the matter of providing complete contracts through models, presents the MML library developed for that purpose, and describes some applications to concurrency.
Bertrand Meyer is professor of software engineering and chair of the computer science department at ETH Zurich. He is also the founder of Eiffel Software in California and the author of several books such as "Object-Oriented Software Construction".
Keynote 2: From Hubs Via Holons to an Adaptive Meta-Architecture – the "AD-HOC" Approach Thursday, October 19, 9:00AM Leszek A. Maciaszek, Macquarie University, Sydney, Australia
The ever increasing sophistication of software systems brings with it the ever increasing danger of humans losing control over their own creations. This situation, termed the ‘software crisis’, is said to have existed since the early days of software engineering and has been characterized by the inability of software developers to produce adaptive systems. This paper addresses the roots of the software crisis – the software cognitive and structural complexity and how it could be conquered through the imposition of a meta-architecture on software solutions. The meta-architecture, called PCBMER, epitomizes some important characteristics of holons and holarchies underpinning the structure and behavior of living systems
Leszek A. Maciaszek is professor of information sciences at Macquarie University in Sydney, as well as a consultant, writer and industry trainer. His consulting and training assignments have included numerous corporations and institutions in countries on four continents. He authored about 120 positions (including several books published by Prentice Hall and Addison Wesley). His broad areas of interest are object technology, software engineering, databases, systems analysis and design, workgroup computing, and enterprise integration. More specifically, Leszek has been studying structures and behaviour of adaptive complex systems. The aim is to define architectural, engineering and organizational imperatives for adaptable enterprise and ebusiness systems in order to manage their cognitive and structural complexity.
|
|
October 17-20, 2006 |
|
|
|
|
|
|
|
|
|
|
|
Main menu |
|
|
Call for Papers (pdf) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
