Tools And Algorithms For The Construction And Analysis Of Systems

Autor: Parosh Aziz Abdulla
Publisher: Springer Science & Business Media
ISBN: 3642198341
File Size: 28,72 MB
Format: PDF, ePub, Docs
Read: 7705
Download or Read Book
This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 32 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on memory models and consistency, invariants and termination, timed and probabilistic systems, interpolations and SAT-solvers, learning, model checking, games and automata, verification, and probabilistic systems.

Tools For Complex Projects

Autor: Kaye Remington
Publisher: CRC Press
ISBN: 1317009827
File Size: 14,66 MB
Format: PDF, ePub, Mobi
Read: 487
Download or Read Book
Traditional project management approaches assume that project contexts are unchanging and key factors, though complicated, are reducible to unambiguous elements for management and control. Whilst this assumption has simplified the task for writers and educators, it is increasingly being recognised that these techniques do not work in projects which may be described as complex (due to their size, technical difficulties, conflicting environmental and political constraints or poorly understood or shared goals). Tools for Complex Projects draws on research in the areas of project management, complexity theory and systems thinking to provide a ready reference for understanding and managing the increasing complexity of projects and programmes. The main part of the book provides a series of fourteen project tools. Some of these tools may be used at the level of the whole project life-cycle. Others may be applied ad hoc at any time. In each case, the authors provide: detailed guidelines for using the tool, information on its purpose and the types of complexity for which it is most appropriate, the theoretical background to the tool, a practical example of its use, and any necessary words of caution. This is an example of advanced project management at work; sophisticated tools that require a level of project and management expertise and offer rigorous and highly practical methods for understanding, structuring and managing the most complex of projects.