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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	ICSE 97: 19th Annual Conference on Software Engineering s. 34 - 44
Hlavní autori:	Nakajima, Shin, Futatsugi, Kokichi
Médium:	Konferenčný príspevok.. Journal Article
Jazyk:	English
Vydavateľské údaje:	New York, NY, USA ACM 01.01.1997 IEEE
Edícia:	ACM Conferences
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!