Electronic Books

Total Books: 341 - 360 /617

Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...

Maturing Usability : Quality in Software, Interaction and Value

Divided into three parts, ‘Quality in Software’ looks at how using development tools can enhance usability of a system, ...

Microprocessor 1: Prolegomena - Calculation and Storage Functions - Models of Computation and Computer Architecture / Philippe Darche

Presents the computation function, recalls the memory function and clarifies the concepts of computational models and architecture. ...

Microprocessor 2: Communication in a Digital System / Philippe Darche

Focuses more particularly on the first generations of microprocessors, that is to say those that handle integers in 4 and ...

Microprocessor 3: Core Concepts - Hardware Aspects / Philippe Darche

Calculation is the main function of a computer. The central unit is responsible for executing the programs. The microprocessor ...

Microprocessor 4: Core Concepts - Software Aspects / Philippe Darche

Addresses the software aspects of this component. Coding of an instruction, addressing modes and the main features of the ...

Microsoft Visual C# Step by Step / John Sharp

Guide to Microsoft Visual C# fundamentals with Visual Studio. Expand your expertiseand teach yourself the fundamentals of ...

Middleware 2008 : ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings

This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 9th International Middleware Conference 2008, held ...

Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, ...

Model Driven Architecture

Model-Driven Architecture (MDA) is an initiative proposedby the Object M- agement Group (OMG) for platform-generic software ...

Model Driven Architecture - Foundations and Applications : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from ...

Model Driven Architecture and Ontology Development

Gaševic and his co-authors try to fill this gap by covering the subject of MDA application for ontology development on the ...

Model Driven Engineering Languages and Systems : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings

The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...

Model-Based Engineering of Collaborative Embedded Systems Extensions of the SPES Methodology

This book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing ...

Model-Driven Design Using Business Patterns

This book takes exactly this step: it shows you how to apply the pattern ideas in business applications and presents more ...

Model-Driven Development and Operation of Multi-Cloud Applications

In this book readers will find technological discussions on the existing and emerging technologies across the different stages ...

Model-Driven Development of Reliable Automotive Services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD ...

Model-Driven Software Development

Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model ...

Model-Driven Testing

Written by the original members of this standardization group, this book shows you how to use UML to test complex software ...

Modeling Semantic Web Services : The Web Service Modeling Language

In this book, Jos de Bruijn and his coauthors lay the foundations for understanding the requirements that shape the description ...

Total Books: 341 - 360 /617