This book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...
Lire la suiteGuides you in understanding how a software solution is designed using different architectural processes and scenarios. Each ...
Lire la suiteResearchers and professionals will find in this text the thoroughly refereed post-proceedings of the Third International ...
Lire la suiteOn behalf of the Organizing Committee we are pleased to present the proceedings of the 2007 Symposium on Software Composition ...
Lire la suiteComponent-based software development is the next step after object-oriented programmingthatpromisesto reducecomplexityandimprovereusability.These ...
Lire la suiteThis LNCS volume contains the proceedings of the 5th International S- posium on Software Composition, which was held as a ...
Lire la suiteThe goal of the International Symposia on Software Composition is to advance the state of the research in component-based ...
Lire la suiteThis book addresses the question of how system software should be designed to account for faults, and which fault tolerance ...
Lire la suiteVolume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides ...
Lire la suitevolume 2 covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics ...
Lire la suiteVolume 3 is based on the maxim: "Before software can be designed its requirements must be well understood, and before the ...
Lire la suiteServesas a guide to a maturing engineering discipline. It is intended for both students and practitioners, retaining its ...
Lire la suiteThe aim of the present volume is different. We recognize that of shore development is here to stay, and not just a result ...
Lire la suite"This book constitutes the proceedings of thethe International Conference on Software Engineering (ICSE 2005) by leading ...
Lire la suiteThis book constitutes the proceedings of the2nd ACIS International Conference on Software Engineering – Research, Management ...
Lire la suiteThe 6th ACIS International Conference on Software Engineering, Research, Management and Applications (SERA 2008) was held ...
Lire la suiteThis book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
Lire la suite"Software Engineering for Experimental Robotics" collects contributions that describe the state of the art in software ...
Lire la suiteThis book presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design ...
Lire la suiteWith the integration of computing and communication into the very fabric of our social, economic, and personal existence, ...
Lire la suite