IEEE - Institute of Electrical and Electronics Engineers, Inc. - Transforming functional signatures of algebraic specifications into object-oriented class signatures

Proceedings. 12th Asia-Pacific Software Engineering Conference

Author(s): B. Dolle ; W. Dosch
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2005
Conference Location: Taipei, Taiwan, Taiwan
Conference Date: 15 December 2005
ISBN (Paper): 0-7695-2465-6
ISSN (Paper): 1530-1362
DOI: 10.1109/APSEC.2005.107
Regular:

A combination of algebraic and object-oriented specification techniques may take advantage of both approaches for system development. This paper presents a formal method how to transform the... View More

Advertisement