( en | de | ru )

 

Disambiguation of "Davies, Jim"

Author of the publication

copydeleteadd this publication to your clipboard
Concurrency and Refinement in the Unified Modeling Language

, and . Formal Aspects of Computing, V15 (2): 118--145 (November 2003)
DOI: http://dx.doi.org/10.1007/s00165-003-0008-3

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jim Davies

Jim Wilenius

Andrew Davies

jim halo

Sergio Davies

 

Other publications of authors with the same name

Using Z - specification, refinement, and proof., and . Prentice Hall international series in computer science Prentice Hall, (1996)Towards a denotational semantics for ET-LOTOS., , and . CONCUR, volume 962 of Lecture Notes in Computer Science, page 269-283. Springer, (1995)Software Project Management for Combined Software and Data Engineering, , , and . page 367--385. Springer International Publishing, Cham, (2017)The ALIGNED Project – Aligned, Quality-centric Software and Data Engineering Driven by Semantics, , , , , , , , , and . Project Networking Session at ESWC 2016 THE SEMANTIC WEB. LATEST ADVANCES AND NEW DOMAINS, volume 9678 of LNCS, Springer, (2016)Investigating an Ontology-Informed Approach to Event Log Generation in Healthcare., , , and . ICPM Workshops, volume 503 of Lecture Notes in Business Information Processing, page 235-246. Springer, (2023)Concurrency and Refinement in the Unified Modeling Language, and . Electronic Notes in Theoretical Computer Science, 70 (3): 577--603 (November 2002)Concurrency and Refinement in the Unified Modeling Language, and . Formal Aspects of Computing, V15 (2): 118--145 (November 2003)Using semantic similarity to predict angle and distance of objects in images., , , and . Creativity & Cognition, page 217-222. ACM, (2011)Real-time LOTOS and Timed Observations., , and . FORTE, volume 43 of IFIP Conference Proceedings, page 383-397. Chapman & Hall, (1995)Specification and proof in real-time CSP.. Distinguished dissertations in computer science Cambridge University Press, (1993)