James Welch : Publications
-
[1]
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)
-
[2]
Automatic Maintenance of Association Invariants
James Welch‚ David Faitelson and Jim Davies
In Software and Systems Modeling. 2008.
Details about Automatic Maintenance of Association Invariants | BibTeX data for Automatic Maintenance of Association Invariants | DOI (10.1007/s10270-008-0085-0)
-
[3]
Automatic Maintenance of Association Invariants
James Welch‚ David Faitelson and Jim Davies
In Proceedings of Software Engineering and Formal Methods (SEFM) 2005. IEEE Computer Society Press. 2005.
Details about Automatic Maintenance of Association Invariants | BibTeX data for Automatic Maintenance of Association Invariants
-
[4]
Behavioural Specifications from Class Models
A. Cavarra and J. Welch
In Proceedings of the 6th International Conference of Integrated Formal Methods (IFM 2007). Pages 118−137. Springer Berlin / Heidelberg. 2007.
Details about Behavioural Specifications from Class Models | BibTeX data for Behavioural Specifications from Class Models | DOI (10.1007/978-3-540-73210-5_7)
-
[5]
Compositionality and Refinement in Model−Driven Engineering
Jim Davies‚ Jeremy Gibbons‚ David Milward and James Welch
In Rohit Gheyi and David A. Naumann, editors, Formal Methods: Foundations and Applications − 15th Brazilian Symposium‚ SBMF 2012. Proceedings. Vol. 7498 of Lecture Notes in Computer Science. Pages 99−114. Springer. 2012.
Details about Compositionality and Refinement in Model−Driven Engineering | BibTeX data for Compositionality and Refinement in Model−Driven Engineering | Download (pdf) of Compositionality and Refinement in Model−Driven Engineering | DOI (10.1007/978-3-642-33296-8_9)
-
[6]
Domain−Specific Modelling for Clinical Research
Jim Davies‚ Jeremy Gibbons‚ Adam Milward‚ David Milward‚ Seyyed Shah‚ Monika Solanki and James Welch
In SPLASH Workshop on Domain−Specific Modelling. October, 2015.
Details about Domain−Specific Modelling for Clinical Research | BibTeX data for Domain−Specific Modelling for Clinical Research | DOI (10.1145/2846696.2846701) | Download (pdf) of Domain−Specific Modelling for Clinical Research
-
[7]
Domain−Specific Semantics and Data Refinement of Object Models
Jim Davies‚ David Faitelson and James Welch
In Brazilian Symposium on Formal Methods (SBMF). 2006.
Details about Domain−Specific Semantics and Data Refinement of Object Models | BibTeX data for Domain−Specific Semantics and Data Refinement of Object Models
-
[8]
Domain−specific Semantics and Data Refinement of Object Models
Jim Davies‚ David Faitelson and James Welch
In Electronic Notes in Theoretical Computer Science. Vol. 195. Pages 151–170. 2008.
Details about Domain−specific Semantics and Data Refinement of Object Models | BibTeX data for Domain−specific Semantics and Data Refinement of Object Models | DOI (10.1016/j.entcs.2007.08.031)
-
[9]
Engineering Agile Big−Data Systems
Kevin Feeney‚ Jim Davies‚ James Welch‚ Sebastian Hellmann‚ Christian Dirschl‚ Andreas Koller‚ Pieter Francois and Arkadiusz Marciniak
2018.
Details about Engineering Agile Big−Data Systems | BibTeX data for Engineering Agile Big−Data Systems | Link to Engineering Agile Big−Data Systems
-
[10]
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)
-
[11]
From Predicates to Programs: The Semantics of a Method Language
David Faitelson‚ James Welch and Jim Davies
In Proceedings of SBMF 2005. Vol. 184. Pages 171–187. Electronic Notes in Theoretical Computer Science. 2007.
Details about From Predicates to Programs: The Semantics of a Method Language | BibTeX data for From Predicates to Programs: The Semantics of a Method Language | DOI (10.1016/j.entcs.2007.03.021)
-
[12]
Model−Driven Data Migration
Mohammed A. Aboulsamh‚ Edward Crichton‚ Jim Davies and James Welch
In Advances in Conceptual Modeling − Applications and Challenges‚ ER 2010 Workshops ACM−L‚ CMLSA‚ CMS‚ DE@ER‚ FP−UML‚ SeCoGIS‚ WISM‚ Vancouver‚ BC‚ Canada‚ November 1−4‚ 2010.. Vol. 6413 of Lecture Notes in Computer Science. Pages 285–294. 2010.
Details about Model−Driven Data Migration | BibTeX data for Model−Driven Data Migration | DOI (10.1007/978-3-642-16385-2_35)
-
[13]
Model−driven Engineering of Information Systems: 10 years and 1000 versions
Jim Davies‚ Jeremy Gibbons‚ James Welch and Edward Crichton
In Science of Computer Programming. Vol. 89B. Pages 88−104. September, 2014.
Details about Model−driven Engineering of Information Systems: 10 years and 1000 versions | BibTeX data for Model−driven Engineering of Information Systems: 10 years and 1000 versions | DOI (10.1016/j.scico.2013.02.002)
-
[14]
Models for Forms
Daniel Abler‚ Charles Crichton‚ Jim Davies‚ Steve Harris and James Welch
October, 2011.
Details about Models for Forms | BibTeX data for Models for Forms | Link to Models for Forms
-
[15]
On the Generation of Object Databases using Booster
Jim Davies‚ James Welch‚ Alessandra Cavarra and Edward Crichton
In Proceedings of the 11th IEEE Conference on the Engineering of Complex Computer Systems (ICECCS 2006). IEEE Computer Society. 2006.
Details about On the Generation of Object Databases using Booster | BibTeX data for On the Generation of Object Databases using Booster | DOI (10.1109/ICECCS.2006.1690374)
-
[16]
Positive Imagery−Based Cognitive Bias Modification as a Web−Based Treatment Tool for Depressed Adults
Simon E Blackwell‚ Michael Browning‚ A. Mathews‚ Arnaud Pictet‚ James Welch‚ Jim Davies‚ Peter Watson‚ John R. Geddes and Emily A. Holmes
Vol. 3. No. 1. Pages 91−111. 2015.
Details about Positive Imagery−Based Cognitive Bias Modification as a Web−Based Treatment Tool for Depressed Adults | BibTeX data for Positive Imagery−Based Cognitive Bias Modification as a Web−Based Treatment Tool for Depressed Adults | DOI (10.1177/2167702614560746)
-
[17]
Software Project Management for Combined Software and Data Engineering
Seyyed M. Shah‚ James Welch‚ Jim Davies and Jeremy Gibbons
In Zaigham Mahmood, editor, Software Project Management for Distributed Computing: Life−Cycle Methods for Developing Scalable and Reliable Tools. Pages 367−385. Springer International Publishing. 2017.
Details about Software Project Management for Combined Software and Data Engineering | BibTeX data for Software Project Management for Combined Software and Data Engineering | DOI (10.1007/978-3-319-54325-3_15) | Download (pdf) of Software Project Management for Combined Software and Data Engineering