( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Exogenous Connectors for Software Components.

, , и . CBSE, том 3489 из Lecture Notes in Computer Science, стр. 90-106. Springer, (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.

Zigmas Kungys

Hans Kungl

Angela Brigitte Kung

Martin Kiuntke

Bernd Kiupel

 

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

On the Relationship between Logic Programs and Specifications., и . APPIA-GULP-PRODE, стр. 433-444. (1997)On Correct Program Schemas, , и . Logic Program Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Proceedings, том 1463 из LNCS, стр. 128--147. Springer-Verlag, (1998)Formal Reasoning about Modules, Reuse and their Correctness., , и . FAPR, том 1085 из Lecture Notes in Computer Science, стр. 384-398. Springer, (1996)OOD Frameworks in Component-Based Software - Development in Computational Logic., и . LOPSTR, том 1559 из Lecture Notes in Computer Science, стр. 101-123. Springer, (1998)Correct OO Systems in Computational Logic., и . LOPSTR, том 3018 из Lecture Notes in Computer Science, стр. 34-53. Springer, (2003)Towards Correct Object-Oriented Design Frameworks in Computational Logic., и . LOPSTR, том 2664 из Lecture Notes in Computer Science, стр. 260-261. Springer, (2002)Constructive Specifications for Compositional Units., , и . LOPSTR, том 3573 из Lecture Notes in Computer Science, стр. 198-214. Springer, (2004)Software component models.. ICSE, стр. 1081-1082. ACM, (2006)Automatic Control Flow Generation from Software Architectures., и . SC@ETAPS, том 4089 из Lecture Notes in Computer Science, стр. 323-338. Springer, (2006)Towards an introductory formal programming course., , и . SIGCSE, стр. 121-125. ACM, (1994)