Information Technology Reference
In-Depth Information
70. Leavens, G.T., Abrial, J.R., Batory, D., Butler, M., Coglio, A., Fisler, K., Hehner, E., Jones,
C., Miller, D., Peyton-Jones, S., Sitaraman, M., Smith, D.R., Stump, A.: Roadmap for En-
hanced Languages and Methods to aid Verification. In: Proceedings of the 5th International
Conference on Generative Programming and Component Engineering, pp. 221-236. ACM
Press, New York (2006)
71. Owre, S., Rushby, J.M., Shankar, N.: PVS: A Prototype Verification System. In: Kapur, D.
(ed.) Automated Deduction - CADE-11. LNCS, vol. 607, pp. 748-752. Springer, Heidelberg
(1992)
72. Paulson, L.C.: Generic automatic proof tools. In: Veroff, R. (ed.) Automated Reasoning and
its Applications: Essays in Honor of Larry Wos, pp. 23-47. MIT Press, Cambridge (1997)
73. Harper, R.: Proof-directed debugging. Journal of Functional Programming 9(4), 463-469
(1999)
74. Dennis, L.A., Monroy, R., Nogueira, P.: Proof-directed Debugging and Repair. In: Nilsson,
H., van Eekelen, M. (eds.) Seventh Symposium on Trends in Functional Programming 2006,
pp. 131-140 (2006)
75. Dennis, L.A., Collins, G., Norrish, M., Boulton, R., Slind, K., Robinson, G., Gordon, M.,
Melham, T.: The PROSPER Toolkit. In: Schwartzbach, M.I., Graf, S. (eds.) ETAPS 2000
and TACAS 2000. LNCS, vol. 1785, Springer, Heidelberg (2000)
76. Terada, N., Fukuda, M.: Application of Formal Methods to the Railway Signaling Systems.
Quarterly Report of RTRI 43(4), 169-174 (2002)
77. Dion, B., Gartner, J.: Efficient Development of Embedded Automotive Software with IEC
61508 Objectives using SCADE Drive. In: VDI 12th International Conference: Electronic
Systems for Vehicles, VDI (October 2005)
78. Snook, C., Butler, M.: UML-B: Formal modeling and design aided by UML. ACM Trans.
Softw. Eng. Methodol. 15(1), 92-122 (2006)
79. Verhoef, M., Peter Visser, J.H., Broenink, J.: Co-simulation of Real-time Embedded Control
Systems. In: IFM 2007: Integrated Formal Methods. LNCS, Springer, Heidelberg (2007)
80. Fr ohlich, B., Larsen, P.G.: Combining VDM-SL Specifications with C++ Code. In: Gaudel,
M.-C., Woodcock, J. (eds.) FME 1996. LNCS, vol. 1051, pp. 179-194. Springer, Heidelberg
(1996)
81. Hekmatpour, S., Ince, D.C.: A Formal Specification-Based Prototyping System. In: Barnes,
D., Brown, P. (eds.) Software Engineering 1986, pp. 317-335. Peter Peregrinus Ltd., London
(1986)
82. McParland, P.J.: Software Tools to Support Formal Methods. PhD thesis, Queen's University
Belfast (October 1989)
83. RODIN-Project-Members: RODIN (2007),
http://rodin.cs.ncl.ac.uk/
84. Sobel, A.E.K., Clarkson, M.R.: Formal Methods Application: An Empirical Tale of Software
Development. IEEE Trans. Software Engineering 28(3), 308-320 (2002)
85. Berry, D.M., Tichy, W.F.: Comments on Formal Methods Application: An Empirical Tale of
Software Development. IEEE Transactions on Software Engineering 29(6), 567-571 (2003)
86. Sobel, A.E.K., Clarkson, M.R.: Response to Comments on Formal Methods Application: An
Empirical Tale of Software Development. IEEE Trans. Software Engineering 29(6), 572-575
(2003)
87. Sobel, A.E.K.: Empirical Results of a Software Engineering Curriculum Incorporating For-
mal Methods. In: Proceedings of SIGCSE 2000, ACM, pp. 157-161. ACM Press, New York
(2000)
88. Larsen, P.G., Fitzgerald, J.S., Riddle, S.: Learning by Doing: Practical Courses in Light-
weight Formal Methods using VDM++. Technical Report CS-TR:992, School of Computing
Science, Newcastle University (December 2006)
89. Kramer, J.: Is Abstraction the Key to Computing? Communications of the ACM 50(4), 37-42
(2007)
Search WWH ::
Custom Search