6 Publications
2007
A correlation framework for the CORBA component model
Jung, Georg and Hatcliff, John
International Journal on Software Tools for Technology Transfer, vol. 9, (no. 5-6), pp. 417-427, Oct 2007. | Journal Article
 
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures
Jung, Georg and Hatcliff, John
Generative Programming And Component Engineering: Proceedings of the 6th international conference on Generative programming and component engineering; 01-03 Oct. 2007. 2007. | Conference Proceeding
2006
CALM and Cadena: metamodeling for component-based product-line development
Childs, A.⋅Greenwald, J.⋅Jung, Georg⋅Hoosier, M. and Hatcliff, J.
Computer, vol. 39, (no. 2), pp. 42-50, 2006. | Journal Article
2003
Cadena:an integrated development, analysis, and verification environment for component-based systems
Hatcliff, John⋅Deng, Xinghua⋅Dwyer, Matthew B⋅Jung, Georg and Ranganath, Venkatesh P
International Conference on Software Engineering: Proceedings of the 25th International Conference on Software Engineering : Portland, Oregon; 03-10 May 2003. 2003. | Conference Proceeding
 
Slicing and partial evaluation of CORBA component model designs for avionics system
Hatcliff, John⋅Hatcliff, John⋅Deng, William⋅Deng, William⋅Dwyer, Matthew B.⋅Dwyer, Matthew B⋅Jung, Georg⋅Jung, Georg⋅Ranganath, Venkatesh⋅Ranganath, Venkatesh Prasad and Robby, Robby
ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation: Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation : San Diego, California, USA; 07-07 June 2003. 2003. | Conference Proceeding
 
Slicing and partial evaluation of CORBA component model designs for avionics system
Hatcliff, John⋅Hatcliff, John⋅Deng, William⋅Deng, William⋅Dwyer, Matthew B⋅Dwyer, Matthew B⋅Jung, Georg⋅Jung, Georg⋅Ranganath, Venkatesh⋅Ranganath, Venkatesh⋅Robby, Robby and Robby, Robby
ACM SIGPLAN Notices, vol. 38, (no. 10), pp. 1-2, 2003. | Journal Article