29 papers:
WRLA-2014-Riesco #integration #maude- An Integration of CafeOBJ into Full Maude (AR), pp. 230–246.
LOPSTR-2014-PreiningOF #case study #liveness #specification- Liveness Properties in CafeOBJ — A Case Study for Meta-Level Specifications (NP, KO, KF), pp. 182–198.
ASE-2006-Futatsugi #proving #specification #verification- Verifying Specifications with Proof Scores in CafeOBJ (KF), pp. 3–10.
SEKE-2006-SadaouiS #implementation #java #specification- Implementation of CafeOBJ Specifications to Java Code (SS, SS), pp. 446–449.
- SEKE-2005-SenachakSOF #java
- Provably Correct Translation from CafeOBJ into Java (JS, TS, KO, KF), pp. 614–619.
FME-2003-SawadaKF #future of #implementation #past present future- Past, Present, and Future of SRA Implementation of CafeOBJ: Annex (TS, KK, KF), pp. 7–17.
- WRLA-J-1996-DiaconescuF02 #logic
- Logical foundations of CafeOBJ (RD, KF), pp. 289–318.
- WRLA-2002-AlpuenteEL
- Correct and Complete (Positive) Strategy Annotations for OBJ (MA, SE, SL), pp. 70–89.
FLOPS-2002-Futatsugi #formal method- Formal Methods in CafeOBJ (KF), pp. 1–20.
- ASE-2001-OgataF #distributed #modelling #realtime #verification
- Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ (KO, KF), pp. 185–192.
PPDP-2001-Lucas #on-demand #source code #termination- Termination of On-Demand Rewriting and Termination of OBJ Programs (SL), pp. 82–93.
- FM-v2-1999-DiaconescuFI #algebra #component #specification #verification
- Component-Based Algebraic Specification and Verification in CafeOBJ (RD, KF, SI), pp. 1644–1663.
- FM-v2-1999-MoriF #behaviour #specification #verification
- Verifying Behavioural Specifications in CafeOBJ Environment (AM, KF), pp. 1625–1643.
- WRLA-1998-DiaconescuF #bibliography
- An overview of CafeOBJ (RD, KF), pp. 285–298.
ICSE-1997-NakajimaF #algebra #modelling #object-oriented #specification- An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ (SN, KF), pp. 34–44.
- PLILP-1994-HamelG #compilation #towards
- Towards a Provably Correct Compiler for OBJ3 (LHH, JAG), pp. 132–146.
- FME-1993-Martin #encoding #logic
- Encoding W: A Logic for Z in 2OBJ (AM), pp. 462–481.
ECOOP-1993-GangopadhyayM #behaviour #named #specification- ObjChart: Tangible Specification of Reactive Object Behavior (DG, SM), pp. 432–457.
TOOLS-USA-1993-GangopadhyayM #modelling #named #visual notation- ObjChart-Builder: An Environment for Executing Visual Object Models (DG, SM), pp. 319–334.
ESOP-1992-Gnaedig #proving #specification #theorem proving- ELIOS-OBJ Theorem Proving in a Specification Language (IG), pp. 182–199.
- ICSE-1990-NakagawaF #algebra #process
- Software Process à la Algebra: OBJ for OBJ (ATN, KF), pp. 12–23.
- ECOOP-1989-FriedrichHSS #named #tool support #visualisation
- ObjView: A Task-Oriented, Graphics-Based Tools for Object Visualization and Arrangement (GF, WH, CS, MS), pp. 299–310.
ESEC-1989-Shutt #development #program analysis #specification #tool support #using- A Rigorous Development Strategy Using the OBJ Specification Language and the MALPAS Program Analysis Tools (RNS), pp. 260–291.
ICALP-1988-KirchnerKM #semantics- Operational Semantics of OBJ-3 (Extended Abstract) (CK, HK, JM), pp. 287–301.
- ALP-1988-JouannaudKKM #named #programming
- OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization (JPJ, CK, HK, AM), pp. 41–52.
- ICSE-1988-NakagawaFTS #algebra #specification #using
- Algebraic Specification of Macintosh’s Quickdraw Using OBJ2 (ATN, KF, ST, TS), pp. 334–343.
OOPSLA-1987-Cointe #lisp- Metaclasses are First Class: the ObjVlisp Model (PC), pp. 156–167.
- ICSE-1987-FutatsugiGMO #programming
- Parameterized Programming in OBJ2 (KF, JAG, JM, KO), pp. 51–60.
POPL-1985-FutatsugiGJM- Principles of OBJ2 (KF, JAG, JPJ, JM), pp. 52–66.
