Hidden algebra (original) (raw)
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 | http://cseweb.ucsd.edu/groups/tatami/handdemos/doc/haidx.htm |
| dbo:wikiPageID | 33222076 (xsd:integer) |
| dbo:wikiPageLength | 2175 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1068173364 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Bayes_error_rate dbr:Method_(computer_programming) dbc:Universal_algebra dbr:Joseph_Goguen dbr:Class_(computer_programming) dbr:Concurrency_(computer_science) dbc:Logical_calculi dbr:Subclass_(computer_science) dbr:Software_engineering dbc:Concurrent_computing dbc:Distributed_computing dbr:Formal_semantics_of_programming_languages dbr:Attribute_(computing) dbc:Abstract_algebra dbr:Transition_system dbr:Inheritance_(object-oriented_programming) dbr:Object-oriented dbr:Local_state dbr:Nondeterministic_algorithm dbr:Distributed_system dbr:Process_algebra dbr:Object_system |
| dbp:wikiPageUsesTemplate | dbt:Reflist dbt:Context dbt:Software-eng-stub |
| dct:subject | dbc:Universal_algebra dbc:Logical_calculi dbc:Concurrent_computing dbc:Distributed_computing dbc:Abstract_algebra |
| 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 | freebase:Hidden algebra wikidata:Hidden algebra dbpedia-ja:Hidden algebra https://global.dbpedia.org/id/4mARA |
| prov:wasDerivedFrom | wikipedia-en:Hidden_algebra?oldid=1068173364&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Hidden_algebra |
| is dbo:wikiPageWikiLink of | dbr:Joseph_Goguen |
| is foaf:primaryTopic of | wikipedia-en:Hidden_algebra |