<p>This thesis develops a formalism of function tables, inspired by the work of D. Parnas. It adapts that formalism so as to apply to topological partial algebras, involving continuous partial functions on the reals. In particular, it studies semantics-preserving transformations between two classes of tables: normal and inverted. This leads to a 3-valued logic different from that used by Wei Lei (2007) who investigated the application of function tables to "error algebras".</p> / Master of Science (MSc)
Identifer | oai:union.ndltd.org:mcmaster.ca/oai:macsphere.mcmaster.ca:11375/13078 |
Date | January 2013 |
Creators | Hossain, Sameena |
Contributors | Zucker, J. I., Computing and Software |
Source Sets | McMaster University |
Detected Language | English |
Type | thesis |
Page generated in 0.0017 seconds