About: Hidden algebra

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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.

Property Value
dbo: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. (en)
  • 隠れ代数は、ソフトウェア工学、とりわけ並列分散オブジェクト指向プログラミングで使用するためのプログラム意味論を提供する。 をサポートする。 隠れ代数はジョセフ・ゴーゲンにより研究された。 並行性、分散コンピューティング、、ローカル変数など、大規模ソフトウェアベースのシステムの機能処理を行う。また、クラス、継承、属性、メソッドなどのオブジェクト指向プログラミングの処理も行う。隠れ代数は、プロセス計算と状態遷移系によるアプローチを一般化する。 (ja)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 33222076 (xsd:integer)
dbo:wikiPageLength
  • 2175 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1068173364 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
rdfs: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 generalizes process algebra and transition system approaches. (en)
  • 隠れ代数は、ソフトウェア工学、とりわけ並列分散オブジェクト指向プログラミングで使用するためのプログラム意味論を提供する。 をサポートする。 隠れ代数はジョセフ・ゴーゲンにより研究された。 並行性、分散コンピューティング、、ローカル変数など、大規模ソフトウェアベースのシステムの機能処理を行う。また、クラス、継承、属性、メソッドなどのオブジェクト指向プログラミングの処理も行う。隠れ代数は、プロセス計算と状態遷移系によるアプローチを一般化する。 (ja)
rdfs:label
  • Hidden algebra (en)
  • 隠れ代数 (ja)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy