D. Bjrner, C. B. Jones, M. Mac an Airchinnigh, and E. J. Neuhold, editors. VDM'87 -- A Formal Definition at Work, volume 252 of Lecture Notes in Computer Science. Springer-Verlag, 1987. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Select Z Bibliography - Bowen (1993) (Correct)
....by Jonathan Bowen and John Nicholls, in the Springer Verlag Workshops in Computing series. Further copies of this Technical Report may be obtained from the Librarian, Oxford University Computing Laboratory, Programming Research Group, 11 Keble Road, Oxford OX1 3QD, England (Telephone: 44 865 273837, Email: library comlab.ox.ac.uk) Funded by the UK SERC under the Information Engineering Directorate SAFEMOS project (IED3 1 1036) Introduction This list of references is maintained in electronic form, in bibliography database format, which is compatible with the widely used L E ....
D. Bjrner, C.A.R. Hoare, and H. Langmaack, editors. VDM and Z -- Formal Methods in Software Development,volume 428 of LectureNotes in Computer Science. VDM-Europe, Springer-Verlag, 1990.
Probability Density Functions in Program Analysis - Mason (Correct)
....division, there is a chance of a failure) and partly because the values of variables usually determine the frequency of execution of various parts of the program. The simplest determination of the values that a variable could have is the type of a variable. This is extended in languages like Ada[1] to include subranges. This can, in some circumstances rule out certain failures, but for others, says nothing about their likelihood. The next level of determination of the values uses a symbolic or abstract interpretation of the program to determine the set or range of values that a variable ....
D. Bjrner and O.Oest, editors. Towards a Formal Description of Ada, volume 98 of Lecture Notes in Computer Science. Springer-Verlag, 1980.
A Tutorial on Action Semantics - Notes for FME'94 - Mosses (1994) (Correct)
....in action semantics was directly inspired by that in Meta IV, although our trap combinator is a bit simpler than Meta IV s. Meta IV, like denotational semantics, suffers from notational sensitivity to the structure of data types. To quote a bit of advice from one of the originators of Meta IV [4]: before embarking on the : semantic] function definitions, make sure to get the underlying Domains straightened out first. Failure to do so : usually proves disastrous ultimately requiring the complete rewrite of masses of formulae. It might appear that Meta IV ....
D. Bjrner and O. N. Oest, editors. Towards a Formal Description of Ada, volume 98 of Lecture Notes in Computer Science. Springer-Verlag, 1980.
Formal Perspectives on an Object-Based Modelling Language - Bicarregui, Matthews (1996) (Correct)
....and subtyping, although it does not have full inheritance of methods. In order to formalise and explore the semantics of EXPRESS, we describe the construction of a model of EXPRESS using the Vienna Development Method (VDM) 16] VDM is a mature notation for the definition of formal languages (e.g. [1, 3, 4, 5, 7, 23]) which is undergoing standardisation by ISO[16] A description of VDM can be found in [18] 1 Several support tools for VDM are available: the present work was undertaken using the IFAD VDM SL Toolbox [17] The work is being undertaken as part of the European ESPRIT project TORUS 1 . 1.1 ....
O.Oest (eds.) D. Bjrner. Towards a Formal Description of Ada, volume 98 of Lecture Notes in Computer Science. Springer-Verlag, 1980.
The Early Search for Tractable Ways of Reasoning About Programs - Jones (2003) Self-citation (Jones) (Correct)
No context found.
D. Bjrner, C. B. Jones, M. Mac an Airchinnigh, and E. J. Neuhold, editors. VDM'87 -- A Formal Definition at Work, volume 252 of Lecture Notes in Computer Science. Springer-Verlag, 1987.
Main Publications - Jones (2000) Self-citation (Bjrner Jones Vdm Definition) (Correct)
....North Holland, 1986. 47] C. B. Jones. Specifications and programs. In Wsp ol Czesne Kierunki Rozwoju Informtyki, pages 33 48, 1986. 48] C. B. Jones. Specyfikacje a programy (I, II) Informatyka, 10, 11:1 4, 2 6, 1987. 49] C. B. Jones. VDM proof obligations and their justification. In [11], pages 260 286. Springer Verlag, 1987. 50] C. B. Jones. Program specification and verification in VDM. In M. Broy, editor, Logic of Programming and Calculi of Discrete Design, volume 36 of NATO ASI Series F: Computer and Systems Sciences, pages 149 184. Springer Verlag, 1987. 51] C. B. ....
....meta language: A reference manual. In D. Bjrner and C. B. Jones, editors, The Vienna Development Method: The Meta Language, volume 61 of Lecture Notes in Computer Science, pages 218 277. Springer Verlag, 1978. 2 Main Publications: Cliff B Jones Books [1] 10] Conference proceedings (books) [11] [15] Articles [16] 148] Conference talks (where no cited publication available) 86] 105] Technical reports (where not copies of articles) 106] 147] ....
D. Bjrner, C. B. Jones, M. Mac an Airchinnigh, and E. J. Neuhold, editors. VDM -- A Formal Definition at Work, volume 252 of Lecture Notes in Computer Science. Springer-Verlag, 1987. 1
Select Z Bibliography - Bowen (1992) (Correct)
No context found.
Dines Bjrner, C.A.R. Hoare, and Hans Langmaack, editors. VDM and Z --Formal Methods in Software Development,volume 428 of Lecture Notes in Computer Science. VDM-Europe, Springer-Verlag, 1990.
An Assertional Verification Method for Z Specifications of.. - Evans (1996) (Correct)
No context found.
D. Bjrner, C. A. R. Hoare, and H. Langmaack, editors. VDM and Z -- Formal Methods in Software Development, volume 428 of Lecture Notes in Computer Science. VDM-Europe, Springer-Verlag, 1990.
A Case Study in Specifying, Verifying and Refining a Parallel.. - Evans (Correct)
No context found.
D. Bjrner, C. A. R. Hoare, and H. Langmaack, editors. VDM and Z -- Formal Methods in Software Development, volume 428 of Lecture Notes in Computer Science. VDM-Europe, Springer-Verlag, 1990.
An Algebraic Semantics for Message Sequence Chart Documents - Gehrke, Huhn, Rensink.. (1998) (Correct)
No context found.
B. Jonsson and J. Parrow, eds., Concur '94: Concurrency Theory, volume 836 of Lecture Notes in Computer Science. Springer-Verlag, 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC