The identification of new types of physical behavior, new technological materials, ultimate verification of condensed and ...
Weiterlesen
This book gathers contributions to the 4th International Conference on Soft methods in Probability and Statistics. Its aim ...
Weiterlesen
This edited volume is the proceedings of the 2006 International Conference on Soft Methods in Probability and Statistics ...
Weiterlesen
Hard real-time systems are very predictable, but not sufficiently flexible to adapt to dynamic situations. They are built ...
Weiterlesen
Intelligent agents and multi-agent systems (MAS) represent the next big step in the development of next-generation software ...
Weiterlesen
Software architecture has emerged as an important subdiscipline of software engineering encompassing a broad set of languages, ...
Weiterlesen
This book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...
Weiterlesen
On behalf of the Organizing Committee we are pleased to present the proceedings of the 2007 Symposium on Software Composition ...
Weiterlesen
Component-based software development is the next step after object-oriented programmingthatpromisesto reducecomplexityandimprovereusability.These ...
Weiterlesen
This LNCS volume contains the proceedings of the 5th International S- posium on Software Composition, which was held as a ...
Weiterlesen
Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides ...
Weiterlesen
volume 2 covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics ...
Weiterlesen
Volume 3 is based on the maxim: "Before software can be designed its requirements must be well understood, and before the ...
Weiterlesen
"This book constitutes the proceedings of thethe International Conference on Software Engineering (ICSE 2005) by leading ...
Weiterlesen
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Weiterlesen
This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
Weiterlesen
Middleware provides an integration framework for multiple and potentially - verse computing platforms. It allows developers ...
Weiterlesen
This book presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design ...
Weiterlesen
With the integration of computing and communication into the very fabric of our social, economic, and personal existence, ...
Weiterlesen
Software is present in every aspect of our lives, pushing us inevitably towards a world of distributed computing systems. ...
Weiterlesen