A Scenario-based Object-Oriented Modeling Method with Algebraic
スポンサーリンク
概要
- 論文の詳細を見る
- 北陸先端科学技術大学院大学の論文
- 2001-07-31
著者
-
Futatsugi Kokichi
School Of Information Science Jaist
-
Nakajima Shin
Nec C&c Media Research Laboratories
-
Nakajima Shin
Nec Corporation
-
Futatsugi Kokichi
School Of Information Science Japan Advanced Institute
-
FUTATSUGI Kokichi
School of Information Science
関連論文
- State Machines as Inductive Types(Concurrent Systems)
- Proof Score Approach to Verification of Liveness Properties
- Analysis of membership sharing in digital subscription services
- Towards Reliable E-Government Systems with the OTS/CafeOBJ Method
- A Specification Translation from Behavioral Specifications to Rewrite Specifications
- An Algebraic Approach to Specification and Analysis of the ODP Trader
- Comparison of Maude and SAL by Conducting Case Studies Model Checking a Distributed Algorithm(Concurrent Systems)
- A Behavioral Specification of Imperative Programming Languages
- Concurrent Reflective Computations in Rewriting Logic(Theory of Rewriting Systems and Its Applications)
- Aspect-centered Design of Object-oriented Frameworks
- A Scenario-based Object-Oriented Modeling Method with Algebraic
- A Note on "On the Construction of Boolean Functions with Optimal Algebraic Immunity"
- A Note on "On the Construction of Boolean Functions with Optimal Algebraic Immunity"
- From Fault Tree Analysis to Formal System Specification and Verification with OTS/CafeOBJ