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 ...
اقرأ المزيد
