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ženo v:

Podrobná bibliografie
Vydáno v:	ICSE 97: 19th Annual Conference on Software Engineering s. 34 - 44
Hlavní autoři:	Nakajima, Shin, Futatsugi, Kokichi
Médium:	Konferenční příspěvek Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 01.01.1997 IEEE
Edice:	ACM Conferences
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!