Cindy Kong

According to our database, Cindy Kong authored at least 9 papers between 2000 and 2003.

Collaborative distances:

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

2003

Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language.

Cindy Kong, Perry Alexander, Catherine Menon

J. Univers. Comput. Sci., 2003

The Rosetta Meta-Model Framework.

Cindy Kong, Perry Alexander

Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003

2002

Multi-Faceted Requirements Modeling.

Cindy Kong, Perry Alexander

Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 2002

2001

Rosetta: Semantic Support for Model-Centered Systems-Level Design.

Perry Alexander, Cindy Kong

Computer, 2001

Implementation of Specification Conjunction and Domain Interaction in Rosetta.

Cindy Kong

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Heterogeneous Modeling Support for Embedded Systems Design.

Perry Alexander, Cindy Kong

Proceedings of the Embedded Software, First International Workshop, 2001

A Practical Semantics for Design Facet Interaction.

Perry Alexander, Cindy Kong, David Schonberger

Proceedings of the 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 2001

2000

Formal modeling of active network nodes using PVS.

Cindy Kong, Perry Alexander, Darryl D. Dieckman

Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000

On the Design of ORBIT.

Murali Rangarajan, Iqbal Mutabanna, Darryl D. Dieckman, Badar Farooqi, Amitvikram Rajkhowa, Sarjoun Doumit, Arun Venkataraman, Cindy Kong, Roshan Kamath, Perry Alexander, Nael B. Abu-Ghazaleh

Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000