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