Software Ownership Transfer

Software Ownership Transfer
Author: Vinod Sankaranarayanan
Publisher: Addison-Wesley Professional
Total Pages: 375
Release: 2016-06-29
Genre: Computers
ISBN: 0134181069

Organizations invest immense amounts of time, resources, and attention in their software projects. But all too often, when it's time to transfer the finished project to new "owners," they settle for the most superficial classroom training, documentation, and code walkthroughs. These conventional approaches to knowledge transfer often fail, dramatically reducing the value of new systems in production. You can do much better - and Software Ownership Transfer will show you how. This is the first practical, hands-on guide to knowledge transfer in today's agile environments. Using a realistic, large-scale case study, ThoughtWorks expert Vinod Sankaranarayanan shows how to elevate knowledge transfer from "necessary evil" to an activity full of agility and innovation, and bring together multiple organizations and cultures to make ownership transfer work. Sankaranarayanan explains why mere documentation of error reports and processes isn't enough, and shows how to successfully craft a knowledge transfer program that's more substantive and effective. Along the way, he offers guidance on overcoming the commercial compromises and personal tensions often associated with transferring systems to new ownership; and on transforming mere "knowledge transfer" into something much better: "taking ownership."

Applied Computing for Software and Smart Systems

Applied Computing for Software and Smart Systems
Author: Rituparna Chaki
Publisher: Springer Nature
Total Pages: 308
Release: 2023-02-22
Genre: Technology & Engineering
ISBN: 9811967911

This book features a collection of high-quality research papers presented at the 9th International Symposium on Applied Computing for Software and Smart systems (ACSS 2022), to be held during September 09–10, 2022 in Kolkata, India. The book presents innovative works by undergraduate, graduate students and as well as PhD scholars. The emphasis of the workshop is on software and smart systems and research outcomes on other relevant areas pertaining to advancement of computing.

Value-Based Software Engineering

Value-Based Software Engineering
Author: Stefan Biffl
Publisher: Springer Science & Business Media
Total Pages: 399
Release: 2006-02-23
Genre: Computers
ISBN: 3540292632

The IT community has always struggled with questions concerning the value of an organization’s investment in software and hardware. It is the goal of value-based software engineering (VBSE) to develop models and measures of value which are of use for managers, developers and users as they make tradeoff decisions between, for example, quality and cost or functionality and schedule – such decisions must be economically feasible and comprehensible to the stakeholders with differing value perspectives. VBSE has its roots in work on software engineering economics, pioneered by Barry Boehm in the early 1980s. However, the emergence of a wider scope that defines VBSE is more recent. VBSE extends the merely technical ISO software engineering definition with elements not only from economics, but also from cognitive science, finance, management science, behavioral sciences, and decision sciences, giving rise to a truly multi-disciplinary framework. Biffl and his co-editors invited leading researchers and structured their contributions into three parts, following an introduction into the area by Boehm himself. They first detail the foundations of VBSE, followed by a presentation of state-of-the-art methods and techniques. The third part demonstrates the benefits of VBSE through concrete examples and case studies. This book deviates from the more anecdotal style of many management-oriented software engineering books and so appeals particularly to all readers who are interested in solid foundations for high-level aspects of software engineering decision making, i.e., to product or project managers driven by economics and to software engineering researchers and students.

Software Engineering at Google

Software Engineering at Google
Author: Titus Winters
Publisher: O'Reilly Media
Total Pages: 602
Release: 2020-02-28
Genre: Computers
ISBN: 1492082767

Today, software engineers need to know not only how to program effectively but also how to develop proper engineering practices to make their codebase sustainable and healthy. This book emphasizes this difference between programming and software engineering. How can software engineers manage a living codebase that evolves and responds to changing requirements and demands over the length of its life? Based on their experience at Google, software engineers Titus Winters and Hyrum Wright, along with technical writer Tom Manshreck, present a candid and insightful look at how some of the worldâ??s leading practitioners construct and maintain software. This book covers Googleâ??s unique engineering culture, processes, and tools and how these aspects contribute to the effectiveness of an engineering organization. Youâ??ll explore three fundamental principles that software organizations should keep in mind when designing, architecting, writing, and maintaining code: How time affects the sustainability of software and how to make your code resilient over time How scale affects the viability of software practices within an engineering organization What trade-offs a typical engineer needs to make when evaluating design and development decisions

Formal Verification of Object-Oriented Software

Formal Verification of Object-Oriented Software
Author: Bernhard Beckert
Publisher: Springer
Total Pages: 259
Release: 2012-07-11
Genre: Computers
ISBN: 3642317626

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 – organised by COST Action IC0701. The 10 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 19 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C#. FoVeOOS 2011 aimed to foster collaboration and interactions among researchers in this area.

Correct Software in Web Applications and Web Services

Correct Software in Web Applications and Web Services
Author: Bernhard Thalheim
Publisher: Springer
Total Pages: 345
Release: 2015-06-12
Genre: Computers
ISBN: 3319171127

The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they have succeeded; identifying how rigorous software engineering methods can be exploited to develop suitable web applications; and at developing a European-scale research agenda combining theory, methods and tools that would lead to suitable web applications with the potential to implement systems for computation in the public domain.

Trends in Software Testing

Trends in Software Testing
Author: Hrushikesha Mohanty
Publisher: Springer
Total Pages: 186
Release: 2016-07-26
Genre: Technology & Engineering
ISBN: 9811014159

This book is focused on the advancements in the field of software testing and the innovative practices that the industry is adopting. Considering the widely varied nature of software testing, the book addresses contemporary aspects that are important for both academia and industry. There are dedicated chapters on seamless high-efficiency frameworks, automation on regression testing, software by search, and system evolution management. There are a host of mathematical models that are promising for software quality improvement by model-based testing. There are three chapters addressing this concern. Students and researchers in particular will find these chapters useful for their mathematical strength and rigor. Other topics covered include uncertainty in testing, software security testing, testing as a service, test technical debt (or test debt), disruption caused by digital advancement (social media, cloud computing, mobile application and data analytics), and challenges and benefits of outsourcing. The book will be of interest to students, researchers as well as professionals in the software industry.

Verified Software: Theories, Tools, Experiments

Verified Software: Theories, Tools, Experiments
Author: Bertrand Meyer
Publisher: Springer Science & Business Media
Total Pages: 566
Release: 2008-07-07
Genre: Computers
ISBN: 3540691472

A Step Towards Verified Software Worries about the reliability of software are as old as software itself; techniques for allaying these worries predate even James King’s 1969 thesis on “A program verifier. ” What gives the whole topic a new urgency is the conjunction of three phenomena: the blitz-like spread of software-rich systems to control ever more facets of our world and our lives; our growing impatience with deficiencies; and the development—proceeding more slowly, alas, than the other two trends—of techniques to ensure and verify software quality. In 2002 Tony Hoare, one of the most distinguished contributors to these advances over the past four decades, came to the conclusion that piecemeal efforts are no longer sufficient and proposed a “Grand Challenge” intended to achieve, over 15 years, the production of a verifying compiler: a tool that while processing programs would also guarantee their adherence to specified properties of correctness, robustness, safety, security and other desirable properties. As Hoare sees it, this endeavor is not a mere research project, as might normally be carried out by one team or a small consortium of teams, but a momentous endeavor, comparable in its scope to the successful mission to send a man to the moon or to the sequencing of the human genome.

Verified Software: Theories, Tools, Experiments

Verified Software: Theories, Tools, Experiments
Author: Natarajan Shankar
Publisher: Springer
Total Pages: 274
Release: 2008-09-26
Genre: Computers
ISBN: 3540878734

This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. This second conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, co-operative, international project directed at the scientific challenges of large-scale software verification. The scope of the cooperative effort includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.

Xaas: Everything-as-a-service - The Lean And Agile Approach To Business Growth

Xaas: Everything-as-a-service - The Lean And Agile Approach To Business Growth
Author: Shantanu Bhattacharya
Publisher: World Scientific
Total Pages: 436
Release: 2021-10-13
Genre: Business & Economics
ISBN: 9811219931

XaaS: Everything-as-a-Service: The Lean and Agile Approach to Business Growth takes the reader into the bold new world of pay-per-use for a product or service. From the perspective of the customer, the servitization model yields multiple benefits: the consumer can try out the product/service at a relatively low cost, the risk is mitigated, capital expenses can be converted into operating expenses, it is not needed to forecast how often the product/service is used, and only parts of the product/service needed can be used. Similarly, a provider can benefit by having a larger market coverage, steadier stream of revenues, upgrades as and when needed, sharing of fixed assets across consumers, practicing of value-based pricing, and unbundling or bundling utility for consumers using appropriate pricing techniques. However, this 'nanoization' of products/services is tricky, and has to be designed carefully. This book provides a set of recipes to providers to adopt the XaaS model by changing the provider's mindset: dividing the product/service forces the provider to take a value-driven approach to his product/service, and consequently, eliminate all non-value added activities. The requirements of the XaaS model serve both as an objective to the innovation and internal processes of the provider, and as guide to understanding the customer's needs. The book also covers data acquisition, data analysis and synthesis, and data application needs of the XaaS model, with simple examples and case studies from the business world of firms that achieve these objectives successfully.