Hidden algebra
From HandWiki
 | This article provides insufficient context for those unfamiliar with the subject. (July 2013) (Learn how and when to remove this template message) |
Hidden algebra provides a formal semantics for use in the field of software engineering, especially for concurrent distributed object systems.[1] It supports correctness proofs.[2]
Hidden algebra was studied by Joseph Goguen.[1][3] It handles features of large software-based systems, including concurrency, distribution, nondeterminism, and local states. It also handled object-oriented features like classes, subclasses (inheritance), attributes, and methods. Hidden algebra generalizes process algebra and transition system approaches.
References
- ↑ 1.0 1.1 Goguen, Joseph. "Hidden Algebra Homepage". University of California, San Diego, USA. http://cseweb.ucsd.edu/~goguen/projs/halg.html. Retrieved September 26, 2011.
- ↑ Malcolm, Grant (July 31, 2006). "Hidden Algebra: Behavioural specification and proof for systems with state". University of London, UK. http://www.csc.liv.ac.uk/~grant/Research/Alg/HA/index.html. Retrieved September 26, 2011.
- ↑ Goguen, Joseph (January 2000). "Hidden algebra and concurrent distributed software". ACM SIGSOFT Software Engineering Notes (ACM, USA) 25 (1): 51–52. doi:10.1145/340855.340889.
External links
 |  |
