Joseph C. Okika

Publication Activity (10 Years)

Years Active: 2006-2009
Publications (10 Years): 0

Publications

Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider
On the Specification of Full Contracts. Electron. Notes Theor. Comput. Sci. 253 (1) (2009)
Joseph C. Okika, Anders P. Ravn
Classification of SOA Contract Specification Languages. ICWS (2008)
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
Modelling with Relational Calculus of Object and Component Systems - rCOS. CoCoME (2007)
Joseph C. Okika, Anders P. Ravn, Zhiming Liu, Lokesh Siddalingaiah
Developing a TTCN-3 Test Harness for Legacy Software. AST (2006)