Correctness for beginners (English)
National licence
- New search for: Naftalin, Maurice
- New search for: Naftalin, Maurice
In:
VDM '88 VDM — The Way Ahead
;
26-47
;
1988
- Article/Chapter (Book) / Electronic Resource
-
Title:Correctness for beginners
-
Contributors:Naftalin, Maurice ( author )
-
Published in:VDM '88 VDM — The Way Ahead ; 26-47Lecture Notes in Computer Science ; 328 ; 26-47
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:1988-01-01
-
Size:22 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Computing is a physical scienceGood, Donald I. et al. | 1988
- 2
-
Structuring for the VDM specification languageBear, Stephen et al. | 1988
- 26
-
Correctness for beginnersNaftalin, Maurice et al. | 1988
- 48
-
Understanding an informal description: Office documents architecture, an ISO standardBorzyszkowski, Andrzej / Sokolowski, Stefan et al. | 1988
- 64
-
Towards a formal definition of GKS and other graphics standardsRuggles, Clive et al. | 1988
- 74
-
Report from the BSI panel for the standardisation of VDM (IST/5/50)Andrews, D. et al. | 1988
- 79
-
Formal methods in standards—A report from the BCS working groupRuggles, Clive et al. | 1988
- 86
-
The B tool (Abstract)Abrial, J. R. et al. | 1988
- 88
-
Specification of an operating system kernel forest and VDM comparedGoldsack, S. J. et al. | 1988
- 101
-
Compiler prototyping with VDM and standard MLArthan, R. D. et al. | 1988
- 116
-
VDM development with Ada as the target languageO'Neill, David et al. | 1988
- 124
-
NUSL: An executable specification language based on data abstractionJiang, XinJie / Xu, YongSen et al. | 1988
- 139
-
A support system for formal reasoning: Requirements and statusJones, C. B. / Lindsay, P. A. et al. | 1988
- 153
-
The use of VDM within the Alvey Flagship projectBoddy, Graham et al. | 1988
- 167
-
The formal definition of modula-2 and its associated interpreterAndrews, D. J. / Garg, A. / Lau, S. P. A. / Pitchers, J. R. et al. | 1988
- 178
-
Test case selection using VDMScullard, G. T. et al. | 1988
- 187
-
The VIP VDM Specification LanguageMiddelburg, Kees et al. | 1988
- 202
-
Sample — A functional languageJäger, M. / Gloger, M. / Kaes, S. et al. | 1988
- 218
-
A three-valued logic for software specification and validationKonikowska, Beata / Tarlecki, Andrzej / Blikle, Andrzej et al. | 1988
- 243
-
Three-valued predicates for software specification and validationBlikle, Andrzej et al. | 1988
- 267
-
A set-theoretic model for a typed polymorphic lambda calculus a contribution to MetaSoftBorzyszkowski, Andrzej / Kubiak, Ryszard / Sokołowski, Stefan et al. | 1988
- 299
-
Mutually recursive algebraic domain equationsHaxthausen, Anne Elisabeth et al. | 1988
- 318
-
Proof rules for VDM statementsMilne, Robert et al. | 1988
- 337
-
Muffin: A user interface design experiment for a Theorem Proving AssistantJones, Cliff B. / Moore, Richard et al. | 1988
- 376
-
The RAISE language, method and toolsNielsen, Mogens / Havelund, Klaus / Wagner, Kim Ritter / George, Chris et al. | 1988
- 406
-
Correctness proofs for META IV written code generator specifications using term rewritingBettina / Buth, Karl-Heinz et al. | 1988
- 434
-
Using VDM with rely and guarantee-conditionsWoodcock, J. C. P. / Dickinson, B. et al. | 1988
- 459
-
Software support for the refinement of VDM specificationsKilpatrick, P. / McParland, P. et al. | 1988
- 476
-
The use of VDM in the specification of Chinese charactersTeo, Ghee S. / Mac an Airchinnigh, Mícheál et al. | 1988