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	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
dcterms: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

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License