Using aspect-oriented programming for trustworthy software development / / Vladimir O. Safonov

• Record Nr.: UNINA9910826375903321
• Autore: Safonov V. O (Vladimir Olegovich)
• Pubbl/distr/stampa: Hoboken, N.J., : Wiley-Interscience, c2008
• ISBN: 9786611381493; 9781281381491; 1281381497; 9780470283110; 0470283114; 9780470283103; 0470283106
• Edizione: [1st ed.]
• Descrizione fisica: 1 online resource (352 p.)
• Collana: Quantitative Software Engineering Series ; ; v.5
• Disciplina: 005.1
• Soggetti: Aspect-oriented programming; Computer software - Development; Computer software - Reliability
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references (p. 321-328) and index.
• Nota di contenuto: Using Aspect-Oriented Programming for Trustworthy Software Development; Contents; Preface; ACKNOWLEDGMENTS; 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.3.1 Security; 2.3.2 Privacy; 2.3.3 Reliability; 2.3.4 Business Integrity; 2.4 Software Engineering Technologies and Tools for TWC; 2.5 TWC and .NET; 2.5.1 .NET Overview2.5.2 .NET Security; 2.5.3 .NET and Reliability; 2.5.4 .NET TWC Tools FxCop and Spec#; 2.6 TWC and Java; 2.6.1 Java Overview; 2.6.2 Java Security; 2.6.3 Java and Reliability; 2.6.4 Java TWC Tools; 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.3.1 AspectJ and AspectWerkz; 3.3.2 Other AOP Tools and ; Approaches to Separation of Concerns; 3.4. Pitfalls of AOP; 3.5 AOP for Java; 3.6 AOP for .NET; 3.7 Aspect.NET Principles and Architecture; 3.7.1 Motivation and Key Ideas; 3.7.2 Basic Concepts of AOP3.7.3 Example; 3.7.4 Representing Aspects by Custom Attributes; 3.7.5 Example in Terms of Custom Attributes; 3.7.6 Summary of Our Approach to AOP; 3.7.7 Aspect.NET Architectural Principles; 3.7.8 Syntax of AOP Metalanguage (Version 1.0); 3.7.9 Another Example; 3.8 Features and Use of Aspect.NET; 3.8.1 Prerequisites for Using Aspect.NET 2.1; 3.8.2 Previous Releases of Aspect.NET and the Compatibility Mode; 3.8.3 Aspect.NET Architecture; 3.8.4 Case Study: Using the Aspect.NET Framework; 3.8.5 Aspect.NET Framework Options; 3.8.6 Aspect.NET.ML Metalanguage; 3.8.7 Samples Included in the Aspect.NET 2.1 Release3.8.8 Experience of Aspect.NET Use and User Feedback; 3.9 Summary; 3.9.1 AOP; 3.9.2 Aspect.NET; 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.7.1 Using AOP to Make Implementation Reliable; 4.7.2 Using AOP for Software Testing; 4.7.3 Using AOP to Support Formal Specification and Verification Methods4.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.10.1 Effort Estimation Using the COCOMO Model; 4.10.2 Assessment of Aspect.NET Using the ICED-T Model; 4.10.3 Assessment of Requirements of Aspect.NET Using the SQFD Model; 4.11 Application Efficiency and Performance Using AOP; 4.11.1 Performance Measurement; 4.11.2 Implementation Details and the Woven IL Code; 4.11.3 Another Performance Measurement Example; 4.12 AOP and Agile Programming Approaches
• Sommario/riassunto: Learn how to successfully implement trustworthy computing tasks using aspect-oriented programming This landmark publication fills a gap in the literature by not only describing the basic concepts of trustworthy computing (TWC) and aspect-oriented programming (AOP), but also exploring their critical interrelationships. The author clearly demonstrates how typical TWC tasks such as security checks, in-and-out conditions, and multi-threaded safety can be implemented using AOP. Following an introduction, the book covers: Trustworthy computing, software engineering, and computer scienc