Model-based Software Engineering: Publications

[1]	Automatic Maintenance of Association Invariants James Welch, David Faitelson and Jim Davies Software and Systems Modeling, 2008. Details \| BibTeX \| DOI (10.1007/s10270-008-0085-0)

[2]	A Singleton Failures Semantics for Communicating Sequential Processes Christie Bolton, Jim Davies Formal Aspects of Computing, Vol. 18, No. 2, pages 181-210. 2006. Details \| BibTeX

[3]	On the Generation of Object Databases using Booster Jim Davies et al. In Proceedings of the 11th IEEE Conference on the Engineering of Complex Computer Systems (ICECCS 2006) IEEE Computer Society, 2006. Details \| BibTeX \| DOI (10.1109/ICECCS.2006.1690374)

[4]	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 \| BibTeX

[5]	Formality, Evolution, and Model-driven Software Engineering Jim Davies et al. Electronic Notes in Theoretical Computer Science, Vol. 130, pages 39-55. 2005. Details \| BibTeX \| DOI (10.1016/j.entcs.2005.03.004)

[6]	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 \| BibTeX

[7]	Concurrency and Refinement in the Unified Modeling Language Jim Davies, Charles Crichton Formal Aspects of Computing, Vol. 15, No. 2-3, pages 118-145. 2003. Details \| BibTeX \| DOI (10.1007/s00165-003-0008-3)

[8]

Using State Diagrams to Describe Concurrent Behaviour

Jim Davies, Charles Crichton

In Jin Song Dong, Jim Woodcock, editors, 5th International Conference on Formal Engineering Methods, ICFEM 2003 Vol. 2885/2003, pages 105-124. Springer Berlin / Heidelberg, 2003.

Details | BibTeX | DOI (10.1007/b94115)

[9]	Concurrency and Refinement in the Unified Modeling Language Jim Davies, Charles Crichton Electronic Notes in Theoretical Computer Science, Vol. 70, No. 3, pages 217-243. 2002. Details \| BibTeX \| DOI (10.1016/S1571-0661(05)80494-3)

[10]	A comparison of refinement orderings and their associated simulation rules Christie Bolton, Jim Davies Electronic Notes in Theoretical Computer Science, Vol. 70, No. 3, 2002. Details \| BibTeX \| Link

[11]	Refinement in Object-Z and CSP Christie Bolton, Jim Davies pages 225-244. 2002. Details \| BibTeX \| Link

[12]	Using Relational and Behavioural Semantics in the Verification of Object Models Christie Bolton, Jim Davies pages 163-182. 2000. Details \| BibTeX

[13]

Activity Graphs and Processes

Christie Bolton, Jim Davies

In Wolfgang Grieskamp, Thomas Santen and Bill Stoddart, editors, Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings Vol. 1945 of Lecture Notes in Computer Science, pages 77-96. Springer, 2000.

Details | BibTeX | Link

[14]	Abstract data types and Processes J. Woodcock, J. Davies and C. Bolton 2000. Details \| BibTeX

[15]	On the Refinement and Simulation of Data Types and Processes Christie Bolton, Jim Davies and Jim Woodcock pages 273-292. 1999. Details \| BibTeX