|
|
JAIST Repository >
著者: "Diaconescu, Razvan"
8 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| Mar-1996 | JAIST-REPORT completeness of semantic paramodulation : a category-based approach | Diaconescu, Razvan |
| 28-Aug-1996 | Logical semantics for CafeOBJ | Diaconescu, Razvan; Futatsugi, Kokichi |
| 1-Aug-1997 | Extra theory morphisms for institutions : logical semantics for multi-paradigm languages | Diaconescu, Razvan |
| 3-Dec-1997 | Modality in open institutions with concrete syntax | Diaconescu, Razvan; Stefaneas, Petros |
| 20-Feb-1998 | Concurrent object composition in CafeOBJ | Iida, Shusaku; Matsumoto, Michihiro; Diaconescu, Razvan; Futatsugi, Kokichi; Lucanu, Dorel |
| 9-May-1998 | Categorical foundations of modularisation for multi-paradigm | Diaconescu, Razvan; Stefaneas, Petros |
| 5-Jun-1998 | Behavioural coherence in object-oriented algebraic specification | Diaconescu, Razvan |
| 6-May-1999 | Component-based algebraic specification and verification in cafeOBJ | Diaconescu, Razvan; Futatsugi, Kokichi; Iida, Shusaku |
|
