VLADIMIR O. SAFONOV, PHD, has is Professor of the Computer Science Department at St. Petersburg University and the head of the university's Java Technology Laboratory. With some thirty years of experience leading major software projects, developing software, and teaching software technologies, Professor Safonov is one of the leading innovators in computer science and software engineering in Russia. He holds four U.S. software patents and four Russian software patents and has published five books and over eighty papers. He is also a Microsoft Research 2005/2006 RFP winner for TWC and Secure Software Development.

• Preface ix1. Introduction 11.1 The Role of Aspect-Oriented Programming in Trustworthiness 11.2 Historical Background and Personal Experience 31.3 Organization of the Book 82. Trustworthy Computing, Software Engineering, and Computer Science 102.1 History of and Growing Need for TWC 102.2 Microsoft’s TWC Initiative 132.3 The Four Pillars of TWC 152.3.1 Security 152.3.2 Privacy 232.3.3 Reliability 252.3.4 Business Integrity 272.4 Software Engineering Technologies and Tools for TWC 302.5 TWC and .NET 312.5.1 .NET Overview 312.5.2 .NET Security 342.5.3 .NET and Reliability 372.5.4 .NET TWC Tools FxCop and Spec# 392.6 TWC and Java 422.6.1 Java Overview 422.6.2 Java Security 442.6.3 Java and Reliability 462.6.4 Java TWC Tools 482.7 Summary 493. Aspect-Oriented Programming and Aspect.NET 503.1 History of AOP 503.2 AOP Basics 543.3 AOP and Related Technologies and Tools 663.3.1 AspectJ and AspectWerkz 663.3.2 Other AOP Tools and Approaches to Separation of Concerns 703.4. Pitfalls of AOP 733.5 AOP for Java 763.6 AOP for .NET 793.7 Aspect.NET Principles and Architecture 853.7.1 Motivation and Key Ideas 853.7.2 Basic Concepts of AOP 883.7.3 Example 913.7.4 Representing Aspects by Custom Attributes 923.7.5 Example in Terms of Custom Attributes 943.7.6 Summary of Our Approach to AOP 953.7.7 Aspect.NET Architectural Principles 973.7.8 Syntax of AOP Metalanguage (Version 1.0) 993.7.9 Another Example 1013.8 Features and Use of Aspect.NET 1023.8.1 Prerequisites for Using Aspect.NET 2.1 1033.8.2 Previous Releases of Aspect.NET and the Compatibility Mode 1033.8.3 Aspect.NET Architecture 1043.8.4 Case Study: Using the Aspect.NET Framework 1063.8.5 Aspect.NET Framework Options 1133.8.6 Aspect.NET.ML Metalanguage 1143.8.7 Samples Included in the Aspect.NET 2.1 Release 1223.8.8 Experience of Aspect.NET Use and User Feedback 1233.9 Summary3.9.1 AOP 1233.9.2 Aspect.NET 1254. Principles and Application of AOP in TWC 1284.1 AOP and TWC: Cooperation Rather Than Violation 1284.2 AOP for Security 1324.3 AOP for Error Handling 1364.4 AOP for Synchronization 1424.5 AOP for Trustworthy Multithreading- and Multicore-Based Applications 1454.6 AOP for Privacy 1494.7 AOP for Reliability 1534.7.1 Using AOP to Make Implementation Reliable 1534.7.2 Using AOP for Software Testing 1574.7.3 Using AOP to Support Formal Specification and Verification Methods 1644.8 AOP for Business Integrity 1654.9 AOP for Design by Contract 1684.10 Using AOP via Aspect.NET to Improve Productivity and Reliability 1834.10.1 Effort Estimation Using the COCOMO Model 1844.10.2 Assessment of Aspect.NET Using the ICED-T Model 1874.10.3 Assessment of Requirements of Aspect.NET Using the SQFD Model 1904.11 Application Efficiency and Performance Using AOP 1934.11.1 Performance Measurement 1944.11.2 Implementation Details and the Woven IL Code 1974.11.3 Another Performance Measurement Example 1984.12 AOP and Agile Programming Approaches 2024.13 Summary 2065. Teaching TWC and AOP 2085.1 The ERATO Teaching Paradigm and the SPBU.NET Project 2095.1.1 The ERATO Teaching Paradigm 2095.1.2 The SPBU.NET Project 2125.2 The T-ERATO Teaching Paradigm and the TrustSPBU.NET Project 2155.2.1 The T-ERATO Teaching Paradigm 2155.2.2 The TrustSPBU.NET Project 2175.3 Teaching Trustworthy Software Engineering, Including AOP 2205.3.1 Structure of the Secure Software Engineering Course 2205.4 Teaching Trustworthy .NET and C# Programming 2385.4.1 Structure of the Trustworthy .NET and C# Programming Course 2395.4.2 Structure of the .NET and C# Programming Seminar 2495.5 Teaching Trustworthy Java Technology 2515.5.1 Structure of the Java Course 2525.5.2 Structure of the Java Seminar 2575.6 Teaching Trustworthy Operating Systems and Networking 2605.6.1 Structure of the Trustworthy Operating Systems and Networking Course 2625.7 Teaching Trustworthy Compiler Development 2635.7.1 Structure of the Trustworthy Compiler Development Course 2655.7.2 Structure of the Compiler Development Seminar 2665.8 Summary 2686. Conclusion 2696.1 Summary of the Book 2696.2 Perspectives: Integration of TWC, AOP, Formal Methods, and Knowledge Management 2716.2.1 Application of Formal Methods to Trustworthy AOP 2726.2.2 Smart Knowledge-Based AOP 2736.2.3 AOP Specification and Design Support Tools 2736.2.4 Trustworthy Reverse Engineering and Refactoring Tools for AOP 2746.2.5 Aspect-Oriented Modeling on the Basis of Extended UML 275Appendix: Examples of Aspect.NET Aspects 276A.1 TestArgs Example 276A.2 RetTest Example 279A.3 RetTest2 Example 282A.4 QuickSort Example 284A.5 Matrix Example 295References 321Index 329