An Algebraic Specification for the MPEG-2 Encoding Algorithm

2009 Fourth South-East European Workshop on Formal Methods ◽

10.1109/seefm.2009.10 ◽

2009 ◽

Cited By ~ 2

Author(s):

Katerina Ksystra ◽

Petros Stefaneas ◽

Nikolaos Triantafyllou ◽

Iakovos Ouranos

Keyword(s):

Algebraic Specification

Download Full-text

A note on algebraic specification of binary trees

ACM SIGPLAN Notices ◽

10.1145/947658.947666 ◽

1980 ◽

Vol 15 (6) ◽

pp. 64-67 ◽

Cited By ~ 3

Author(s):

Abha Moitra

Keyword(s):

Binary Trees ◽

Algebraic Specification

Download Full-text

The algebraic specification of abstract data types

Acta Informatica ◽

10.1007/bf00260922 ◽

1978 ◽

Vol 10 (1) ◽

Cited By ~ 313

Author(s):

J.V. Guttag ◽

J.J. Horning

Keyword(s):

Algebraic Specification ◽

Abstract Data Types ◽

Data Types ◽

Abstract Data

Download Full-text

Modular algebraic specification of some basic geometrical constructions

Artificial Intelligence ◽

10.1016/0004-3702(88)90052-5 ◽

1988 ◽

Vol 37 (1-3) ◽

pp. 123-153 ◽

Cited By ~ 9

Author(s):

Joseph A. Goguen

Keyword(s):

Algebraic Specification

Download Full-text

Proof method for correctness of refinements of algebraic specification in abstract sequential machine style

Systems and Computers in Japan ◽

10.1002/scj.4690270503 ◽

1996 ◽

Vol 27 (5) ◽

pp. 25-38

Author(s):

Kozo Okano ◽

Teruo Higashino ◽

Kenichi Taniguchi

Keyword(s):

Sequential Machine ◽

Algebraic Specification

Download Full-text

Algebraic Specification

Specification of Software Systems ◽

10.1007/978-1-4757-2920-7_8 ◽

1998 ◽

pp. 171-217

Author(s):

V. S. Alagar ◽

K. Periyasamy

Keyword(s):

Algebraic Specification

Download Full-text

Algebraic Specification of Databases — A Survey from a Database Perspective

Workshops in Computing - Specifications of Database Systems ◽

10.1007/978-1-4471-3864-8_13 ◽

1992 ◽

pp. 246-254

Author(s):

W. B. Samson ◽

A. W. Wakelin

Keyword(s):

Algebraic Specification

Download Full-text

The Algebraic Specification of Abstract Data Types

Programming Methodology ◽

10.1007/978-1-4612-6315-9_21 ◽

1978 ◽

pp. 282-308 ◽

Cited By ~ 4

Author(s):

J. V. Guttag ◽

J. J. Horning

Keyword(s):

Algebraic Specification ◽

Abstract Data Types ◽

Data Types ◽

Abstract Data

Download Full-text

Algebraic Specification of Dynamic Leader Election Protocols in Broadcast Networks

Workshops in Computing - Algebra of Communicating Processes ◽

10.1007/978-1-4471-2120-6_15 ◽

1995 ◽

pp. 338-357

Author(s):

Jacob Brunekreef ◽

Joost-Pieter Katoen ◽

Ron Koymans ◽

Sjouke Mauw

Keyword(s):

Leader Election ◽

Algebraic Specification ◽

Broadcast Networks

Download Full-text

On recent trends in algebraic specification

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0035766 ◽

1989 ◽

pp. 263-288 ◽

Cited By ~ 11

Author(s):

H. Ehrig ◽

P. Pepper ◽

F. Orejas

Keyword(s):

Algebraic Specification ◽

Recent Trends

Download Full-text

Algebraic Specification through Expression Transformation

Formal Description Techniques and Protocol Specification, Testing and Verification ◽

10.1007/978-0-387-35271-8_22 ◽

1997 ◽

pp. 355-366 ◽

Cited By ~ 2

Author(s):

M. J. Fernández Iglesias ◽

M. Llamas Nistal

Keyword(s):

Algebraic Specification

Download Full-text