1. Edition - June 2008
95.90 Euro
2008. 338 Pages, Hardcover
ISBN-10: 0-470-13817-3
ISBN-13: 978-0-470-13817-5 - John Wiley & Sons






Sample Chapter

Short description
The author describes how Aspect-Oriented Programming (AOP) can be applied to enable Trustworthy Computing (TWC), including security, MT-safety, and error handling. The principles of Aspect.Net architecture, its advantages as compared to many other AOP tools as well as its functioning and examples of trustworthy application development using Aspect.NET are covered in depth. The book addresses the practical, day-to-day TWC tasks faced by software engineers and demonstrates how they can be implemented with AOP.

From the contents
Preface.

1. Introduction.

1.1 The Role of Aspect-Oriented Programming in Trustworthiness.

1.2 Historical Background and Personal Experience.

1.3 Organization of the Book.

2. Trustworthy Computing, Software Engineering, and Computer Science.

2.1 History of and Growing Need for TWC.

2.2 Microsoft's TWC Initiative.

2.3 The Four Pillars of TWC.

2.4 Software Engineering Technologies and Tools for TWC.

2.5 TWC and .NET.

2.6 TWC and Java.

2.7 Summary.

3. Aspect-Oriented Programming and Aspect.NET.

3.1 History of AOP.

3.2 AOP Basics.

3.3 AOP and Related Technologies and Tools.

3.4. Pitfalls of AOP.

3.5 AOP for Java.

3.6 AOP for .NET.

3.7 Aspect.NET Principles and Architecture.

3.8 Features and Use of Aspect.NET.

3.9 Summary.

4. Principles and Application of AOP in TWC.

4.1 AOP and TWC: Cooperation Rather Than Violation.

4.2 AOP for Security.

4.3 AOP for Error Handling.

4.4 AOP for Synchronization.

4.5 AOP for Trustworthy Multithreading- and Multicore-Based Applications.

4.6 AOP for Privacy.

4.7 AOP for Reliability.

4.8 AOP for Business Integrity.

4.9 AOP for Design by Contract.

4.10 Using AOP via Aspect.NET to Improve Productivity and Reliability.

4.11 Application Effi ciency and Performance Using AOP.

4.12 AOP and Agile Programming Approaches.

4.13 Summary.

5. Teaching TWC and AOP.

5.1 The ERATO Teaching Paradigm and the SPBU.NET Project.

5.2 The T-ERATO Teaching Paradigm and the TrustSPBU.NET Project.

5.3 Teaching Trustworthy Software Engineering, Including AOP.

5.4 Teaching Trustworthy .NET and C# Programming.

5.5 Teaching Trustworthy Java Technology.

5.6 Teaching Trustworthy Operating Systems and Networking.

5.7 Teaching Trustworthy Compiler Development.

5.8 Summary.

6. Conclusion.

6.1 Summary of the Book.

6.2 Perspectives: Integration of TWC, AOP, Formal Methods, and Knowledge Management.

Appendix: Examples of Aspect.NET Aspects.

A.1 TestArgs Example.

A.2 RetTest Example.

A.3 RetTest2 Example.

A.4 QuickSort Example.

A.5 Matrix Example.

References.

Index.