All counter of AlamanShop


Doron Peled
Software Reliability Methods (Texts in Computer Science)

— y.
Publisher: —
Description: This volume presents a collection of methods for dealing with software reliability. Ideally, formal methods need to be intuitive to use, require a relatively brief learning period, and incur only small overhead to the development process. This book compares these varying methods and reveals their respective advantages and disadvantages, while also staying close to the dual themes of automata theory and logic. Topics and features: * Collects and compares the key software reliability methods currently in use: deductive verification, automatic verification, testing, and process algebra * Provides useful information suitable in the software selection process for a given project * Offers numerous exercises, projects, and running examples to facilitate learning formal methods and allows for ?hands-on? experience with these critical tools * Describes the mathematical principles supporting formal methods * Gives insights into new research directions in the… [detailed...]

ISBN: 0387951067
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Stephen Withall
Software Requirement Patterns (Best Practices)

2007 y.
Publisher: —
Description: Learn proven, real-world techniques for specifying software requirements with this practical reference. It details 30 requirement `patterns` offering realistic examples for situation-specific guidance for building effective software requirements. Each pattern explains what a requirement needs to convey, offers potential questions to ask, points out potential pitfalls, suggests extra requirements, and other advice. This book also provides guidance on how to write other kinds of information that belong in a requirements specification, such as assumptions, a glossary, and document history and references, and how to structure a requirements specification. A disturbing proportion of computer systems are judged to be inadequate, many are not even delivered, more are late or over budget. Studies consistently show one of the single biggest causes is poorly defined requirements: not properly defining what a system is for and what it`s supposed to do. Even a modest… [detailed...]

ISBN: 0735623988
Book size: —; Page extent: 384.

 

PUT TO
THE BASKET
Daniel R. Windle, L. Rene Abreo
Software Requirements Using the Unified Process

— y.
Publisher: —
Description: — [detailed...]

ISBN: 0130969729
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Soren Lauesen
Software Requirements: Styles and Techniques

— y.
Publisher: —
Description: Suitable for most any IT professional who wants to build better software, Software Requirements: Styles and Techniques offers a surprisingly readable textbook-style treatment of software engineering`s numerous attempts to get it right with defining requirements. Surveying nearly every conceivable style of defining requirements, yet remaining thoroughly practical, this book can let your organization do more with its requirements documents, which is a good step to creating software that succeeds better with your users. Though everyone in software design knows about requirements, actual examples have usually remained shrouded in secrecy whether out of concern over client or intellectual property confidentiality. One considerable strength of this title is that the author has seen many good and bad requirements documents and has included here several complete samples for a Danish shipyard and two hospital systems. The book begins by describing several dozen types of… [detailed...]

ISBN: 0201745704
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Karl E. Wiegers
Software Requirements

2003 y.
Publisher: Microsoft Press
Description: Learn proven, real-world techniques for managing the software requirements engineering process. This award-winning book has been expanded with new topics, including use cases, up-to-date tools, more field examples, and a new troubleshooting guide. [detailed...]

ISBN: 0735618798
Book size: —; Page extent: 544.

 

PUT TO
THE BASKET
Mark Barrenechea
Software Rules: How the Next Generation of Enterprise Applications Will Increase Strategic Effectiveness

— y.
Publisher: —
Description: A top industry executive explains total software integration and how it holds the key to market leadership To achieve fast, agile, and diverse responsiveness to today`s ever shifting business needs, executives need to successfully implement strategic decisions based more on reality rather than rhetoric. In Software Rules , Oracle senior executive Mark Barrenechea describes for business readers how, over the next few years, the total integration of software functions into `E-business suites,` will radically transform the business landscape. An E-business suite is a set of applications, founded on a centralized database and integrated by desing, that optimizes the supply and demand chains together, enabling employees anywhere on the globe to access accurate and reliable business data that always reflects real information. Using case studies from BellSouth, Xerox, EMC, HP, Oracle, and other leading companies, he describes how E-business suites work to help… [detailed...]

ISBN: 0071385169
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Debra S. Herrmann
Software Safety and Reliability : Techniques, Approaches, and Standards of Key Industrial Sectors

— y.
Publisher: —
Description: The role of software has changed from simply generating financial or mechanical data to monitoring and controlling equipment that directly affects human life and safety. As a result, a more thorough understanding and familiarity with the specialized techniques used to achieve and assess the safety and reliability of software is needed in academia, industry, and government. This original text introduces the concepts, techniques, and approaches used to achieve and assess software safety and reliability. Debra Herrmann presents a cross-section of current safety and reliability standards that cross multiple industrial sectors while focusing on the additional required activities to achieve software safety and reliability. In organizing this text, the she has three objectives. The first is to raise the reader`s awareness on the importance of software safety and reliability and on its role in mission critical systems by presenting many illustrative, ever day examples. The second… [detailed...]

ISBN: 0769502997
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
M. Okada, B. Pierce, A. Scedrov, H. Tokuda, Yomezawa
Software Security -- Theories and Systems: Theories and Systems : Tokyo, Japan, November 2002 : Revised Papers (Lecture Notes in Computer Science, 2609)

— y.
Publisher: —
Description: — [detailed...]

ISBN: 3540007083
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Gary McGraw, John Viega, Greg Hoglund
Software Security Library Boxed Set, First Edition

2006 y.
Publisher: —
Description: - [detailed...]

ISBN: 0321418700
Book size: —; Page extent: 1392.

 

PUT TO
THE BASKET
Richard Sinn
Software Security Technologies

2007 y.
Publisher: Course Technology
Description: Providing the perfect blend of basic security theory and practical software security programming, `Software Security Technologies: A Programmatic Approach` offers a valuable introduction to the field of software security. Divided into three parts, this comprehensive guide encourages readers to master their security skills by building on the basics. The first section of the book is devoted to fundamental security theories that govern common software security technical issues. Coverage then progresses to a focus on the practical programming materials that will teach readers how to implement security solutions using the most popular software packages. Using these theories and programming practices as a foundation, the book concludes with a section on security in practice, demonstrating how the conceptual and practical materials covered in the first two sections are applied in real-world scenarios. All of these topics are explained using a straightforward approach, so that readers can… [detailed...]

ISBN: 142831945X
Book size: —; Page extent: 496.

 

PUT TO
THE BASKET
Gary McGraw
Software Security: Building Security In

2006 y.
Publisher: —
Description: - [detailed...]

ISBN: 0321356705
Book size: —; Page extent: 448.

 

PUT TO
THE BASKET
Daniel D. Galorath, Michael W. Evans
Software Sizing, Estimation, and Risk Management

2006 y.
Publisher: —
Description: Software Sizing, Estimation, and Risk Management: When Performance is Measured Performance Improves is a practical, hands-on discussion of the software estimation, planning, and control process. This includes critical factors that impact estimates, methods for selecting and applying appropriate measures to projects, proper software sizing, and processes to identify and manage risk. The authors use their expertise in sizing, estimation, process engineering, and risk management to clearly demonstrate problems that make many estimates crumble and solutions that provide successful project plans. The book offers insight not available anywhere else, enabling readers to recognize and avoid downstream impacts resulting from poor estimates. [detailed...]

ISBN: 0849335930
Book size: —; Page extent: 576.

 

PUT TO
THE BASKET
Ken Shumate, Marilyn Keller
Software Specification and Design: A Disciplined Approach for Real-Time Systems

— y.
Publisher: —
Description: Clearly demonstrates how to tackle the difficult task of software specification and design. Focusing on the specification to design transition, it provides step-by-step rules, guidelines, heuristics, hints and tips. A large case study is used to illustrate key aspects of project development. Along with a variety of analysis and design methods for both sequential and concurrent systems, it also offers detailed coverage of the transitional phase. [detailed...]

ISBN: 0471532967
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Shuvra S. Battacharyya, Praveen K. Murthy, Edward A. Lee
Software Synthesis from Dataflow Graphs (Kluwer International Series in Engineering and Computer Science, 360)

— y.
Publisher: —
Description: Software Synthesis from Dataflow Graphs addresses the problem of generating efficient software implementations from applications specified as synchronous dataflow graphs for programmable digital signal processors (DSPs) used in embedded real- time systems. The advent of high-speed graphics workstations has made feasible the use of graphical block diagram programming environments by designers of signal processing systems. A particular subset of dataflow, called Synchronous Dataflow (SDF), has proven efficient for representing a wide class of unirate and multirate signal processing algorithms, and has been used as the basis for numerous DSP block diagram-based programming environments such as the Signal Processing Workstation from Cadence Design Systems, Inc., COSSAP from Synopsys TM (both commercial tools), and the Ptolemy environment from the University of California at Berkeley. A key property of the SDF model is that static schedules can be determined at compile time. This removes… [detailed...]

ISBN: 0792397223
Book size: —; Page extent: 0.

 

PUT TO
THE BASKET
—
Software Synthesizers: The Definitive Guide to Virtual Musical Instruments

2003 y.
Publisher: —
Description: Book DescriptionThis book explores how musicians can use desktop PCs to create music with software synthesizers - a new category of music software that takes the place of expensive stand-alone synth hardware. This informative and complete guide includes illustrations and delves into which soft synths can match a specific hardware model, which ones break new ground, and how to put it all together to make music. The CDROM features ready-to-use demo software. [detailed...]

ISBN: 0879307528
Book size: —; Page extent: 290.

 

PUT TO
THE BASKET
—
Software Systems Reliability and Security - Volume 9: NATO Security through Science Series: Information and Communication Security (Nato Security Through … D: Information and Communication Security)

2007 y.
Publisher: Ios Pr Inc
Description: The foundations of software technology provide models that enable us to capture application domains and their requirements, but also to understand the structure and working of software systems, software architectures and programs. New developments must pay due diligence to the importance of security-related aspects, and align current methods and techniques to information security, integrity, and system reliability. However, based on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods, especially taking into account security aspects in Information Technology. As a consequence of the wide distribution of software and software infrastructure, information security depends on the quality and excellent understanding of its functioning. Only when this functionality is guaranteed as safe, customers and information are protected against adversarial attacks. Thus, to make communication… [detailed...]

ISBN: 1586037315
Book size: —; Page extent: 434.

 

PUT TO
THE BASKET
Joseph Vybihal, Danielle Azar
Software Systems

2008 y.
Publisher: —
Description: - [detailed...]

ISBN: 0757557279
Book size: —; Page extent: 238.

 

PUT TO
THE BASKET
Jim Brosseau
Software Teamwork: Taking Ownership for Success

2007 y.
Publisher: Addison-Wesley Professional
Description: Optimizing the Human Side of Software Development: Real Solutions Based on Real Data and Experience. Software Teamwork is a compelling, innovative, intensely practical guide to improving the human dynamics that are crucial to building great software. Drawing on years of work with a wide range of teams, Jim Brosseau shows how to drive powerful improvements through small, focused changes that deliver results. These changes are designed to work for the whole team and respect existing organizational culture. Better yet, Brosseau identifies solutions you can start implementing right now, as an individual, without waiting for executive buy-in. Whatever your methodology, technology, or organization, `Software Teamwork` demonstrates how to apply solutions to realistic development challenges involving complex sets of stakeholders. Along the way, Brosseau shares important new insights into the attitudes, motives, and personal relationships that project management… [detailed...]

ISBN: 0321488903
Book size: —; Page extent: 432.

 

PUT TO
THE BASKET
Ron Patton
Software Testing (2nd Edition)

2005 y.
Publisher: —
Description: Software Testing, Second Edition provides practical insight into the world of software testing and quality assurance. Learn how to find problems in any computer program, how to plan an effective test approach and how to tell when software is ready for release. Updated from the previous edition in 2000 to include a chapter that specifically deals with testing software for security bugs, the processes and techniques used throughout the book are timeless. This book is an excellent investment if you want to better understand what your Software Test team does or you want to write better software. [detailed...]

ISBN: 0672327988
Book size: —; Page extent: 408.

 

PUT TO
THE BASKET
Edward Kit
Software Testing In The Real World (Acm Press Books)

— y.
Publisher: —
Description: — [detailed...]

ISBN: 0201877562
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Scott Loveland, Geoffrey Miller, Richard Prewitt, Michael Shannon
Software Testing Techniques: Finding the Defects that Matter (Programming Series)

2004 y.
Publisher: —
Description: Reliability and continuous availability have become crucial for computer software in the information economy. Well-publicized failures from both industry and government have underscored the need for mission-critical software to be thoroughly tested before being released into the marketplace. When it comes to industrial-strength reliability, no computer system is more renowned than the mainframe. But for years the actual approaches used to test mainframe software have been kept under wraps. What techniques are used? How do the teams in mainframe development labs test their systems to ensure they will deliver such extreme levels of robustness? How can these lessons be applied to other software projects? Software Testing Techniques: Finding the Defects that Matter answers these questions and provides practical testing techniques for achieving robust reliability with any large-scale software project. Written in a friendly, accessible style, the book highlights areas such as devising… [detailed...]

ISBN: 1584503467
Book size: —; Page extent: 362.

 

PUT TO
THE BASKET
Mauro Pezze, Michal Young
Software Testing and Analysis: Process, Principles and Techniques

2007 y.
Publisher: —
Description: The first comprehensive book on software test and analysis You can`t `test quality into` a software product, but neither can you build a quality software product without test and analysis. Software test and analysis is increasingly recognized, in research and in industrial practice, as a core challenge in software engineering and computer science. Software Testing and Analysis: Process, Principles, and Techniques is the first book to present a range of complementary software test and analysis techniques in an integrated, coherent fashion. It covers a full spectrum of topics from basic principles and underlying theory to organizational and process issues in real-world application. The emphasis throughout is on selecting a complementary set of practical techniques to achieve an acceptable level of quality at an acceptable cost. Highlights of the book include * Interplay among technical and non-technical issues in crafting an approach to software quality,… [detailed...]

ISBN: 0471455938
Book size: —; Page extent: 488.

 

PUT TO
THE BASKET
Gerard Blokdijk, Ivanka Menken
Software Testing and Quality Assurance with IT Change Management Transition Planning, Support, Service Validation, Testing and Evaluation Handbook. Change without Risk.

2008 y.
Publisher: —
Description: This book is not primarily for software test and QA professionals who are working in `typical` organizations. The Best Practice approach in this book is based on ITIL and is well suited to any IT organization that takes its software testing serious. Moreo, unless software engineering practices across the organization are mature the approach will probably fail. However, that does not prevent even an organization with a yet to be developed testing process from selecting best practices and tasks set forth inis book and applying them. The net result will be an incremental improvement, and may be the catalyst for larger improvements with large wins. This book is invaluable to organizations that are committed to software engineering at the defined, managed optimizing levels of maturity. It distills formal test practices drawn from a variety of ITIL and IT service Management sources into a succinct, process-oriented guide. The book is filled with templates and examples to set up and… [detailed...]

ISBN: 1921523654
Book size: —; Page extent: 116.

 

PUT TO
THE BASKET
Sagar Naik, Piyu Tripathy
Software Testing and Quality Assurance: Theory and Practice

2008 y.
Publisher: —
Description: 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… [detailed...]

ISBN: 0471789119
Book size: —; Page extent: 616.

 

PUT TO
THE BASKET
Paul C. Jorgensen
Software Testing: A Craftsman`s Approach

2008 y.
Publisher: Auerbach Publications
Description: Since the last publication of this international bestseller, software testing has seen a renaissance of renewed interest and technology. The biggest change comes in the growing prominence and acceptance of Agile Programming. `Software Testing: A Craftsman`s Approach` extends the combination of theory and practicality of the first two editions to include agile programming development and discusses the serious effect this emerging area is having on software testing. The third edition of the widely adopted text and reference book is comprised of six parts. It begins by providing the mathematical background in discrete mathematics and linear graph theory that is used in subsequent sections. The book continues to describe specification-based (functional) and code-based (structural) test development techniques, while extending this theoretical approach to less understood levels of integration and system testing. The author further develops this discussion to include… [detailed...]

ISBN: 0-8493-7475-8
Book size: —; Page extent: 440.

 

PUT TO
THE BASKET
Martin Pol, Ruud Teunissen, Erik Van Veenendaal
Software Testing: A Guide to the Tmap(R) Approach

— y.
Publisher: —
Description: — [detailed...]

ISBN: 0201745712
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
K. Mustafa, R. a. Khan
Software Testing: Concepts and Practices

2007 y.
Publisher: —
Description: - [detailed...]

ISBN: 1842653679
Book size: —; Page extent: 256.

 

PUT TO
THE BASKET
Edward Hasted
Software That Sells : A Practical Guide to Developing and Marketing Your Software Project

2005 y.
Publisher: —
Description: * Written by an expert with more than 30 years of experience in every role in the IT industry, this book confronts development process problems head-on, and it tackles the critical steps that must be taken to ensure success * Dives into topics such as identifying opportunities, planning for success, building an appropriate business model, assembling a team, developing software, managing teams, and successfully marketing and selling the product * The book fills a void in the current market, and is an ideal read for all IT professionals [detailed...]

ISBN: 0764597833
Book size: —; Page extent: 379.

 

PUT TO
THE BASKET
Brian W. Kernighan, P. J. Plauger
Software Tools

1976 y.
Publisher: Addison-Wesley Professional
Description: With the same style and clarity that characterized their highly acclaimed book, `The Elements of Programming Style`, the authors have written `Software Tools` to teach how to write good programs that make good tools. The programs contained in the book are not artificial, but are actual programs ae tools which have proved valuable in the production of other programs. Modern programming techniques such as structured programming and top-down design are emphasized and applied to every program. The programs are presented in a structured language called Ratfor (`Rational Fortran`) which can be easily understood by anyone familiar with Fortran or PL/I, Algol, PASCAL, or similar languages. (Ratfor translates readily into Fortran or PL/I. One of the tools presented is a preprocessor to translate Ratfor into Fortran). All of the programs are complete and have been tested directly from the text. The programs are available in machine-readable form from Addison-Wesley. `Software… [detailed...]

ISBN: 020103669X
Book size: —; Page extent: 352.

 

PUT TO
THE BASKET
Steven R. Rakitin
Software Verification and Validation for Practitioners and Managers, Second Edition

— y.
Publisher: —
Description: Suitable for software quality assurance professionals, software engineers, project managers and senior managers, this book is a concise and practical introduction to the basic principles of effective software verification and validation (V&,V). This new edition has been thoroughly revised and includes five new chapters and five new appendices focused on management techniques to make your company`s software V&,V efforts more cost-effective. For Managers, you learn how to help your organization create more accurate estimates and schedules. For practitioners, you learn fundamental software verification and validation practices such as the formal inspection process, configuration management, effective testing techniques, and how to use measurements to drive further process improvements. This easy-to-use resource offers you guidance in essential software V&,V techniques and helps you balance the conflicting demands of quality, features, and schedules. You also learn how to balance the… [detailed...]

ISBN: 1580532969
Book size: —; Page extent: 0.

 

PUT TO
THE BASKET
Steven R. Rakitin
Software Verification and Validation: A Practitioner`s Guide (Artech Computer Science Library)

— y.
Publisher: —
Description: This book provides techniques and up-to-date information to help develop economical, high quality software. It explains the advantages and disadvantages of various software development lifecycle models, and suggests when to apply testing and when to use other, more cost-effective techniques. It also shows how to incorporate verification and validation techniques if your organization does not have a written procedure, and how to implement the inspection process. Focusing on practical solutions and including useful models which can be modified to suit the reader, this is a handy reference to all software quality issues. [detailed...]

ISBN: 0890068895
Book size: —; Page extent: —.

 

PUT TO
THE BASKET
Сайт создан в системе uCoz