Software Theory
Download Software Theory full books in PDF, epub, and Kindle. Read online free Software Theory ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
| Author | : Federica Frabetti |
| Publisher | : Rowman & Littlefield |
| Total Pages | : 222 |
| Release | : 2014-11-17 |
| Genre | : Philosophy |
| ISBN | : 1783481986 |
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.
| Author | : Richard N. Taylor |
| Publisher | : John Wiley & Sons |
| Total Pages | : 741 |
| Release | : 2009-01-09 |
| Genre | : Computers |
| ISBN | : 0470167742 |
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.
| Author | : James J. Nutaro |
| Publisher | : John Wiley & Sons |
| Total Pages | : 372 |
| Release | : 2011-03-23 |
| Genre | : Computers |
| ISBN | : 1118099451 |
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.
| Author | : Wolfgang Ahrendt |
| Publisher | : Springer |
| Total Pages | : 714 |
| Release | : 2016-12-19 |
| Genre | : Computers |
| ISBN | : 3319498126 |
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.
| Author | : David J. Anderson |
| Publisher | : Prentice Hall Professional |
| Total Pages | : 669 |
| Release | : 2003-09-17 |
| Genre | : Computers |
| ISBN | : 0672333570 |
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.
| Author | : J. M. Balkin |
| Publisher | : Yale University Press |
| Total Pages | : 354 |
| Release | : 1998-01-01 |
| Genre | : Law |
| ISBN | : 9780300084504 |
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.
| Author | : Nazim H. Madhavji |
| Publisher | : John Wiley & Sons |
| Total Pages | : 612 |
| Release | : 2006-08-30 |
| Genre | : Computers |
| ISBN | : 0470871814 |
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.
| Author | : |
| Publisher | : Industrial Info Systems |
| Total Pages | : 260 |
| Release | : 2005 |
| Genre | : |
| ISBN | : 9197462012 |
| Author | : Kshirasagar Naik |
| Publisher | : John Wiley & Sons |
| Total Pages | : 702 |
| Release | : 2011-09-23 |
| Genre | : Computers |
| ISBN | : 1118211634 |
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.
| Author | : George L. Kelling |
| Publisher | : Simon and Schuster |
| Total Pages | : 340 |
| Release | : 1997 |
| Genre | : Political Science |
| ISBN | : 0684837382 |
Cites successful examples of community-based policing.
