Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Jung, Georg - Department of Computing and Information Sciences, Kansas State University
Cadena: An Integrated Development Environment for Analysis, Synthesis,
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
Slicing and Partial Evaluation of CORBA Component Model Designs for
Model-checking Middleware-based Event-driven Real-time Embedded Software
Explaining CADENA's Type System jung@cis.ksu.edu
A Correlation Framework for the CORBA Component Model
C O V E R F E A T U R E 0018-9162/06/$20.00 2006 IEEE42 Computer Published by the IEEE Computer Society
A Correlation Framework for the CORBA Component Model
Some Examples for the CCM Correlation September 14, 2004
Supporting Model-driven Development of Component-based Embedded Systems with Cadena
