Results 41 to 50 of about 491 (95)

CafeOBJ: Logical Foundations and Methodologies [PDF]

, 2012
CafeOBJ is an executable industrial strength multi-logic algebraic specification language which is a modern successor of OBJ and incorporates several new algebraic specification paradigms.
Diaconescu, Razvan, Futatsugi, Kokichi, Ogata, Kazuhiro   +2 more
core   +1 more source

An Overview of CafeOBJ

Electronic Notes in Theoretical Computer Science, 1998
Diaconescu, Răzvan, Futatsugi, Kokichi, Ishisone, Makoto, Nakagawa, Ataru T., Sawada, Toshimi   +4 more
openaire   +1 more source

Using Maude [PDF]

, 2000
Clavel, Manuel, Durán, Francisco, Eker, Steven, Lincoln, Patrick, Martí Oliet, Narciso, Meseguer, José, Quesada Moreno, José Francisco   +6 more
core   +1 more source

The Maude System [PDF]

, 1999
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí Oliet, N., Meseguer, J., Quesada Moreno, José Francisco   +6 more
core   +1 more source

Comorphisms of structured institutions [PDF]

, 2013
Tutu, Ionut
core   +1 more source

Imposing assertions in Maude via program transformation. [PDF]

MethodsX, 2019
Alpuente M, Ballis D, Sapiña J.
europepmc   +1 more source

Foundations for structuring behavioural specifications [PDF]

, 2014
Aiguier, Astesiano, Bergstra, Bidoit, Bidoit, Blum, Borceux, Burmeister, Burmeister, Burstall, Căzănescu, Diaconescu, Diaconescu, Diaconescu, Diaconescu, Diaconescu, Diaconescu, Diaconescu, Diaconescu, Diaconescu, Diaconescu, Goguen, Goguen, Goguen, Goguen, Goguen, Grigore, Hennicker, Jacobs, Mac Lane, Meseguer, Reichel, Reichel, Roşu, Roşu, Sannella, Sannella, Tarlecki, Tarlecki, Tasharrofi, Ţuţu   +40 more
core   +1 more source

Formal Specification and Verification of Hybrid Systems Using Multitask Hybrid Observational Transition Systems [PDF]

富山県立大学博士（工学 ...
894, オウ　イチハン, 王 一帆
core  

Parameterisation for abstract structured specifications [PDF]

, 2014
Tutu, Ionut
core   +1 more source

Logical semantics for CafeOBJ

Logical semantics for CafeOBJ
リサーチレポート（北陸先端科学技術大学院大学情報科学研究科） identifier:https://dspace.jaist.ac.jp/dspace/handle/10119 ...
openaire