Скачать книгу - Trustworthy Compilers



This unique guide book explains and teaches the concept of trustworthy compilers based on 50+ years of worldwide experience in the area of compilers, and on the author’s own 30+ years of expertise in development and teaching compilers. It covers the key topics related to compiler development as well as compiling methods not thoroughly covered in other books. The book also reveals many state-of-the-art compiler development tools and personal experience of their use in research projects by the author and his team. Software engineers of commercial companies and undergraduate/graduate students will benefit from this guide.


The Trustworthy Leader. Leveraging the Power of Trust to Transform Your Organization The Trustworthy Leader. Leveraging the Power of Trust to Transform Your Organization

Автор: Amy Lyman

Год издания: 

How leaders from the best workplaces build trust in their organizations The Trustworthy Leader reveals the benefits organizations enjoy when trustworthy behavior is practiced consistently by their leaders. Drawing from examples from the Best Companies to Work For, Lyman, cofounder of Great Place to Work Institute, explains that being trustworthy means that leaders' behaviors are rooted in their commitment to the value of trust and not simply in an imitation of the practices of others. She identifies six elements that reflect a leader's trustworthiness: honor, inclusion, engaging followers, sharing information, developing others, and moving through uncertainty to pursue opportunities. Features leaders from great companies such as REI, Wegman's, R.W. Baird, TDIndustries, and more Based on more than 20 years of rigorous research into the value of trust in companies large and small and its link to financial and organizational performance Published to coincide with the release of the FORTUNE 100 Best Companies to Work For 2012 list This book offers a key to developing high levels of trust, a critical endeavor in an age when seemingly every day a story of a leader's lapse in ethical behavior makes headlines.


Trustworthy Cloud Computing Trustworthy Cloud Computing

Автор: Vladimir O. Safonov

Год издания: 

Introduces the topic of cloud computing with an emphasis on the trustworthiness of cloud computing systems and services This book describes the scientific basis of cloud computing, explaining the ideas, principles, and architectures of cloud computing as well the different types of clouds and the services they provide. The text reviews several cloud computing platforms, including Microsoft Azure, Amazon, Oracle, Google, HP, IBM, Salesforce, and Kaavo. The author addresses the problem of trustworthiness in cloud computing and provides methods to improve the security and privacy of cloud applications. The end-of-chapter exercises and supplementary material on the book's companion website will allow readers to grasp the introductory and advanced level concepts of cloud computing. Examines cloud computing platforms such as Microsoft Azure, Amazon, Oracle, Google, HP, IBM, Salesforce, and Kaavo Analyzes the use of aspect-oriented programming (AOP) for refactoring cloud services and improving the security and privacy of cloud applications Contains practical examples of cloud computing, test questions, and end-of-chapter exercises Includes presentations, examples of cloud projects and other teaching resources at the author’s website (http://www.vladimirsafonov.org/cloud) Trustworthy Cloud Computing is written for advanced undergraduate and graduate students in computer science, data science, and computer engineering as well as software engineers, system architects, system managers, and software developers new to cloud computing.


Trustworthy Redhead Trustworthy Redhead

Автор: Iris Johansen

Год издания: 



Using Aspect-Oriented Programming for Trustworthy Software Development Using Aspect-Oriented Programming for Trustworthy Software Development

Автор: Группа авторов

Год издания: 

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.


Trustworthy Systems Through Quantitative Software Engineering Trustworthy Systems Through Quantitative Software Engineering

Автор: Lawrence Bernstein

Год издания: 

A benchmark text on software development and quantitative software engineering «We all trust software. All too frequently, this trust is misplaced. Larry Bernstein has created and applied quantitative techniques to develop trustworthy software systems. He and C. M. Yuhas have organized this quantitative experience into a book of great value to make software trustworthy for all of us.» -Barry Boehm Trustworthy Systems Through Quantitative Software Engineering proposes a novel, reliability-driven software engineering approach, and discusses human factors in software engineering and how these affect team dynamics. This practical approach gives software engineering students and professionals a solid foundation in problem analysis, allowing them to meet customers' changing needs by tailoring their projects to meet specific challenges, and complete projects on schedule and within budget. Specifically, it helps developers identify customer requirements, develop software designs, manage a software development team, and evaluate software products to customer specifications. Students learn «magic numbers of software engineering,» rules of thumb that show how to simplify architecture, design, and implementation. Case histories and exercises clearly present successful software engineers' experiences and illustrate potential problems, results, and trade-offs. Also featuring an accompanying Web site with additional and related material, Trustworthy Systems Through Quantitative Software Engineering is a hands-on, project-oriented resource for upper-level software and computer science students, engineers, professional developers, managers, and professionals involved in software engineering projects. An Instructor's Manual presenting detailed solutions to all the problems in the book is available from the Wiley editorial department. An Instructor Support FTP site is also available.