Editorial

By the same authors

A Calculus of Space, Time, and Causality: its Algebra, Geometry, Logic
Hoare, T., Struth, G. & Woodcock, J. C. P., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & A. S. (eds.). Lecture Notes in Computer Science, Vol. 11885.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Probabilistic Semantics for RoboChart A Weakest Completion Approach
Woodcock, JAMES. C. P., Cavalcanti, A. L. C., Foster, S. D. & Mota, A., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & Sampaio, A. (eds.). Lecture Notes in Computer Science, Vol. 11885.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
New Opportunities for Integrated Formal Methods
Gleirscher, M., Foster, S. & Woodcock, J., 23 Oct 2019
Article in ACM Computing Surveys
Unifying Theories of Reactive Design Contracts
Foster, S. D., Cavalcanti, A. L. C., Canham, S. J., Woodcock, JAMES. C. P. & Zeyda, F., 16 Sep 2019
Article in Theoretical Computer Science
Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP
Ye, K., Foster, S. D. & Woodcock, JAMES. C. P., 30 May 2019, From Astrophysics to Unconventional Computation. Springer, p. 215-254 40 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter

From the same journal

Modelling Timed Reactive Systems from Natural-Language Requirements
Carvalho, G., Cavalcanti, A. L. C. & Sampaio, A. C. A., 26 Jul 2016
Article in Formal Aspects of Computing
Model checking CML: tool development and industrial applications
Woodcock, J. C. P., Mota, A., Farias, A. & Larsen, P. G., Nov 2015
Article in Formal Aspects of Computing
Laws of mission-based programming
Cavalcanti, A. L. C. & Zeyda, F., Jan 2015
Article in Formal Aspects of Computing
Using formal reasoning on a model of tasks for FreeRTOS
Woodcock, J. C. P., Cheng, S. & D'Souza, D., 2015
Article in Formal Aspects of Computing

From the same journal

Formal Aspects of Computing (Journal)
Jim Woodcock (Editor)
2014
Activity: Publication peer-review and editorial work › Journal or guest editorship
Formal Aspects of Computing (Journal)
Ana Lucia Caneca Cavalcanti (Guest editor)
Nov 2009 → Sep 2011
Activity: Publication peer-review and editorial work › Journal or guest editorship
Formal Aspects of Computing (Journal)
Ana Lucia Caneca Cavalcanti (Guest editor)
Nov 2006 → Jul 2009
Activity: Publication peer-review and editorial work › Journal or guest editorship