H ?
«
‹
←
→
›
»
Language peer sets for ACT TWO:
ACT TWO(ID:8396/)
alternate simple view
the successor of ACT ONE
Related languages
References:
(1986) Fey, W. "Introduction to algebraic specification in ACT TWO" Technical Report 86-13, Technische Universitat Berlin, 1986
(1987) Blum, E. K.; H. Ehrig, and F. Parisi-Presicce. Algebraic specification of modules and their basic interconnections. Journal of Computer and System Sciences, 34:293-339, 1987.
Cerioli et al (1997) Cerioli, Maura; Gogolla, Martin; Kirchner, Helene; Bruckner, Bernd Krieg; Qian, Zhenyu; Wolf, Markus "Algebraic System Specification and Development - Survey and Annotated Bibliography" Second Edition Compass Group Bremen 1997
Abstract
ps
Extract:
ACT TWO
Extract:
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|