( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
AspectJ code analysis and verification with GASR.

, , , , , и . J. Syst. Softw., (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Viviane Brunne

Viviane Knüppel

Viviane Hambrecht

Viviane Manz

Viviane Küppers

 

Другие публикации лиц с тем же именем

A Framework for Advanced Modularization and Data Flow in Workflow Systems., , , и . ICSOC, том 5364 из Lecture Notes in Computer Science, стр. 592-598. (2008)Using Description Logic to Maintain Consistency between UML Models., , , и . UML, том 2863 из Lecture Notes in Computer Science, стр. 326-340. Springer, (2003)Validating Hybrid Designs with Co-Simulation., , , , , и . ESM, стр. 569-573. SCS, The Society for Computer Simulation International, (1996)Supporting Model Refactorings Through Behaviour Inheritance Consistencies., , и . UML, том 3273 из Lecture Notes in Computer Science, стр. 305-319. Springer, (2004)Aspect-oriented Component Composition in PacoSuite Through Invasive Composition Adapters., , , и . Int. J. Softw. Tools Technol. Transf., 9 (2): 135-154 (2007)Maintaining Consistency between UML Models Using Description Logic, , , и . Série L'objet - logiciel, base de données, réseaux, 10 (2-3): 231-244 (2004)Reasoning over the Evolution of Source Code Using Quantified Regular Path Expressions., , , , и . WCRE, стр. 389-393. IEEE Computer Society, (2011)OMT*, Bridging the Gap between Analysis and Design., , , , и . FORTE, том 43 из IFIP Conference Proceedings, стр. 39-55. Chapman & Hall, (1995)Model querying with query models., и . GPCE, стр. 181-184. ACM, (2015)A formal approach to model refactoring and model refinement, , и . Software and Systems Modeling, 6 (2): 139--162 (июня 2007)