An object-oriented modeling method for algebraic specifications in CafeOBJ

A scenario-based object-oriented modeling method for algebraic specifications is proposed. The method is based on the integration of a new algebraic specification language, CafeOBJ, and a multiparadigm design notation, GILO-2 (Generic Interaction Language for Objects). CafeOBJ is a successor of the...

Full description

Saved in:

Bibliographic Details
Published in:	ICSE 97: 19th Annual Conference on Software Engineering pp. 34 - 44
Main Authors:	Nakajima, Shin, Futatsugi, Kokichi
Format:	Conference Proceeding Journal Article
Language:	English
Published:	New York, NY, USA ACM 01.01.1997 IEEE
Series:	ACM Conferences
Subjects:	Collaboration Computing methodologies > Symbolic and algebraic manipulation > Computer algebra systems Design engineering Guidelines Information systems > Data management systems Laboratories Logic functions National electric code Object oriented modeling Permission Software quality Specification languages Theory of computation > Models of computation > Concurrency Theory of computation > Models of computation > Concurrency > Parallel computing models OBJ formal methods algebraic specifications concurrent rewriting excutable specifications CafeOBJ object-oriented modelinng
ISBN:	9780897919142, 0897919149
ISSN:	0270-5257
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!