Behavioural coherence in object-oriented algebraic specification

スポンサーリンク

概要

• 論文の詳細を見る
• 北陸先端科学技術大学院大学の論文
• 1998-06-05

著者

• Diaconescu Razvan

  School Of Information Science Japan Advanced Institute Of Science And Te

関連論文

• Component-based algebraic specification and verification in CafeOBJ
• Concurrent object composition in CafeOBJ
• Modality in open institutions with concrete syntax
• Behavioural coherence in object-oriented algebraic specification
• Extra theory morphisms for institutions : logical semantics for multi-paradigm languages
• Categorical foundations of modularisation for multi-paradigm

スポンサーリンク