Author of the publication

Using Parameterised Contracts to Predict Properties of Component Based Software Architectures

, and . Workshop On Component-Based Software Engineering (in association with 9th IEEE Conference and Workshops on Engineering of Computer-Based Systems), Lund, Sweden, 2002, (April 2002)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automatic Component Adaptation by Concurrent State Machine Retrofitting, and . 2000/81. School of Computer Science and Software Engineering, Monash University, Melbourne, Australia, (2000)Goal-Directed Approach for Process Specification and Service Selection in Customer Life Cycle Management., , , , and . ATOP@AAMAS, volume 98 of Lecture Notes in Business Information Processing, page 151-169. Springer, (2010)Digital documents in educational environment (poster session): misuse, appropriation and detection issues., , and . ACSE, volume 8 of ACM International Conference Proceeding Series, page 254-255. ACM, (2000)Architecture-based fault tolerance support for grid applications., , and . QoSA/ISARCS, page 177-182. ACM, (2011)Model Engineering for Distributed O-O Component Testing., and . OOIS, page 407-413. Springer, (2000)Time Petri nets for workflow modelling and analysis., and . SMC, page 3039-3044. IEEE, (2000)Formalising Service-Oriented Design., , , and . J. Softw., 3 (2): 1-14 (2008)Guest Editorial., , , and . J. Syst. Softw., 65 (3): 169-171 (2003)Reliability prediction for component-based software architectures., , and . J. Syst. Softw., 66 (3): 241-252 (2003)Constructing Interoperable Components in Distributed Systems, , and . IEEE Proceedings of TOOLS Pacific '99, Melbourne, page 274--284. IEEE Computer Society Press, (1999)