Joseph C. Okika

According to our database, Joseph C. Okika authored at least 4 papers between 2006 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2009

On the Specification of Full Contracts.

Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider

Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009

2008

Classification of SOA Contract Specification Languages.

Joseph C. Okika, Anders P. Ravn

Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

2007

Modelling with Relational Calculus of Object and Component Systems - rCOS.

Zhenbang Chen, Abdelhakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu, Yang Liu, Qu Nan, Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang, Naijun Zhan

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2006

Developing a TTCN-3 Test Harness for Legacy Software.

Joseph C. Okika, Anders P. Ravn, Zhiming Liu, Lokesh Siddalingaiah

Proceedings of the 2006 International Workshop on Automation of Software Test, 2006