Trustworthy cloud computing / / Vladimir O. Safonov |
Autore | Safonov V. O (Vladimir Olegovich) |
Pubbl/distr/stampa | Hoboken, New Jersey : , : IEEE Computer Society : , : Wiley, , 2016 |
Descrizione fisica | 1 online resource (387 pages) : illustrations |
Disciplina | 004.67/82 |
Soggetto topico | Cloud computing |
ISBN |
1-119-11391-1
1-119-11421-7 1-119-11351-2 |
Classificazione |
007.6
547.48 004.67/82 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910795824603321 |
Safonov V. O (Vladimir Olegovich)
![]() |
||
Hoboken, New Jersey : , : IEEE Computer Society : , : Wiley, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Trustworthy cloud computing / / Vladimir O. Safonov |
Autore | Safonov V. O (Vladimir Olegovich) |
Pubbl/distr/stampa | Hoboken, New Jersey : , : IEEE Computer Society : , : Wiley, , 2016 |
Descrizione fisica | 1 online resource (387 pages) : illustrations |
Disciplina | 004.67/82 |
Soggetto topico | Cloud computing |
ISBN |
1-119-11391-1
1-119-11421-7 1-119-11351-2 |
Classificazione |
007.6
547.48 004.67/82 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910819765903321 |
Safonov V. O (Vladimir Olegovich)
![]() |
||
Hoboken, New Jersey : , : IEEE Computer Society : , : Wiley, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Trustworthy compilers [[electronic resource] /] / Vladimir O. Safonov |
Autore | Safonov V. O (Vladimir Olegovich) |
Pubbl/distr/stampa | Hoboken, N.J., : Wiley, 2010 |
Descrizione fisica | 1 online resource (317 p.) |
Disciplina | 005.453 |
Collana | Quantitative Software Engineering Series |
Soggetto topico |
Compilers (Computer programs)
Interpreters (Computer programs) |
ISBN |
1-282-55146-9
9786612551468 0-470-59338-5 0-470-59334-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Trustworthy Compilers; Contents; Preface; Acknowledgments; 1. Introduction; 1.1. The Concept of a Trustworthy Compiler; 1.2. Kinds of Compilers; 1.3. Evolution of Java Compilers; 1.4. Compilation for .NET; 1.5. Phases of Compilation; 1.6. Overview of Compiler Development Principles and Technologies; 1.7. History of Compiler Development in the U.S.S.R. and in Russia; Exercises to Chapter 1; 2. Theoretical Foundations and Principles of Trustworthy Compilers; 2.1. The Trustworthy Computing (TWC) Initiative; 2.2. TWC and Trustworthy Compilers; 2.3. Verified Compilers
2.4. Spec#: Microsoft's Approach to Verifying Compilers2.5. Perspectives of Verified and Verifying Compilation; Exercises to Chapter 2; 3. Lexical Analysis and Its Trustworthiness Principles; 3.1. Token Classes; 3.2. The Output of the Lexical Analyzer; 3.3. Processing White Spaces, Comments, and New Lines; 3.4. Theoretical Models of Lexical Analysis; 3.5. Lexical Errors, Error Diagnostics, and Recovery; 3.6. Processing Identifiers and Keywords; 3.7. The Architecture of a Lexical Analyzer and the Principles of Its Implementation; 3.8. The Lexical Analyzer Generator Lex 3.9. Lexical Analyzer Generation in ANTLRExercises to Chapter 3; 4. Parsing and Trustworthy Methods of Syntax Error Recovery; 4.1. Basic Concepts and Principles of Parsing; 4.2. Recursive Descent and Simple Lookahead Mechanism; 4.3. Overview of Error Recovery in Parsing: Error Recovery for Recursive Descent; 4.4. LR(1) and LALR(1) Parsing; 4.5. Error Recovery in LR Parsing; 4.6. The Yacc Parser Generator; 4.7. The Bison Parser Generator: Generalized LR Parsing; 4.8. The Yacc++, JavaCC, SableCC, ANTLR, and CoCo/R Object-Oriented Parser Generators; Exercises to Chapter 4 5. Semantic Analysis and Typing: Efficient and Trustworthy Techniques5.1. Basic Concepts and Principles of Semantic Analysis; 5.2. Formal Model of Semantic Analysis: Attributed Grammars; 5.3. Definition Systems with Forward References and the Algorithm of Their One-Pass Analysis; 5.4. Commonly Used Semantic Attributes for Program Constructs; 5.5. Design Flaws of the Semantic Attribute Evaluation and Our Efficient Methods to Speed It Up; 5.6. Lookup-Traditional and Novel Techniques; 5.7. Typing and Type-Checking: Basic Concepts; 5.8. Representing Types at Compile Time 5.9. Efficient Method and Algorithm to Represent and Handle Types with Structural Identity5.10. Type Identity and Type Compatibility; 5.11. Type-Checking, Typing Error Diagnostics, and Recovery; 5.12. Code Trustworthiness Checks During Semantic Analysis; 5.13. Checks for Context Restrictions in Semantic Analysis; 5.14. Intermediate Code Generation-Principles and Architectural Models; 5.15. Postfix (Reverse Polish) Notation; 5.16. PCC Trees; 5.17. Triples; 5.18. Summary of the Chapter; Exercises to Chapter 5; 6. Trustworthy Optimizations 6.1. Basic Concepts and Trustworthiness of Optimizations |
Record Nr. | UNINA-9910140621603321 |
Safonov V. O (Vladimir Olegovich)
![]() |
||
Hoboken, N.J., : Wiley, 2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Using aspect-oriented programming for trustworthy software development [[electronic resource] /] / Vladimir O. Safonov |
Autore | Safonov V. O (Vladimir Olegovich) |
Pubbl/distr/stampa | Hoboken, N.J., : Wiley-Interscience, c2008 |
Descrizione fisica | 1 online resource (352 p.) |
Disciplina | 005.1 |
Collana | Quantitative Software Engineering Series |
Soggetto topico |
Aspect-oriented programming
Computer software - Development Computer software - Reliability |
ISBN |
1-281-38149-7
9786611381493 0-470-28311-4 0-470-28310-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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 |
Record Nr. | UNINA-9910143830903321 |
Safonov V. O (Vladimir Olegovich)
![]() |
||
Hoboken, N.J., : Wiley-Interscience, c2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Using aspect-oriented programming for trustworthy software development [[electronic resource] /] / Vladimir O. Safonov |
Autore | Safonov V. O (Vladimir Olegovich) |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Hoboken, N.J., : Wiley-Interscience, c2008 |
Descrizione fisica | 1 online resource (352 p.) |
Disciplina | 005.1 |
Collana | Quantitative Software Engineering Series |
Soggetto topico |
Aspect-oriented programming
Computer software - Development Computer software - Reliability |
ISBN |
1-281-38149-7
9786611381493 0-470-28311-4 0-470-28310-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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 |
Record Nr. | UNINA-9910826375903321 |
Safonov V. O (Vladimir Olegovich)
![]() |
||
Hoboken, N.J., : Wiley-Interscience, c2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|