Author:
Anderson T.,Lemos R.,Fitzgerald J. S.,Saeed A.
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Tom Anderson, Rogério de Lemos, John Fitzgerald, and Amer Saeed. On Formal Support for Industrial-scale Requirements Analysis. Technical Report TR412, University of Newcastle, NE1 7RU, UK, 1992.
2. A. M. Davis. Software Requirements: Analysis & Specification. Prentice-Hall, 1990.
3. R. de Lemos, A. Saeed, and T. Anderson. A Train set as a Case Study for the Requirements Analysis of Safety-Critical Systems. The Computer Journal, 35(1):30–40, February 1992.
4. R. de Lemos, A. Saeed, and T. Anderson. Analysis of Timeliness Requirements in Safety-Critical Systems. In J. Vytopil, editor, Proceedings of the Symposium in Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 571 of Lecture Notes in Computer Science, pages 171–192. Springer-Verlag, 1992.
5. J. S. Fitzgerald and C. B. Jones. Modularizing the Formal Description of a Database System. In D. Bjorner, C.A.R. Hoare, and H. Langmaack, editors, VDM'90: VDM and Z — Formal Methods in Software Development., volume 428 of Lecture Notes in Computer Science, pages 189–210. Springer-Verlag, 1990.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献