WorldCat Identities

Jones, C. B.

Overview
Works: 124 works in 272 publications in 3 languages and 2,722 library holdings
Genres: History  Sources  Criticism, interpretation, etc  Conference papers and proceedings  Specifications 
Roles: Author, Editor
Classifications: QA76.7, 001.6424
Publication Timeline
.
Most widely held works about C. B Jones
 
Most widely held works by C. B Jones
Radical sensibility : literature and ideas in the 1790s by C. B Jones( Book )

14 editions published between 1993 and 2016 in English and held by 326 WorldCat member libraries worldwide

Programming languages and their definition by H Bekič( Book )

23 editions published between 1984 and 1985 in 4 languages and held by 322 WorldCat member libraries worldwide

The Vienna development method : the Meta-language by D Bjørner( Book )

18 editions published between 1978 and 2007 in 3 languages and held by 308 WorldCat member libraries worldwide

The Victorian sages; an anthology of prose by Alan W Bellringer( Book )

6 editions published between 1974 and 1975 in English and held by 296 WorldCat member libraries worldwide

The Romantic age in prose : an anthology( Book )

6 editions published between 1980 and 1986 in English and held by 176 WorldCat member libraries worldwide

The cold war by C. B Jones( Book )

5 editions published in 2004 in English and held by 155 WorldCat member libraries worldwide

Mural : a formal development support system by C. B Jones( Book )

7 editions published in 1991 in English and Undetermined and held by 109 WorldCat member libraries worldwide

Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented. The complexity and time-consuming nature of such proofs have limited the applications of formal methods in the main to defence and safety-critical applications. The mural project (a joint Alvey-funded project between Manchester University and Rutherford Appleton Laboratories) has developed a software support system to help the user of formal methods. mural has created a user-friendly software environment (with extensive use of windows) that makes best use of human talents to produce computer systems that are proved to be correctly designed. Professor Cliff Jones is internationally known as the developer of the VDM system of formal notation (Vienna Development Method). This book describes the requirements, concepts, and realisation of the mural system. The authors present systematically and completely the results of this substantial research project, from the basic theoretical level to its effective implementation. The book will be of equal interest to academics working on formal methods at research level (and perhaps to graduate research students), and to practitioners and software engineers who are using - or who will have to use for defence contracts, etc. - formal methods
Twentieth century USA by C. B Jones( Book )

2 editions published in 2005 in English and held by 109 WorldCat member libraries worldwide

Do you want to know about this powerful nation? Are you interested in the intriguing characters involved? Would you like to explore this superpower's development?
Programming concepts and methods : proceedings of the IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990 by IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods( Book )

4 editions published in 1990 in English and held by 72 WorldCat member libraries worldwide

Understand the Cold War by C. B Jones( Book )

6 editions published in 2010 in English and held by 55 WorldCat member libraries worldwide

This book will help you understand how the superpowers grew and vied for dominance, and how the balance was lost
The Victorian age in prose( Book )

4 editions published in 1988 in English and held by 50 WorldCat member libraries worldwide

Assignment file by C. B Jones( Book )

3 editions published in 1991 in English and held by 14 WorldCat member libraries worldwide

"Dependability" : proceedings of the University of Newcastle seminar held at the University of Newcastle 3rd - 7th September 2001 by Newcastle Seminar( Book )

3 editions published in 2001 in English and held by 11 WorldCat member libraries worldwide

Development of high-power modulators with low-voltage components by C. B Jones( Book )

4 editions published in 1955 in English and held by 7 WorldCat member libraries worldwide

Teaching notes for Systematic software development using VDM by C. B Jones( Book )

7 editions published between 1986 and 1987 in English and held by 7 WorldCat member libraries worldwide

Development methods for computer programs including a notion of interference by C. B Jones( Book )

6 editions published between 1981 and 1982 in English and held by 7 WorldCat member libraries worldwide

Through students' eyes( Visual )

2 editions published in 1997 in English and held by 6 WorldCat member libraries worldwide

Designed to help undergraduate students make effective transitions to university life
Specifications are not (necessarily) executable by Ian Hayes( Book )

5 editions published between 1989 and 1990 in English and held by 6 WorldCat member libraries worldwide

Abstract: "Specifications can be written in languages which have formal semantics. Their very formality, and the similarities with some aspects of implementation languages, invites the idea that specifications might be executed. This paper presents a number of arguments against that idea. The aim is to warn of the dangers of limiting specification languages to the point where all of their constructs can be executed. While conceding the difficulties of relating specification to an understanding of the r̀equirements' for a system, it is argued that other solutions should be sought than èxecutable specification languages'."
Interference resumed by C. B Jones( Book )

4 editions published in 1991 in English and held by 5 WorldCat member libraries worldwide

Abstract: "Compositional development methods for concurrent (interfering) programs are harder to find than for sequential (isolated) programs. Rely and guarantee conditions extended operation decomposition methods for sequential programs to cover concurrent shared-variable systems: interference was specified in order to achieve compositionality. Ketil Stølen's thesis addresses shortcomings of the the rely/guarantee idea: synchronization is specified by a wait-condition and expressiveness is increased by judicious use of auxiliary variables. This paper describes a new step in the quest for compositional development methods for concurrent programs
Process-algebraic foundations for an object-based design notation by C. B Jones( Book )

2 editions published between 1993 and 1994 in English and held by 5 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.61 (from 0.27 for Understand ... to 0.99 for C.B. Jones ...)

Programming languages and their definition
Alternative Names
Jones, C. B. 1944-

Jones, Chris

Jones, Chris 1944-

Jones, Chris B.

Jones, Christopher Bertram

Jones, Christopher Bertram 1944-

Languages
English (124)

German (3)

Italian (1)

Covers
The Vienna development method : the Meta-languageThe Romantic age in prose : an anthologyThe cold warTwentieth century USAUnderstand the Cold War