Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Hidden_algebra> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- Hidden_algebra abstract "Hidden algebra provides a formal semantics for use in the field of software engineering, especially for concurrent distributed object systems. It supports correctness proofs.Hidden algebra was studied by Joseph Goguen. 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.".
- Hidden_algebra wikiPageExternalLink haidx.htm.
- Hidden_algebra wikiPageID "33222076".
- Hidden_algebra wikiPageRevisionID "578383503".
- Hidden_algebra hasPhotoCollection Hidden_algebra.
- Hidden_algebra subject Category:Abstract_algebra.
- Hidden_algebra subject Category:Concurrent_computing.
- Hidden_algebra subject Category:Distributed_computing.
- Hidden_algebra subject Category:Logical_calculi.
- Hidden_algebra subject Category:Universal_algebra.
- Hidden_algebra comment "Hidden algebra provides a formal semantics for use in the field of software engineering, especially for concurrent distributed object systems. It supports correctness proofs.Hidden algebra was studied by Joseph Goguen. 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 label "Hidden algebra".
- Hidden_algebra sameAs m.0h63mqn.
- Hidden_algebra sameAs Q5752038.
- Hidden_algebra sameAs Q5752038.
- Hidden_algebra wasDerivedFrom Hidden_algebra?oldid=578383503.
- Hidden_algebra isPrimaryTopicOf Hidden_algebra.