Software Theory
Software Theory

Author: Federica Frabetti

Publisher: Rowman & Littlefield

Published: 2014-11-17

Total Pages: 222

ISBN-13: 1783481986

DOWNLOAD EBOOK

The cultural and philosophical study of software is crucial, both within and outside of the university, at an international level and across disciplines. Software is increasingly considered the focus of digital media studies because of the perceived need to address the invisibility, ubiquity, and power of digital media. Yet software remains quite obscure to students and scholars in media studies, the social sciences, and the humanities. This unique book engages directly in close readings of technical texts and computer code in order to show how software works and in what sense it can be considered constitutive of culture and even of human thought. Federica Frabetti combines this with an engagement with thinkers such as Bernard Steigler and Jacques Derrida to problematize the very nature of the conceptual system on which software is based and which has shaped its historical evolution. The book argues for a radical demystification of software and digital technologies by addressing the mystery that surrounds its function and that affects our comprehension of its relationship between technology, philosophy, culture, and society.

Agile Management for Software Engineering
Agile Management for Software Engineering

Author: David J. Anderson

Publisher: Prentice Hall Professional

Published: 2003-09-17

Total Pages: 669

ISBN-13: 0672333570

DOWNLOAD EBOOK

A breakthrough approach to managing agile software development, Agile methods might just be the alternative to outsourcing. However, agile development must scale in scope and discipline to be acceptable in the boardrooms of the Fortune 1000. In Agile Management for Software Engineering, David J. Anderson shows managers how to apply management science to gain the full business benefits of agility through application of the focused approach taught by Eli Goldratt in his Theory of Constraints. Whether you're using XP, Scrum, FDD, or another agile approach, you'll learn how to develop management discipline for all phases of the engineering process, implement realistic financial and production metrics, and focus on building software that delivers maximum customer value and outstanding business results.Coverage includes: Making the business case for agile methods: practical tools and disciplines How to choose an agile method for your next project Breakthrough application of Critical Chain Project Management and constraint-driven control of the flow of value Defines the four new roles for the agile manager in software projects—and competitive IT organizations Whether you're a development manager, project manager, team leader, or senior IT executive, this book will help you achieve all four of your most urgent challenges: lower cost, faster delivery, improved quality, and focused alignment with the business.

Cultural Software
Cultural Software

Author: J. M. Balkin

Publisher: Yale University Press

Published: 1998-01-01

Total Pages: 354

ISBN-13: 9780300084504

DOWNLOAD EBOOK

In this book J. M. Balkin offers a strikingly original theory of cultural evolution, a theory that explains shared understandings, disagreement, and diversity within cultures. Drawing on many fields of study--including anthropology, evolutionary theory, cognitive science, linguistics, sociology, political theory, philosophy, social psychology, and law--the author explores how cultures grow and spread, how shared understandings arise, and how people of different cultures can understand and evaluate each other's views. Cultural evolution occurs through the transmission of cultural information and know-how--cultural software--in human minds, Balkin says. Individuals embody cultural software and spread it to others through communication and social learning. Ideology, the author contends, is neither a special nor a pathological form of thought but an ordinary product of the evolution of cultural software. Because cultural understanding is a patchwork of older imperfect tools that are continually adapted to solve new problems, human understanding is partly adequate and partly inadequate to the pursuit of justice. Balkin presents numerous examples that illuminate the sources of ideological effects and their contributions to injustice. He also enters the current debate over multiculturalism, applying his theory to problems of mutual understanding between people who hold different worldviews. He argues that cultural understanding presupposes transcendent ideals and shows how both ideological analysis of others and ideological self-criticism are possible.

Building Software for Simulation
Building Software for Simulation

Author: James J. Nutaro

Publisher: John Wiley & Sons

Published: 2011-03-23

Total Pages: 372

ISBN-13: 1118099451

DOWNLOAD EBOOK

Building Software for Simulation A unique guide to the design and implementation of simulation software This book offers a concise introduction to the art of building simulation software, collecting the most important concepts and algorithms in one place. Written for both individuals new to the field of modeling and simulation as well as experienced practitioners, this guide explains the design and implementation of simulation software used in the engineering of large systems while presenting the relevant mathematical elements, concept discussions, and code development. The book approaches the topic from the perspective of Zeigler’s theory of modeling and simulation, introducing the theory’s fundamental concepts and showing how to apply them to engineering problems. Readers will learn five necessary skills for building simulations of complicated systems: Working with fundamental abstractions for simulating dynamic systems Developing basic simulation algorithms for continuous and discrete event models Combining continuous and discrete event simulations into a coherent whole Applying strategies for testing a simulation Understanding the theoretical foundations of the modeling constructs and simulation algorithms The central chapters of the book introduce, explain, and demonstrate the elements of the theory that are most important for building simulation tools. They are bracketed by applications to robotics, control and communications, and electric power systems; these comprehensive examples clearly illustrate how the concepts and algorithms are put to use. Readers will explore the design of object-oriented simulation programs, simulation using multi-core processors, and the integration of simulators into larger software systems. The focus on software makes this book particularly useful for computer science and computer engineering courses in simulation that focus on building simulators. It is indispensable reading for undergraduate and graduate students studying modeling and simulation, as well as for practicing scientists and engineers involved in the development of simulation tools.

Deductive Software Verification – The KeY Book
Deductive Software Verification – The KeY Book

Author: Wolfgang Ahrendt

Publisher: Springer

Published: 2016-12-19

Total Pages: 714

ISBN-13: 3319498126

DOWNLOAD EBOOK

Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of - mostly fully automated - analyses: formal verification, test generation, security analysis, visualization, and debugging. All of them are realized in the state-of-art deductive verification framework KeY. This book is the definitive guide to KeY that lets you explore the full potential of deductive software verification in practice. It contains the complete theory behind KeY for active researchers who want to understand it in depth or use it in their own work. But the book also features fully self-contained chapters on the Java Modeling Language and on Using KeY that require nothing else than familiarity with Java. All other chapters are accessible for graduate students (M.Sc. level and beyond). The KeY framework is free and open software, downloadable from the book companion website which contains also all code examples mentioned in this book.

Software Evolution and Feedback
Software Evolution and Feedback

Author: Nazim H. Madhavji

Publisher: John Wiley & Sons

Published: 2006-08-30

Total Pages: 612

ISBN-13: 0470871814

DOWNLOAD EBOOK

Evolution of software has long been recognized as one of the most problematic and challenging areas in the field of software engineering, as evidenced by the high, often up to 60-80%, life-cycle costs attributed to this activity over the life of a software system. Studies of software evolution are central to the understanding and practice of software development. Yet it has received relatively little attention in the field of software engineering. This book focuses on topics aimed at giving a scientific insight into the aspect of software evolution and feedback. In summary, the book covers conceptual, phenomenological, empirical, technological and theoretical aspects of the field of software evolution - with contributions from the leading experts. This book delivers an up-to-date scientific understanding of what software evolution is, to show why it is inevitable for real world applications, and it demonstrates the role of feedback in software development and maintenance. The book also addresses some of the phenomenological and technological underpinnings and includes rules and guidelines for increased software evolvability and, in general, sustainability of the evolution process. Software Evolution and Feedback provides a long overdue, scientific focus on software evolution and the role of feedback in the software process, making this the indispensable guide for all software practitioners, researchers and managers in the software industry.

Action Research in Software Engineering
Action Research in Software Engineering

Author: Miroslaw Staron

Publisher: Springer Nature

Published: 2019-11-24

Total Pages: 232

ISBN-13: 3030326101

DOWNLOAD EBOOK

This book addresses action research (AR), one of the main research methodologies used for academia-industry research collaborations. It elaborates on how to find the right research activities and how to distinguish them from non-significant ones. Further, it details how to glean lessons from the research results, no matter whether they are positive or negative. Lastly, it shows how companies can evolve and build talents while expanding their product portfolio. The book’s structure is based on that of AR projects; it sequentially covers and discusses each phase of the project. Each chapter shares new insights into AR and provides the reader with a better understanding of how to apply it. In addition, each chapter includes a number of practical use cases or examples. Taken together, the chapters cover the entire software lifecycle: from problem diagnosis to project (or action) planning and execution, to documenting and disseminating results, including validity assessments for AR studies. The goal of this book is to help everyone interested in industry-academia collaborations to conduct joint research. It is for students of software engineering who need to learn about how to set up an evaluation, how to run a project, and how to document the results. It is for all academics who aren’t afraid to step out of their comfort zone and enter industry. It is for industrial researchers who know that they want to do more than just develop software blindly. And finally, it is for stakeholders who want to learn how to manage industrial research projects and how to set up guidelines for their own role and expectations.

Software Architecture
Software Architecture

Author: Richard N. Taylor

Publisher: John Wiley & Sons

Published: 2009-01-09

Total Pages: 741

ISBN-13: 0470167742

DOWNLOAD EBOOK

Software architecture is foundational to the development of large, practical software-intensive applications. This brand-new text covers all facets of software architecture and how it serves as the intellectual centerpiece of software development and evolution. Critically, this text focuses on supporting creation of real implemented systems. Hence the text details not only modeling techniques, but design, implementation, deployment, and system adaptation -- as well as a host of other topics -- putting the elements in context and comparing and contrasting them with one another. Rather than focusing on one method, notation, tool, or process, this new text/reference widely surveys software architecture techniques, enabling the instructor and practitioner to choose the right tool for the job at hand. Software Architecture is intended for upper-division undergraduate and graduate courses in software architecture, software design, component-based software engineering, and distributed systems; the text may also be used in introductory as well as advanced software engineering courses.

Software Testing and Quality Assurance
Software Testing and Quality Assurance

Author: Kshirasagar Naik

Publisher: John Wiley & Sons

Published: 2011-09-23

Total Pages: 702

ISBN-13: 1118211634

DOWNLOAD EBOOK

A superior primer on software testing and quality assurance, from integration to execution and automation This important new work fills the pressing need for a user-friendly text that aims to provide software engineers, software quality professionals, software developers, and students with the fundamental developments in testing theory and common testing practices. Software Testing and Quality Assurance: Theory and Practice equips readers with a solid understanding of: Practices that support the production of quality software Software testing techniques Life-cycle models for requirements, defects, test cases, and test results Process models for units, integration, system, and acceptance testing How to build test teams, including recruiting and retaining test engineers Quality Models, Capability Maturity Model, Testing Maturity Model, and Test Process Improvement Model Expertly balancing theory with practice, and complemented with an abundance of pedagogical tools, including test questions, examples, teaching suggestions, and chapter summaries, this book is a valuable, self-contained tool for professionals and an ideal introductory text for courses in software testing, quality assurance, and software engineering.

Fixing Broken Windows
Fixing Broken Windows

Author: George L. Kelling

Publisher: Simon and Schuster

Published: 1997

Total Pages: 340

ISBN-13: 0684837382

DOWNLOAD EBOOK

Cites successful examples of community-based policing.