Electronic Books

Total Books: 101 - 120 /143

Reasoning Web

This book contains a collection of thoroughly revised tutorial papers based on lectures given by leading researchers at the ...

Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...

Reliable Software Technologies -- Ada-Europe 2006

This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...

Requirements Engineering

Essentially, this is an update that places more emphasis on modelling by describing a greater range of approaches to system ...

Requirements Engineering: Foundation for Software Quality

This book constitutes the refereed proceedings of the 13th International Working Conference on Requirements Engineering: ...

Reverse Engineering of Object Oriented Code

The book describes the algorithms involved in recovering UML diagrams from the code and the techniques that can be adopted ...

SDL 2001: Meeting UML

This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...

SDL 2005: Model Driven

This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...

SDL 2007: Design for Dependable Systems

Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...

Satellite Events at the MoDELS 2005 Conference

This book constitutes the thoroughly refereed post-proceedings of 10 internationl workshops held as satellite events of the ...

Scientific Engineering of Distributed Java Applications

The scope of the workshop included the following topics: – design of distributed applications – development methodologies ...

Secure Systems Development with UML

Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical ...

Security Management, Integrity, and Internal Control in Information Systems

Features proceedings from the IFIP TC-11 WG 11.1 and WG 11.5 Joint Working Conference on Security Management, Integrity, ...

Sepsis

Sepsis is a multi-factorial disease process and this volume provides comprehensive and in-depth reviews of both the basic ...

Service-Oriented Computing – ICSOC 2005

The 2005 edition had the important and ambitious goal of bringing together the different communities working in Web services ...

Software Architecture

Software architecture has emerged as an important subdiscipline of software engineering encompassing a broad set of languages, ...

Software Architecture (vol. # 3527)

This book constitutes the refereed proceedings of the 2nd European Workshop on Software Architecture, EWSA 2004, held in ...

Software Architecture (vol. # 4344)

This book constitutes the proceedings of the 3rd European Workshop on Software Architecture (EWSA 2006) provided an internationalforumforresearchersandpractitionersfromacademiaandindustry ...

Software Engineering 2

volume 2 covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics ...

Software Engineering Techniques Applied to Agricultural Systems

The book is divided in two parts: The first part presents concepts of the object-oriented paradigm and the UML notation of ...

Total Books: 101 - 120 /143