( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Is Type Checking Practical for System Configuration?

, , и . TAPSOFT, Vol.2, том 352 из Lecture Notes in Computer Science, стр. 257-271. Springer, (1989)

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.

Domingos Paola

Anna-Pia Paolazzi

Paola Traverso

Paola Borri

Paola Nava

 

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

PLASTIC: Providing lightweight & adaptable service technology for pervasive information & communication., , , , , и . ASE Workshops, стр. 65-70. IEEE, (2008)A Comprehensive Setting for Matching and Unification over Iterative Terms., , и . Fundam. Informaticae, 39 (3): 273-304 (1999)Integrity Constraints as Views in Deductice Databases., , и . FMLDO, стр. 133-140. University of Magedeburg, Faculty of Computer Science, (1996)Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework., , и . FASE, том 4422 из Lecture Notes in Computer Science, стр. 57-71. Springer, (2007)Quantitative resource-oriented analysis of Java (Adaptable) applications., и . WOSP, стр. 15-25. ACM, (2007)Deriving performance models of software architectures from message sequence charts., , , и . Workshop on Software and Performance, стр. 47-57. ACM, (2000)A Strategy to Deal with Divergent Rewrite Systems., и . CTRS, том 656 из Lecture Notes in Computer Science, стр. 458-467. Springer, (1992)Modelling Interoperability by CHAM: A Case Study., и . COORDINATION, том 1061 из Lecture Notes in Computer Science, стр. 428-431. Springer, (1996)ESP-MC: An Experiment in the Use of Verification Tools., , и . ASIAN, том 1023 из Lecture Notes in Computer Science, стр. 396-410. Springer, (1995)Introduction to Special Issue on Distributed and Mobile Software Engineering., и . Autom. Softw. Eng., 11 (3): 203-205 (2004)