This collection of essays celebrates the career of Judith Bishop, one of the most influential women in Computer Science, on the occasion of her sixtieth birthday. The contents span the fields of Software Engineering, Mobile, and Adaptive Systems.

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

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.