Justification of formal methods for system specification-Reference-Cited by-同舟云学术

Justification of formal methods for system specification

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

Author:

Cohen 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.0004?crawler=true&mimetype=application/pdf

Reference17 articles.

1. Dijkstra, E.W.: ‘Why correctness must be a mathematical concern’, Boyer, R.S., Moore, J.S, (Academic PressThe correct-ness problem in computer science, 1981)

2. Hofstadter, D.R.: (Basic BooksGoder, Escher, Bach, 1979)

3. Jones, C.B.: (Prentice-HallSoftware development: A rigorous approach, 1980)

4. Sufrin, B.: (PRG Monograph 21, Oxford University PressFormal specification of a display editor, 1981)

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

1. Extending SOA with Semantic Mediators;Lecture Notes in Computer Science;2009

2. On the Use of Ontology Reconciliation Techniques in SOA;Third International Conference on Next Generation Web Services Practices (NWeSP'07);2007-10

3. Requirements for Medical Modeling Languages;Journal of the American Medical Informatics Association;2001-03-01

4. Formal description of temporal knowledge in case reports;Artificial Intelligence in Medicine;1999-07

5. SELEDO: a 5-y-ear long-term trial on the effect of selegiline in early parkinsonian patients treated with levodopa;European Journal of Neurology;1999-03