2003 - Fellow of the Royal Academy of Engineering (UK)
1995 - ACM Fellow A longstanding originator and promoter of formal and rigorous methods for software design and construction, especially the Vienna Development Method (VDM).
His primary areas of investigation include Programming language, Software engineering, Software, Software construction and Engineering management. His work deals with themes such as Development and Set-builder notation, which intersect with Programming language. His Software engineering research is mostly focused on the topic Formal methods.
His study in the field of Software project management also crosses realms of Risk analysis. His Software construction study integrates concerns from other disciplines, such as Systems engineering and Software development process. His Engineering management research is multidisciplinary, incorporating elements of Best practice, Software peer review and Software quality management, Software quality, Software quality control.
His primary areas of study are Programming language, Software engineering, Formal methods, Artificial intelligence and Concurrency. His Notation research extends to Programming language, which is thematically connected. His studies deal with areas such as Development and Software, Software development, Software development process, Software construction as well as Software engineering.
His study involves Package development process and Vienna Development Method, a branch of Software development. His research on Formal methods also deals with topics like
His scientific interests lie mostly in Software engineering, Programming language, Formal methods, Concurrency and Artificial intelligence. Cliff B. Jones usually deals with Software engineering and limits it to topics linked to Automated theorem proving and Mathematical proof. Cliff B. Jones combines topics linked to Abstraction with his work on Programming language.
His research in Formal methods tackles topics such as Formal specification which are related to areas like Software development process. His study on Concurrency also encompasses disciplines like
Cliff B. Jones focuses on Concurrency, Programming language, Theoretical computer science, Artificial intelligence and Notation. The various areas that Cliff B. Jones examines in his Concurrency study include Refinement calculus, Operational semantics, Rule of inference, Interference and Software. Cliff B. Jones performs integrative study on Programming language and Key issues.
His Theoretical computer science research is multidisciplinary, incorporating elements of Partial function, Determinism and Semantic analysis. Many of his research projects under Artificial intelligence are closely connected to Value with Value, tying the diverse disciplines of science together. He has included themes like Process, Concurrent computing, Expression, Principle of compositionality and Value in his Notation study.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Systematic software development using VDM
C B Jones.
Tentative steps toward a development method for interfering programs
C. B. Jones.
ACM Transactions on Programming Languages and Systems (1983)
Why software fails
Software Development archive (1996)
Software development: A rigorous approach
Cliff B. Jones.
Specification and Design of (Parallel) Programs
Cliff B. Jones.
ifip congress (1983)
Formal Specification and Software Development
D Bjørner;CB Jones.
Prentice Hall International Series in Computer Science (1982)
Applied Software Measurement: Assuring Productivity and Quality
The Vienna Development Method: The Meta-Language
Dines Bjørner;Cliff B. Jones.
Systematic software development using VDM (2nd ed.)
Cliff B. Jones.
Prentice Hall International Series in Computer Science (1990)
Development methods for computer programs including a notion of interference
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: