for at udvide
kategorilisten.
Softwareudvikling
-
The B-Book: Assigning Programs to Meanings (Bog, Paperback / softback, Engelsk)
The long-awaited B-Book is the standard reference for everything concerning the B Method, written by its inventor, J.-R. Abrial. Formal methods practitioners,... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Understanding Z: A Specification Language and its Formal Semantics (Bog, Paperback / softback, Engelsk)
The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory (Bog, Paperback / softback, Engelsk)
Many different structured methodologies exist, each employing a number of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Foundations of Component-Based Systems (Bog, Paperback / softback, Engelsk)
This 2000 collection of articles by well-known experts moves from theoretical frameworks, models, and systems of notation to case studies by researchers. The... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Simulation Techniques for Discrete Event Systems (Bog, Paperback / softback, Engelsk)
This book, first published in 1982, will be useful to both undergraduate and postgraduate students taking courses on simulation in departments of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
The Object Primer: Agile Model-Driven Development with UML 2.0 (Bog, Paperback / softback, Engelsk)
Scott Ambler's updated edition of The Object Primer now presents all modeling notation in UML 2.0. All chapters have been revised to take advantage of Agile Modeling (AM), which is presented in the new chapter 2 along with other important modeling techniques.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
The Way of Z: Practical Programming with Formal Methods (Bog, Paperback / softback, Engelsk)
This 1997 book is a self-contained tutorial on Z for experienced programming professionals, discussing practical ways to apply formal methods in... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
The Patterns Handbook: Techniques, Strategies, and Applications (Bog, Paperback / softback, Engelsk)
This book contains seminal articles and essays that illustrate the growing importance of patterns in application development.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Component-Based Software Engineering (Bog, Paperback / softback, Engelsk)
This book, first published in 1997, covers the most important topics in ComponentWare™ technology, based in large part on the first Component Users Conference. It... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Building Object Applications that Work: Your Step-by-Step Handbook for Developing Robust Systems with Object Technology (Bog, Paperback / softback, Engelsk)
This book is a must-have resource for designers, programmers and testers of today's... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
The Road to the Unified Software Development Process (Bog, Paperback / softback, Engelsk)
This book provides an excellent overview of Ivar Jacobson's work on the Unified Software Development Process.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
The Elements of C++ Style (Bog, Paperback / softback, Engelsk)
The Elements of C++ Style, first published in 2004, is for all C++ practitioners, especially for those working in teams where consistency is critical. The authors offer a... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage)
