Anne-Louise Radimsky

According to our database, Anne-Louise Radimsky authored at least 2 papers between 2000 and 2011.

Collaborative distances:

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

2011

FOZCIL: A framework for converting formal specifications in Object-Z to design contracts in OO programming languages.

Nixon Sunny George, Cui Zhang, Anne-Louise Radimsky

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2011

2000

Experiences in starting computer engineering programs (panel session).

Daniel D. McCracken, Manuel A. Pérez-Quiñones, Robert Bryant, Frederick N. Springsteel, Anne-Louise Radimsky

Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education, 2000