Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European ... Computer Science and General Issues)

Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European ... Computer Science and General Issues) Review

See more picture

Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European ... Computer Science and General Issues) Feature

This book constitutes the refereed proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held in Edinburgh, UK in April 2005 as part of ETAPS. The 33 revised full research papers and 8 revised tool demonstration papers presented together with an invited paper were carefully reviewed and selected from a total of 161 submissions. The papers are organized in topical sections on regular model-checking, infinite state machines, abstract interpretation, automata and logics, probabilistic systems and probabilistic model checking, satisfiability, testing, abstraction and reduction, specification and program synthesis, and model-checking.

Check price now

Rerate Products

Customer Review

Joint Application Design: How to Design Quality Systems in 40% Less Time

Joint Application Design: How to Design Quality Systems in 40% Less Time Review

See more picture

Joint Application Design: How to Design Quality Systems in 40% Less Time Feature

Most system designers are up against a data processing nightmare: the real world of backlogs, cost constraints, and dissatisfied users. To banish these problems (and avoid endless meetings during the process) this book offers clear, practical guidelines for getting users and MIS professionals together before problems occur. JAD is a software design methodology developed by IBM to enhance application design productivity and quality. The authors offer extensive examples of CASE (Computer Assisted Software Engineering) techniques, and provide readers with complete checklists, workplans, and helpful sample agendas. Also included are documentation forms that readers can quickly apply to their own projects. The text will benefit project managers, application designers, mis software engineers, programmers and students.

Check price now

Rerate Products

Customer Review

Fundamental Approaches to Software Engineering: 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and ... Computer Science and General Issues)

Fundamental Approaches to Software Engineering: 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and ... Computer Science and General Issues) Review

See more picture

Fundamental Approaches to Software Engineering: 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and ... Computer Science and General Issues) Feature

This book constitutes the refereed proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering, FASE 2008, held in Budapest, Hungary, in March/April 2008 as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software.

The 26 revised full papers presented together with 5 tool demonstrations were carefully reviewed and selected from 119 submissions. The papers are organized in topical sections on requirements and architectures, models and model transformations, conceptual models and UML, service engineering and adaptable services, verification and testing, and objects and components.

Check price now

Rerate Products

Customer Review

Fundamental Approaches to Software Engineering: 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and ... Computer Science and General Issues)

Fundamental Approaches to Software Engineering: 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and ... Computer Science and General Issues) Review

See more picture

Fundamental Approaches to Software Engineering: 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and ... Computer Science and General Issues) Feature

This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering, FASE 2007, held in Braga, Portugal in March/April 2007 as part of ETAPS 2007, the Joint European Conferences on Theory and Practice of Software. It covers evolution and agents, model driven development, tool demonstrations, distributed systems, specification, services, testing, analysis, and design.

Check price now

Rerate Products

Customer Review