 
                This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
اقرأ المزيد 
                Essentially, this is an update that places more emphasis on modelling by describing a greater range of approaches to system ...
اقرأ المزيد 
                This book is organized in thematic sections on fitness of RE, requirements elicitation, industrial experience of RE, innovative ...
اقرأ المزيد 
                Requirements Management has proven itself to be an enormous potential for the optimization of development projects throughout ...
اقرأ المزيد 
                Rethinking Productivity in Software Engineering, includes chapters covering definitions and core concepts related to productivity, ...
اقرأ المزيد 
                This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...
اقرأ المزيد 
                This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held ...
اقرأ المزيد 
                This State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
اقرأ المزيد 
                At a time when business demands urge companies to innovate and CIOs face increasing cost pressures, offshore delivery offers ...
اقرأ المزيد 
                This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction ...
اقرأ المزيد 
                The book presented at the symposium focused on topics related to these three events and to artificial intelligence and robotics ...
اقرأ المزيد 
                This book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...
اقرأ المزيد 
                The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...
اقرأ المزيد 
                This volume presents several case studies highlighting the latest findings in Industry 4.0 projects utilizing S-BPM features. ...
اقرأ المزيدThis is the first book to present field studies on the application of subject-oriented business process management (S-BPM). ...
اقرأ المزيد 
                You already know how crucial certification is within the Java community. SCJD Exam with J2SE 5, Second Edition is a valuable ...
اقرأ المزيد 
                This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...
اقرأ المزيد 
                This book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...
اقرأ المزيد 
                SQL Server 2008 Transact–SQL Recipes: A Problem–Solution Approach is an example–based guide to the Transact–SQL language ...
اقرأ المزيد 
                This book presents the Scaling Management Framework, a model based on collected experiences from companies that have already ...
اقرأ المزيد