( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Trace preservation in B and Event-B refinements.

, , , и . J. Log. Algebraic Methods Program., (февраля 2024)

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.

Michaela Egyed

Alexander

Alexander Stadler

Messtechnische Bestimmung und Simulation der Kernverluste in weichmagnetischen Materialien. Uni Erlangen-Nürnberg, (2009)

Alexander Auch

A phylogenetic potpourri: computational methods for analysing genome scale data. Uni Tübingen, (2010)

Alexander Blecken

A reference task model for supply chain processes of humanitarian organisations. Uni Paderborn, (2009)
 

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

Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution., , и . ICSE, стр. 864-867. ACM, (2011)Automatically generating and adapting model constraints to support co-evolution of design models., , и . ASE, стр. 302-305. ACM, (2012)Using feature model knowledge to speed up the generation of covering arrays., , и . VaMoS, стр. 16:1-16:6. ACM, (2013)Cross-layer modeler: a tool for flexible multilevel modeling with consistency checking., , и . SIGSOFT FSE, стр. 452-455. ACM, (2011)Dynamic Deployment of Executing and Simulating Software Components.. Component Deployment, том 3083 из Lecture Notes in Computer Science, стр. 113-128. Springer, (2004)First International Workshop on Incorporating COTS into Software Systems., и . ICCBSS, том 2959 из Lecture Notes in Computer Science, стр. 6-7. Springer, (2004)Guest editors' introduction., и . Autom. Softw. Eng., 16 (1): 1-2 (2009)Feature Maps: A Comprehensible Software Representation for Design Pattern Detection., , и . SANER, стр. 207-217. IEEE, (2019)Consistent merging of model versions., , , , и . J. Syst. Softw., (2016)Co-evolution of metamodels and models through consistent change propagation., , , и . J. Syst. Softw., (2016)