With 11 invited submissions from leading researchers and teams of researchers sharing one common characteristic ? all have worked with Dr. Judith Bishop during her long and continuing career as a leader in computer science education and research ? this book reflects on Dr Bishop?s outstanding contribution to computer science. Having worked at three different universities she now holds a leadership position in the research division of a major software company.

The topics covered reflect some of the transitions in her career. The dominant theme is programming languages, with chapters on object oriented programming, real-time programming, component programming and design patterns. Another major and related topic is compilers, with contributions on dataflow analysis, tree rewriting and keyword recognition. Finally, there are some additional chapters on other varied but highly interesting topics including smart homes, mobile systems and teaching computer science.

Includes an extended chapter on the calculus of object programs by Bertrand Meyer (the designer of Eiffel) Includes a state-of-the-art exposition by Jan Vitek on real-time computing with Java Comprises a well rounded selection of chapters by leading researchers on topics in software engineering, programming languages, and their compilation Includes supplementary material: sn.pub/extras

Autorentext
Nigel Horspool is a professor of computer science at the University of Victoria. His main focus for research and teaching has been programming languages and compilers. He is the author or co-author of three books, which cover the C language, Unix and the C sharp language. He is currently the co- editor of the journal ';Software: Practice and Experience';. He has a PhD from the University of Toronto, Canada in Computer Science.

Inhalt

Foreword.- Preface.- Assessing Dependability for Mobile and Ubiquitous Systems: is there a Role for Software Architectures?.- A Bestiary of Overlooked Design Patters.- End User Programming in Smart Home.- Reconceptualizing Bottom-Up Tree Rewriting.- Automated Adaptation of Component Interfaces with Type Based Adaptation.- The Benefits of Bad Teaching.- SSA-Based Simulated Execution.- Towards a Calculus of Object Programs.- Formal Specification as High-Level Programming: The ASSL Approach.- Atomicity in Real-time Computing.- Tuning Keyword Pattern Matching.- Afterword.