( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Software architecture-based analysis and testing: a look into achievements and future challenges.

, , и . Computing, 95 (8): 633-648 (2013)

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.

Anna-Pia Paolazzi

Domingos Paola

Paola Belloni

Paola Bozzi

Paola Traverso

 

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

Modelling Interoperability by CHAM: A Case Study., и . COORDINATION, том 1061 из Lecture Notes in Computer Science, стр. 428-431. Springer, (1996)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)Graphical Scenarios for Specifying Temporal Properties : an Automated Approach, , и . Automated Software Engineering, (2007)A Rewriting Strategy to Verify Observational Congruence., и . Inf. Process. Lett., 35 (4): 191-199 (1990)A compositional synthesis of failure-free connectors for correct components assembly, и . Proceedings of the 6th ICSE Workshop on Component-Based Software Engineering, (2003)Introduction to Special Issue on Distributed and Mobile Software Engineering., и . Autom. Softw. Eng., 11 (3): 203-205 (2004)Integrity Constraints as Views in Deductice Databases., , и . FMLDO, стр. 133-140. University of Magedeburg, Faculty of Computer Science, (1996)Quantitative resource-oriented analysis of Java (Adaptable) applications., и . WOSP, стр. 15-25. ACM, (2007)ESP-MC: An Experiment in the Use of Verification Tools., , и . ASIAN, том 1023 из Lecture Notes in Computer Science, стр. 396-410. Springer, (1995)