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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	ICSE 97: 19th Annual Conference on Software Engineering S. 34 - 44
Hauptverfasser:	Nakajima, Shin, Futatsugi, Kokichi
Format:	Tagungsbericht Journal Article
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 01.01.1997 IEEE
Schriftenreihe:	ACM Conferences
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!