Using Aspect-Oriented Programming for Trustworthy Software Development
Will be published approx. on 6. June 2008
Book
Hardback
338 pages
978-0-470-13817-5 (ISBN)
Description
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.
More details
Product info
gebunden
Edition
1. Auflage
Language
English
Place of publication
United States
Publishing group
John Wiley & Sons Inc
Target group
Professional and scholarly
Product notice
sewn/stitched
Paper over boards
Dimensions
Height: 240 mm
Width: 161 mm
Thickness: 23 mm
Weight
695 gr
ISBN-13
978-0-470-13817-5 (9780470138175)
Schweitzer Classification
Other editions
Additional editions
Vladimir O. Safonov
Using Aspect-Oriented Programming for Trustworthy Software Development
E-Book
06/2008
Wiley
€121.99
Available for download
Person
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.
Content
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.