Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Hidden_algebra> ?p ?o }
Showing triples 1 to 51 of
51
with 100 triples 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 wikiPageLength "2218".
- Hidden_algebra wikiPageOutDegree "22".
- Hidden_algebra wikiPageRevisionID "578383503".
- Hidden_algebra wikiPageWikiLink Attribute_(computing).
- Hidden_algebra wikiPageWikiLink Bayes_error_rate.
- Hidden_algebra wikiPageWikiLink Category:Abstract_algebra.
- Hidden_algebra wikiPageWikiLink Category:Concurrent_computing.
- Hidden_algebra wikiPageWikiLink Category:Distributed_computing.
- Hidden_algebra wikiPageWikiLink Category:Logical_calculi.
- Hidden_algebra wikiPageWikiLink Category:Universal_algebra.
- Hidden_algebra wikiPageWikiLink Class_(computer_programming).
- Hidden_algebra wikiPageWikiLink Concurrency_(computer_science).
- Hidden_algebra wikiPageWikiLink Distributed_computing.
- Hidden_algebra wikiPageWikiLink Distributed_system.
- Hidden_algebra wikiPageWikiLink Formal_semantics_of_programming_languages.
- Hidden_algebra wikiPageWikiLink Inheritance_(object-oriented_programming).
- Hidden_algebra wikiPageWikiLink Joseph_Goguen.
- Hidden_algebra wikiPageWikiLink Local_state.
- Hidden_algebra wikiPageWikiLink Local_variable.
- Hidden_algebra wikiPageWikiLink Method_(computer_programming).
- Hidden_algebra wikiPageWikiLink Nondeterministic_algorithm.
- Hidden_algebra wikiPageWikiLink Object-oriented.
- Hidden_algebra wikiPageWikiLink Object-oriented_programming.
- Hidden_algebra wikiPageWikiLink Object_system.
- Hidden_algebra wikiPageWikiLink Process_algebra.
- Hidden_algebra wikiPageWikiLink Process_calculus.
- Hidden_algebra wikiPageWikiLink Semantics_(computer_science).
- Hidden_algebra wikiPageWikiLink Software_engineering.
- Hidden_algebra wikiPageWikiLink Subclass_(computer_science).
- Hidden_algebra wikiPageWikiLink Transition_system.
- Hidden_algebra wikiPageWikiLinkText "hidden algebra".
- Hidden_algebra hasPhotoCollection Hidden_algebra.
- Hidden_algebra wikiPageUsesTemplate Template:Context.
- Hidden_algebra wikiPageUsesTemplate Template:Reflist.
- Hidden_algebra wikiPageUsesTemplate Template:Software-eng-stub.
- 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 type Method.
- 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.