( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Category-theoretic Approach to Syntactic Software Merging.

, , и . ICSM, стр. 197-206. IEEE Computer Society, (2005)

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.

Steve Völler

Steve Tonah

Steve Pasek

Steve Blechschmidt

Steve Hentges

 

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

Data structures for symbolic multi-valued model-checking., , , , и . Formal Methods Syst. Des., 29 (3): 295-344 (2006)Concept analysis for product line requirements., и . AOSD, стр. 137-148. ACM, (2009)PMI: Knowledge Eliciation and De Bono's Thinking Tools., и . EKAW, том 599 из Lecture Notes in Computer Science, стр. 264-282. Springer, (1992)On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study., и . MSVVEIS, стр. 115-117. INSTICC Press, (2005)Research Issues in the Study of Computer Supported Collaborative Writing, , , , , и . Computer Supported Collaborative Writing, Springer, London, (1993)Augmenting flow diagrams created by end-user programs., и . VL/HCC, стр. 175-178. IEEE, (2012)Software research and climate change., , , и . CASCON, стр. 362-363. ACM, (2009)Inflo: collaborative reasoning via open calculation graphs., и . CSCW, стр. 1199-1202. ACM, (2012)Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach., и . ASE, стр. 12-21. IEEE Computer Society, (2003)Independent validation of specifications: a coordination headache., и . WETICE, стр. 232-237. IEEE Computer Society, (1996)