This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Lee masThis book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
Lee masStarted on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...
Lee masThis book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...
Lee masThe book examines the consequences of the Italian Constitutional Court’s Judgment 238/2014 which denied the German Republic’s ...
Lee masEssentially, this is an update that places more emphasis on modelling by describing a greater range of approaches to system ...
Lee masThis book is organized in thematic sections on fitness of RE, requirements elicitation, industrial experience of RE, innovative ...
Lee masRequirements Management has proven itself to be an enormous potential for the optimization of development projects throughout ...
Lee masRethinking Productivity in Software Engineering, includes chapters covering definitions and core concepts related to productivity, ...
Lee masReuse Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits features a very detailed, ...
Lee masSoftware reuse as an umbrella concept has been around for several decades. Over time, new techniques and approaches have ...
Lee masThis book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...
Lee masThis book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held ...
Lee masThis State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
Lee masThis book emphasizes on the areas of rice science that attempt to overcome the foremost limitations in rice production. Our ...
Lee masAt a time when business demands urge companies to innovate and CIOs face increasing cost pressures, offshore delivery offers ...
Lee masThis volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction ...
Lee masPresents various concepts and applications related to risk-conscious operations management. It also provides an overview ...
Lee masThe book presented at the symposium focused on topics related to these three events and to artificial intelligence and robotics ...
Lee masThis 2-volume set constitutes the refereed proceedings of 1st International Conference on Robotics and Rehabilitation Intelligence, ...
Lee mas