Custom cover image
Patterns, Programming and Everything / edited by Karin K. Breitman, R. Nigel Horspool
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink BücherPublisher: London : Springer London, 2012Description: Online-Ressource (XII, 175p. 37 illus., 28 illus. in color, digital)ISBN:- 9781447123507
- 1280792981
- 9781280792984
- 005.1
- QA76.758
Contents:
Summary: R. Nigel HorspoolSummary: 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.PPN: PPN: 1651471266Package identifier: Produktsigel: ZDB-2-SCS
Patterns, Programming and Everything; Foreword; Preface; Contents; Contributors; Assessing Dependability for Mobile and Ubiquitous Systems: Is There a Role for Software Architectures?; 1 Introduction; 2 MAUS: Mobile And Ubiquitous Systems; 3 The Challenge of Assessing Dependability for Mobile and Ubiquitous Systems; 4 An e-Learning Scenario; 5 Concluding Remarks: Is There a Role for Software Architectures?; References; A Bestiary of Overlooked Design Patterns; 1 Introduction; 2 List of Patterns; 2.1 Unwanted Visitor Pattern; 2.2 False Facade Pattern; 2.3 Desperate Singleton Pattern
2.4 Biased Observer Pattern2.5 Interior Decorator Pattern; 2.6 Useless Adapter Pattern; 2.7 Lazy-Spouse Initialization Pattern; 2.8 Disreputable Builder Pattern; 2.9 "Wanna-buy-a?" Bridge Pattern; 2.10 Former Flyweight Pattern; 2.11 Industrial Mediator Pattern; 2.12 Failed State Pattern; 2.13 Childproof Container Pattern; 2.14 Unionized Factory Pattern; 3 Conclusion; References; End User Programming in Smart Home; 1 Introduction; 2 High-Level Requirements and State of the Art; 3 Proposed Solution; 4 Architecture and Technologies; 5 Evaluation; 6 Conclusions; References
Reconceptualizing Bottom-Up Tree Rewriting1 Background; 1.1 Dynamic Programming; 1.2 Labelling and Reducing; 2 Predicated Patterns; 2.1 Using Predicated Patterns; 3 What Are Forms?; 3.1 Forms and Post-Conditions; 3.2 Full Evaluation of Boolean Expressions; 3.3 Conditional Execution; 3.4 Emitting Jumping Code; 4 Consequential Changes; 4.1 Computing the Cost; 4.2 Handling Inherited Attributes; 4.3 Future Work; 5 Conclusions; References; Automated Adaptation of Component Interfaces with Type Based Adaptation; 1 Introduction; 2 Application Domains; 3 Adapters; 4 Adapter Composition
5 Adapter Repository6 Evaluation; 7 Future Work; 8 Related Work; 9 Conclusions; References; The Benefits of Bad Teaching; 1 Prologue; 2 Introduction; 3 A Personal Historical Perspective; 4 Good Teaching; 4.1 Appropriate Course Material; 4.2 Good Organization; 4.3 Good Delivery; 4.4 Good Reinforcement Procedures; 4.5 Good Assessment Procedures; 5 Bad Teaching; 5.1 Appropriate Course Material; 5.2 Good Organization; 5.3 Good Delivery; 5.4 Good Reinforcement Procedures; 5.5 Good Assessment Procedures; 6 Conclusion; References; SSA-Based Simulated Execution; 1 Introduction
2 Foundations of SSA-Based Points-to Analysis2.1 Analysis Values; 2.2 Points-to SSA; 3 Simulated Execution; 3.1 Method Graph Processing; 3.2 Call Processing; 4 Flow-Sensitivity; 5 Correctness of Simulated Execution; 5.1 Data Abstraction; 5.2 Transfer Functions; 5.3 Execution Traces; 6 Related Work; 7 Summary, Conclusion and Future Work; References; Towards a Calculus of Object Programs; 1 Addressing the Specifics of Object-Oriented Software; 2 A Proof: Linked List Reversal; 2.1 Algorithm Idea; 2.2 Algorithm Text; 2.3 Specification; 2.4 Proof Approach; 2.5 Handling the Previous Part
2.6 Handling the next Part
No physical items for this record