Specifications are not (necessarily) executable-Reference-Cited by-同舟云学术

Specifications are not (necessarily) executable

Published:1989 Issue:6 Volume:4 Page:330
ISSN:0268-6961
Container-title:Software Engineering Journal
language:en
Short-container-title:Softw. Eng. J. UK

Author:

Hayes I.J.,Jones C.B.

Publisher

Institution of Engineering and Technology (IET)

Subject

General Engineering,General Computer Science

Link

https://digital-library.theiet.org/content/journals/10.1049/sej.1989.0045?crawler=true&mimetype=application/pdf

Reference20 articles.

1. CIP Language Group:‘The Munich Project CIP — Volume I: The Wide Spectrum Language CIP-L',Lect. Notes Comput. Set. (Springer-Verlag, 1985), Vol. 183

2. CIP System Group:“The Munich Project CIP — Volume II: The Program Transformation System CIP-S',Lect. Notes Comput. Set. (Springer-Verlag, 1987), Vol. 292

3. Constable, R.L.: ‘Implementing mathematics with the NuPRL proof development system’, et al. (Prentice-Hall 1986)

4. Kneuper, R.: ‘Symbolic execution as a tool for validation of specifications’, 1989, PhD Thesis, Department of Computer Science, University of Manchester, England

Cited by 105 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Verification Technology for VDM: Craft and Automation;Lecture Notes in Computer Science;2024

2. Specifications are Preferably Amenable to Proof and Animation;Lecture Notes in Computer Science;2024

3. Requirements‐related fault prevention during the transformation from formal specifications to programs;IET Software;2023-05-15

4. Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2023

5. ProB: Harnessing the Power of Prolog to Bring Formal Models and Mathematics to Life;Prolog: The Next 50 Years;2023