The book describes the algorithms involved in recovering UML diagrams from the code and the techniques that can be adopted ...
Lee mas
This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...
Lee mas
This State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
Lee mas
The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
Lee mas
This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction ...
Lee mas
This book is simultaneously a theoretical study in morphosyntax and an in-depth empirical study of Hebrew. Based on Hebrew ...
Lee mas
This book is organized in topical sections on logical and mathematical foundations, data analysis, data mining, decision ...
Lee mas
This book constitutes the refereed proceedings of the International Conference on Rough Sets and Emerging Intelligent Systems ...
Lee mas
This book focus on five major research fields: computing theory and paradigms, knowledge technology, intelligent information ...
Lee mas
The web framework Ruby on Rails for developing database based web applications provides a Model-View-Controller framework. ...
Lee mas
RuleML 2005 also accommodated the ?rst Workshop on OWL: Experiences and Directions. Rules are widely recognized to be a major ...
Lee mas
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
Lee mas
The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...
Lee mas
This book is an integrated treatment of applied statistical methods, presented at an intermediate level, and the SAS programming ...
Lee mas
Best selling author Paul Sanghera offers cohesive, concise, yet comprehensive coverage of all the topics included in the ...
Lee mas
This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...
Lee mas
This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...
Lee mas
Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...
Lee mas
SQL Server 2008 Transact–SQL Recipes: A Problem–Solution Approach is an example–based guide to the Transact–SQL language ...
Lee mas
Constitutes the refereed proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, held in Germany, ...
Lee mas