海量图书期刊资源,随时随地畅享阅读乐趣
Lecture Notes in Computer Science 1561 Lectures on Data Security Modern Cryptology in Theory and PraSpringer-Verlag · 1999
[Lecture Notes in Computer Science] Theory and Practice of Model Transformations Volume 9152 || Origin Tracking $$+$$ + Text Differencing $$=$$ = Textual Model DifferencingKolovos, Dimitris; Wimmer, Manuel · 2015
[Lecture Notes in Computer Science] Theory and Practice of Model Transformations Volume 9152 || F-Alloy: An Alloy Based Model Transformation LanguageKolovos, Dimitris; Wimmer, Manuel · 2015
[Lecture Notes in Computer Science] Theory and Practice of Model Transformations Volume 9152 || Cost-Effective Industrial Software Rejuvenation Using Domain-Specific ModelsKolovos, Dimitris; Wimmer, Manuel · 2015
[Lecture Notes in Computer Science] Theory and Practice of Model Transformations Volume 9152 || From UML/OCL to Base Models: Transformation Concepts for Generic Validation and VerificationKolovos, Dimitris; Wimmer, Manuel · 2015