This book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...
اقرأ المزيد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 ...
اقرأ المزيد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 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 ...
اقرأ المزيدDescribes how to create and delete virtual networks on the fly. Indeed, the system is able to create any new network with ...
اقرأ المزيدThe book deal with aspects of software measurement like function-points measurement, effort and cost estimates, prediction, ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software ...
اقرأ المزيدThis book includes model-driven development; middleware; real time; quality of service and performance; applications; pervasive ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and ...
اقرأ المزيدSoftware Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need ...
اقرأ المزيدThis book is organized in topical sections on programming languages, software engineering, distributed and parallel systems, ...
اقرأ المزيد