Charles T. Cook

According to our database1, Charles T. Cook authored at least 7 papers between 2012 and 2015.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Experience report: evolution of a web-integrated software development and verification environment.
Softw. Pract. Exp., 2015

2014
A web-integrated verifying compiler for RESOLVE: a research perspective.
Proceedings of the 7th India Software Engineering Conference, Chennai, 2014

2013

Specification and reasoning in SE projects using a Web IDE.
Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013

Monitoring Sensor Measurement Anomalies of Streaming Environmental Data Using a Local Correlation Score.
Proceedings of the Fourth International Conference on Computing for Geospatial Research and Application, 2013

2012
A systematic approach to teaching abstraction and mathematical modeling.
Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Specification engineering and modular verification using a web-integrated verifying compiler.
Proceedings of the 34th International Conference on Software Engineering, 2012


  Loading...