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 ...
اقرأ المزيد
The book is divided in two parts: The first part presents concepts of the object-oriented paradigm and the UML notation of ...
اقرأ المزيد
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
This book constitutes the refereed proceedings of the Software Engineering and Algorithms section of the 10th Computer Science ...
اقرأ المزيد
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, ...
اقرأ المزيد
Software is present in every aspect of our lives, pushing us inevitably towards a world of distributed computing systems. ...
اقرأ المزيد
The 9th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed ...
اقرأ المزيد
Presents scientific results of the 21st ACIS International Winter Conference on Software Engineering, Artificial Intelligence, ...
اقرأ المزيد
This book focus on novel trends in software evolution research and its relations with other emerging disciplines such as ...
اقرأ المزيد
In this volume, Ebert and Dumke provide a comprehensive introduction to software measurement. They detail knowledge and experiences ...
اقرأ المزيد