Publisher: Cambridge University Press
This book proposes a distributed pi-calculus called ADPI, for describing the behaviour of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and a primitive migration construct.A mathematical theory of the behaviour of these distributed systems is developed […]
Comments Off
Publisher: Pearson Education Limited
This book is a practical introduction to the initial CMMI-ACQ and its use in all phases of technology acquisition. Developed under the leadership of the Software Engineering Institute and General Motors, the CMMI-ACQ combines CMMI's successful process discipline with techniques proven to work in GM's own extensive outsourcing program. Reflecting the unique […]
Comments Off
Publisher: Cambridge University Press
Textbook on the functional programming language Haskell.
Available at Blackwell Books. Click here for details
Comments Off
Publisher: Apress
This fast-paced and example-filled tutorial reveals the most commonly used aspects of PL/SQL without wasting time with obscure and obsolete features. This work covers all the key features of PL/SQL without wasting time discussing esoteric parts of the language.
Available at Blackwell Books. Click here for details
Comments Off
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & C
Explains how to use standards like MDA and UML for ontology development. This book provides a description of OMG's upcoming ODM (Ontology Definition Metamodel) standard. It also covers the subject of MDA application for ontology development on the Semantic Web. It is supported by a website showing many […]
Comments Off
Publisher: Jones & Bartlett Publishers
Essentials of Software Engineering
Available at Blackwell Books. Click here for details
Comments Off
Publisher: Pearson Education Limited
Integrating essential bodies of knowledge, this book provides comprehensive framework for organizations to assess their development and maintenance processes, implement improvements, and measure progress across their life cycle. It covers the basic concepts of process improvement, details the generic goals and practices, and the 22 process areas.
Available at Blackwell Books. Click here […]
Comments Off
Publisher: O'Reilly Media, Inc, USA
An introduction to Microsoft's unified platform for developing service-oriented applications (SOA) on Windows. This book delivers insight to teach developers what they need to know to build the next generation of SOAs. It focuses on the rationale behind particular design decisions.
Available at Blackwell Books. Click here for details
Comments Off
Publisher: Apress
Deals with computers/software.
Available at Blackwell Books. Click here for details
Comments Off
Publisher: Prentice Hall PTR
Presents an integrated technology, Design for Trustworthy Software (DFTS), to address software quality issues upstream such that the goal of software quality becomes that of preventing bugs in implementation. This title helps you improve quality whether you develop in-house, outsource, consult, or provide support.
Available at Blackwell Books. Click here for details
Comments Off