Using Aspect Oriented Programming for Trustworthy Software Development
Book 1
Book 2
Book 3
Book 1
Book 2
Book 3
Book 1
Book 2
Book 3
Book 1
Book 2
Book 3
Home > Science, Technology & Agriculture > Electronics and communications engineering > Using Aspect Oriented Programming for Trustworthy Software Development
Using Aspect Oriented Programming for Trustworthy Software Development

Using Aspect Oriented Programming for Trustworthy Software Development


     0     
5
4
3
2
1



Out of Stock


Notify me when this book is in stock
X
About the Book

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 science Aspect-oriented programming and Aspect.NET Principles and case studies that apply AOP to TWC Coverage includes Aspect.NET, the AOP framework developed by the author for the Microsoft.NET platform, currently used in seventeen countries. The author discusses the basics of Aspect.NET architecture, its advantages compared to other AOP tools, and its functionality. The book has extensive practical examples and case studies of trustworthy software design and code using the Aspect.NET framework. In addition, the book explores other software technologies and tools for using AOP for trustworthy software development, including Java and AspectJ. This book also includes a valuable chapter dedicated to ERATO, the author's teaching method employed in this book, which has enabled thousands of students to quickly grasp and apply complex concepts in computing and software engineering, while the final chapter presents an overall perspective on the current state of AOP and TWC with a view toward the future. Software engineers, architects, developers, programmers, and students should all turn to this book to learn this tested and proven method to create more secure, private, and reliable computing.

Table of 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.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 Overview. 2.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 AOP. 3.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 Release. 3.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 Methods. 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.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 Effi ciency 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. 4.13 Summary. 5. Teaching TWC and AOP. 5.1 The ERATO Teaching Paradigm and the SPBU.NET Project. 5.1.1 The ERATO Teaching Paradigm. 5.1.2 The SPBU.NET Project. 5.2 The T-ERATO Teaching Paradigm and the TrustSPBU.NET Project. 5.2.1 The T-ERATO Teaching Paradigm. 5.2.2 The TrustSPBU.NET Project. 5.3 Teaching Trustworthy Software Engineering, Including AOP. 5.3.1 Structure of the Secure Software Engineering Course. 5.4 Teaching Trustworthy .NET and C# Programming. 5.4.1 Structure of the Trustworthy .NET and C# Programming Course. 5.4.2 Structure of the .NET and C# Programming Seminar. 5.5 Teaching Trustworthy Java Technology. 5.5.1 Structure of the Java Course. 5.5.2 Structure of the Java Seminar. 5.6 Teaching Trustworthy Operating Systems and Networking. 5.6.1 Structure of the Trustworthy Operating Systems and Networking Course. 5.7 Teaching Trustworthy Compiler Development. 5.7.1 Structure of the Trustworthy Compiler Development Course. 5.7.2 Structure of the Compiler Development Seminar. 5.8 Summary. 6. Conclusion. 6.1 Summary of the Book. 6.2 Perspectives: Integration of TWC, AOP, Formal Methods, and Knowledge Management. 6.2.1 Application of Formal Methods to Trustworthy AOP. 6.2.2 Smart Knowledge-Based AOP. 6.2.3 AOP Specification and Design Support Tools. 6.2.4 Trustworthy Reverse Engineering and Refactoring Tools for AOP. 6.2.5 Aspect-Oriented Modeling on the Basis of Extended UML. 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.

About the Author :
Vladimir O. Safonov, PhD , 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.


Best Sellers


Product Details
  • ISBN-13: 9780470283110
  • Publisher: John Wiley and Sons Ltd
  • Publisher Imprint: Wiley-Blackwell
  • Language: English
  • ISBN-10: 0470283114
  • Publisher Date: 15 Oct 2007
  • Binding: Other digital
  • No of Pages: 352


Similar Products

Add Photo
Add Photo

Customer Reviews

REVIEWS      0     
Click Here To Be The First to Review this Product
Using Aspect Oriented Programming for Trustworthy Software Development
John Wiley and Sons Ltd -
Using Aspect Oriented Programming for Trustworthy Software Development
Writing guidlines
We want to publish your review, so please:
  • keep your review on the product. Review's that defame author's character will be rejected.
  • Keep your review focused on the product.
  • Avoid writing about customer service. contact us instead if you have issue requiring immediate attention.
  • Refrain from mentioning competitors or the specific price you paid for the product.
  • Do not include any personally identifiable information, such as full names.

Using Aspect Oriented Programming for Trustworthy Software Development

Required fields are marked with *

Review Title*
Review
    Add Photo Add up to 6 photos
    Would you recommend this product to a friend?
    Tag this Book Read more
    Does your review contain spoilers?
    What type of reader best describes you?
    I agree to the terms & conditions
    You may receive emails regarding this submission. Any emails will include the ability to opt-out of future communications.

    CUSTOMER RATINGS AND REVIEWS AND QUESTIONS AND ANSWERS TERMS OF USE

    These Terms of Use govern your conduct associated with the Customer Ratings and Reviews and/or Questions and Answers service offered by Bookswagon (the "CRR Service").


    By submitting any content to Bookswagon, you guarantee that:
    • You are the sole author and owner of the intellectual property rights in the content;
    • All "moral rights" that you may have in such content have been voluntarily waived by you;
    • All content that you post is accurate;
    • You are at least 13 years old;
    • Use of the content you supply does not violate these Terms of Use and will not cause injury to any person or entity.
    You further agree that you may not submit any content:
    • That is known by you to be false, inaccurate or misleading;
    • That infringes any third party's copyright, patent, trademark, trade secret or other proprietary rights or rights of publicity or privacy;
    • That violates any law, statute, ordinance or regulation (including, but not limited to, those governing, consumer protection, unfair competition, anti-discrimination or false advertising);
    • That is, or may reasonably be considered to be, defamatory, libelous, hateful, racially or religiously biased or offensive, unlawfully threatening or unlawfully harassing to any individual, partnership or corporation;
    • For which you were compensated or granted any consideration by any unapproved third party;
    • That includes any information that references other websites, addresses, email addresses, contact information or phone numbers;
    • That contains any computer viruses, worms or other potentially damaging computer programs or files.
    You agree to indemnify and hold Bookswagon (and its officers, directors, agents, subsidiaries, joint ventures, employees and third-party service providers, including but not limited to Bazaarvoice, Inc.), harmless from all claims, demands, and damages (actual and consequential) of every kind and nature, known and unknown including reasonable attorneys' fees, arising out of a breach of your representations and warranties set forth above, or your violation of any law or the rights of a third party.


    For any content that you submit, you grant Bookswagon a perpetual, irrevocable, royalty-free, transferable right and license to use, copy, modify, delete in its entirety, adapt, publish, translate, create derivative works from and/or sell, transfer, and/or distribute such content and/or incorporate such content into any form, medium or technology throughout the world without compensation to you. Additionally,  Bookswagon may transfer or share any personal information that you submit with its third-party service providers, including but not limited to Bazaarvoice, Inc. in accordance with  Privacy Policy


    All content that you submit may be used at Bookswagon's sole discretion. Bookswagon reserves the right to change, condense, withhold publication, remove or delete any content on Bookswagon's website that Bookswagon deems, in its sole discretion, to violate the content guidelines or any other provision of these Terms of Use.  Bookswagon does not guarantee that you will have any recourse through Bookswagon to edit or delete any content you have submitted. Ratings and written comments are generally posted within two to four business days. However, Bookswagon reserves the right to remove or to refuse to post any submission to the extent authorized by law. You acknowledge that you, not Bookswagon, are responsible for the contents of your submission. None of the content that you submit shall be subject to any obligation of confidence on the part of Bookswagon, its agents, subsidiaries, affiliates, partners or third party service providers (including but not limited to Bazaarvoice, Inc.)and their respective directors, officers and employees.

    Accept

    Fresh on the Shelf


    Inspired by your browsing history


    Your review has been submitted!

    You've already reviewed this product!