Abstract
Solve is an object-oriented approach and toolset based on Lotos to allow formal requirements capture and visual animation, particularly for interactive systems and digital logic design.
The designer of Solve and XDill, supported by the UK Science and Engineering Research Council on Splice.
Chapter PDF
Similar content being viewed by others
Classification
Keywords
References
A. McCenaghan. Solve: Specification using an object-oriented, LOTOS-based, visual language. Technical Report CSM-115, Computing Science, Univ. of Stirling, UK, Jan. 1994.
A. McClenaghan. XDill: An X-based simulator tool for DILL. Technical Report CSM-119, Computing Science, Univ. of Stirling, UK, Apr. 1994.
K. J. Turner and R. O. Sinnott. DILL: Specifying digital logic in LOTOS. In R. L. Tenney, P. D. Amer, and M. Ü. Uyar, editors, Proc. Formal Description Techniques VI, pages 71–86. North-Holland, Amsterdam, Netherlands, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Turner, K.J., McClenaghan, A. (1995). Visual Animation of Lotos using Solve. In: Hogrefe, D., Leue, S. (eds) Formal Description Techniques VII. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34878-0_22
Download citation
DOI: https://doi.org/10.1007/978-0-387-34878-0_22
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2881-0
Online ISBN: 978-0-387-34878-0
eBook Packages: Springer Book Archive