Requirements Management : The Interface Between Requirements Development and All Other Systems Engineering Processes
Requirements Management has proven itself to be an enormous potential for the optimization of development projects throughout ...
اقرأ المزيد
Rewriting, Computation and Proof
This Festschrift volume published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed ...
اقرأ المزيد
Robustness and Usability in Modern Design Flows
The size of technically producible integrated circuits increases continuously. But the ability to design and verify these ...
اقرأ المزيد
Rule Representation, Interchange and Reasoning on the Web : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
This book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...
اقرأ المزيد
Runtime Verification
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
اقرأ المزيد
Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...
اقرأ المزيد
SAT 2005
This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...
اقرأ المزيد
SAT-Based Scalable Formal Verification Solutions
SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based ...
اقرأ المزيد
SDL 2001: Meeting UML
This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...
اقرأ المزيد
SDL 2007: Design for Dependable Systems
Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...
اقرأ المزيد
STACS 2007 ; 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings
The Symposium on Theoretical Aspects of Computer Science (STACS) is alternately held in France and in Germany. The conference ...
اقرأ المزيد
Scalable Hardware Verification with Symbolic Simulation
Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions ...
اقرأ المزيد
Scenarios: Models, Transformations and Tools
Visual notations and languages continue to play a pivotal role ˆ in the design of complex software systems. In many cases ...
اقرأ المزيد
Scientific Methods in Mobile Robotics
This book presents cutting-edge research results on the application of chaos theory, parametric and non-parametric statistics ...
اقرأ المزيد
Security And Privacy For Big Data, Cloud Computing And Applications
Examines various topics and approaches related to the security and privacy in big data and cloud computing, where authors ...
اقرأ المزيد
Security Protocols (vol. # 3364)
Theme this time was “Where have all the Protocols gone?” Once upon a time security protocols lived mainly in the network ...
اقرأ المزيد
Security Protocols (vol. # 3957)
" This volume contains the papers presented at the12th International Workshop, Cambridge, UK, April 26-28, 2004. Our theme ...
اقرأ المزيد
Self-Stabilizing Systems
Constitutes the proceedings of the 7th International Symposium on Self-Stabilizing Systems, held in Barcelona, Spain, in ...
اقرأ المزيد
Semantics with Applications: An Appetizer
Semantics will have an important role to play in the future development of software systems and domain specific languages, ...
اقرأ المزيد
Semiconductor Modeling:
Semiconductor Modeling: For Simulating Signal, Power, and Electromagnetic Integrity gives designers and engineers a broad ...
اقرأ المزيد
