Jackie Wang : Publications
Journal papers
-
[1]
Formal model−driven engineering of critical information systems
Jim Davies‚ David Milward‚ Chen−Wei Wang and James Welch
In Science of Computer Programming. Vol. 103. Pages 88 − 113. 2015.
Details about Formal model−driven engineering of critical information systems | BibTeX data for Formal model−driven engineering of critical information systems | DOI (10.1016/j.scico.2014.11.004)
Conference papers
-
[1]
Formal and Model−Based Testing of Concurrent Workflows
Chen−Wei Wang‚ Alessandra Cavarra and Jim Davies
2011.
Details about Formal and Model−Based Testing of Concurrent Workflows | BibTeX data for Formal and Model−Based Testing of Concurrent Workflows
-
[2]
A Guarded Workflow Language and Its Formal Semantics
Chen−Wei Wang‚ Jim Davies and James Welch
Pages 25−34. Los Alamitos‚ CA‚ USA. 2010. IEEE Computer Society.
Details about A Guarded Workflow Language and Its Formal Semantics | BibTeX data for A Guarded Workflow Language and Its Formal Semantics | DOI (10.1109/TASE.2010.21)
-
[3]
Checking Model Consistency using Data−Flow Testing
Chen−Wei Wang and Alessandra Cavarra
In Proceedings of APSEC'09: 16th Asia−Pacific Software Engineering Conference. IEEE. 2009.
Details about Checking Model Consistency using Data−Flow Testing | BibTeX data for Checking Model Consistency using Data−Flow Testing
-
[4]
Automated Model−based Verification of Object−Oriented Code
J. S. Ostroff‚ C. Wang‚ E. Kerfoot and F. A. Torshizi
In Verified Software: Theories‚ Tools‚ Experiments (VSTTE Workshop‚ Floc 2006). Microsoft Research MSR−TR−2006−117. 2006.
Details about Automated Model−based Verification of Object−Oriented Code | BibTeX data for Automated Model−based Verification of Object−Oriented Code | Download (pdf) of Automated Model−based Verification of Object−Oriented Code
-
[5]
Automated Model−Based Verification of Object−Oriented Code
Jonathan Ostroff‚ Chen−wei Wang‚ Eric Kerfoot and Faraz A. Torshizi
In Workshop on Verified Software: Theory‚ Tools‚ and Experiments (VSTTE). 2006.
Details about Automated Model−Based Verification of Object−Oriented Code | BibTeX data for Automated Model−Based Verification of Object−Oriented Code
-
[6]
ES−Verify: A Tool for Automated Model−based Verification of Object−Oriented Code
Jonathan Ostroff‚ Chen−wei Wang‚ Eric Kerfoot and Faraz A. Torshizi
In Formal Methods 2006.
Poster
Details about ES−Verify: A Tool for Automated Model−based Verification of Object−Oriented Code | BibTeX data for ES−Verify: A Tool for Automated Model−based Verification of Object−Oriented Code
Theses
-
[1]
Model−Driven Development of Information Systems
Chen−Wei Wang
PhD Thesis 2012.
Details about Model−Driven Development of Information Systems | BibTeX data for Model−Driven Development of Information Systems