A copy of presentation slides is available.

Keynote: Specialising in Software Engineering

Michael Jackson (The Open University, UK)
December 5 2007, 9:00 to 10:30 (1 hour and 30 minutes)
For forty years software engineers have aspired to be like the engineers of the established branches: civil, aeronautical, electrical, chemical engineers and others. An obvious characteristic of the established branches is specialisation. Each branch is itself specialised, and within and across branches there are specialisations by product type, component, requirement type, technology, theoretical foundation, and other dimensions. Software engineering exhibits some specialisations — compilers, database systems, distributed systems, operating systems and others — but in lesser number and to a lesser degree.
Both software engineering and the established branches are devoted to developing artifacts that alter the physical world around us. We constrain its natural behaviour, and we elaborate it by forming causal connections mediated by the artifacts we build. To develop good systems we must understand, above all, the difficult relationship between the quasi-formal domain of the computer and its software, and the non-formal domain of the problem world outside it. This relationship is the central theme of the problem frame approach to software engineering.
Understanding software in terms of problem frames can help us to see what dimensions of specialisation are possible and desirable. Realistic systems, like other complex engineering artifacts, are compositions of many distinct and heterogeneous problems and their solutions. By understanding the structures of these subproblems, and the concerns that arise in composing both problems and solutions to form systems, we can work towards an intellectual structure that will allow us to capture and retrieve the lessons of our failures. This will encourage the gradual creation and strengthening of specialised disciplines of normal design. Such disciplines are the ultimate foundation of system dependability.
Michael Jackson wrote his first computer program at school in 1951, but did not start working in software until 1961. He developed the JSP program design method, chosen as the standard for UK Government software development; he led the development of JSD, a method of system specification and design based on entity histories represented as sequential processes.
Since 1990 he has worked as an independent consultant and researcher in software development method, holding visiting posts at several universities and participating in research projects. His recent work has focused on the analysis and structure of software development problems, based on the idea of problem frames.
From 1989 to 2001 he worked, in cooperation with Dr Pamela Zave, as a part-time researcher at AT&T Bell Laboratories (now AT&T Research Laboratories) in New Jersey USA. This work focused on the feature interaction problem and on principles and techniques for specifying telecommunications systems and services. The chief result of the work is the patented DFC architecture for specifying telecommunications services.
He has described his work in many papers and in four books: Principles of Program Design (1974); System Development (1983); Software Requirements & Specifications (1995); and Problem Frames (2001).

Keynote: Challenges in Realizing a Ubiquitous Network Society ~ Development of Smart Spaces and Ubiquitous Services ~

Hideyuki Tokuda (Keio University, Japan)
Ph.D. in Computer Science
Faculty of Environment and Information Studies and Graduate School of Media and Governance
December 6 2007, 9:00 to 10:30 (1 hour and 30 minutes)
In a ubiquitous computing environment, many embedded computers, sensors, devices, and networks are seamlessly connected for creating human-centered ubiquitous applications and services. Ubiquitous computing technology should enable people to access networks, terminals, services and contents at anytime, from anywhere in a seamless, easy, safe and natural way. However, we are facing many technical as well as social challenges in realizing such information and communication environment in a ubiquitous network society.
We have been building "Smart Spaces" for exercising a ubiquitous computing environment where every object is seamlessly connected to networks and supports our everyday activities. Many ubiquitous platforms such as smart furniture, uPhoto, uTexture have been developed. The platforms equipped with embedded networked computers, sensors and various I/O devices. These can provide various ubiquitous services in an open public or private space. By simply placing the smart platforms in a space, we can instantaneously convert the legacy non-smart space into a smart space where location-based context-aware services, service roaming, personalized services and the connectivity to the Internet are provided.
In this talk, we will discuss challenges in creating Smart Spaces and ubiquitous services in a ubiquitous network society. We first discuss the image of the ubiquitous network society and demonstrate several ubiquitous platforms and services. We then discuss the issues and challenges towards a better ubiquitous network society.
Hideyuki Tokuda received his B.S. and M.S. degrees from Keio University, Japan in 1975 and 1977, respectively; a Ph.D. degree in Computer Science from the University of Waterloo in 1983. He joined the School of Computer Science at Carnegie Mellon University in 1983, and was a Senior Research Computer Scientist. In 1990, he joined the Faculty of Environment and Information Studies at Keio University. He is currently a Dean of the Graduate School of Media and Governance and a Professor in the Faculty of Environment and Information Studies, Keio University, Japan.
His research interests include ubiquitous computing systems, distributed real-time operating systems, embedded systems, information appliances, sensor networks, and smart spaces. He has created many distributed operating systems and software toolsĦĦsuch as Real-Time Mach, the ARTS Kernel, Shoshin, Scheduler 1-2-3, andĦĦARM (Advanced Real-Time Monitor). He also created many ubiquitous platforms such as Smart Space Lab., Smart Furniture, uPhoto, uTexture and uPlatea. Because of his research contribution, he was awarded the Motorola Foundation Award, the IBM Faculty Award, the Ministry of Economy, Trade and Industry Award and the Ministry of Internal Affairs and Communication Award in Japan.
He is a corresponding member of Science Council of Japan and a member of the IEEE, ACM, IPSJ, IEICE, and the Japan Society for Software Science and Technology. He was a general chair of UbiComp2005, a chair of IPSJ's SIG on Ubiquitous Computing Systems. He is currently a board member of IPSJ, a chair of IEICE's SIG on Network Robots, a general chair of the Network Robot Forum and a technical chair of the Ubiquitous Networking Forum respectively.