Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
اقرأ المزيدThis book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
اقرأ المزيدThis textbook presents the crucial issues in software engineering using the agile approach to software development - one ...
اقرأ المزيدThe book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...
اقرأ المزيدThe book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 20th European Conference on Object-Oriented Programming, ECOOP 2006, ...
اقرأ المزيدThis book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...
اقرأ المزيدThis book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...
اقرأ المزيدThis book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the ...
اقرأ المزيدThis classroom-tested textbook presents an active-learning approach to the foundational concepts of software design. These ...
اقرأ المزيدConstitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
اقرأ المزيدThe subject of this book is model abstraction of dynamical systems. The p- mary goal of the work embodied in this book is ...
اقرأ المزيدConstitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...
اقرأ المزيدhe name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...
اقرأ المزيدThis book focuses on the efficient performance of mobile robots through the use of multi-hierarchical symbolic representations ...
اقرأ المزيدThis book is organized in topical sections on digital preservation, social tagging, quatations and annotations, user studies ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, ...
اقرأ المزيدThis book includes spatial orientation, spatial navigation, spatial learning, maps and modalities, spatial communication, ...
اقرأ المزيدThis volume collects together a number of important papers concerning both the method of abstraction generally and the use ...
اقرأ المزيدThis two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
اقرأ المزيد