Experience with mural in formalising Dust-Expert
(2001)
Journal Article
Vadera, S., Meziane, F., & Huang, M. (2001). Experience with mural in formalising Dust-Expert. Information and Software Technology, 43(4), 231-240. https://doi.org/10.1016/S0950-5849%2800%2900161-0
The mural system was an outcome of a significant effort to develop a support tool for the effective use of a full formal methods development cycle. Experience with it, however, has been limited to a small number of illustrative examples that have bee... Read More about Experience with mural in formalising Dust-Expert.