An overview of OBJ2

Authors:
K. Futatsugi
Affiliations:
Electrotechnical Laboratory, Ibaraki, Japan
Venue:
Proceedings of the first Franco-Japanese Symposium on Programming of future generation computers
Year:
1988

Algebraic specification of Macintosh's Quickdraw using OBJ2

ICSE '88 Proceedings of the 10th international conference on Software engineering
Stepwise refinement process with modularity

ICSE '89 Proceedings of the 11th international conference on Software engineering
Software process a` la algebra: OBJ for OBJ

ICSE '90 Proceedings of the 12th international conference on Software engineering
Formal Methods in CafeOBJ

FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Fostering proof scores in CafeOBJ

ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering

Hi-index	0.00