AMAST Series in Computing - Algebraic Specification Techniques and Tools for Software Development: The Act Approach
Latest Publications

TOTAL DOCUMENTS

6

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By WORLD SCIENTIFIC

9789810212278, 9789814440813

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

FRONT MATTER

AMAST Series in Computing - Algebraic Specification Techniques and Tools for Software Development: The Act Approach ◽

10.1142/9789814440813_fmatter ◽

1993 ◽

pp. i-xvi

Download Full-text

BACK MATTER

AMAST Series in Computing - Algebraic Specification Techniques and Tools for Software Development: The Act Approach ◽

10.1142/9789814440813_bmatter ◽

1993 ◽

pp. 177-237

Download Full-text

ACT ONE — A Language for Parameterized Specifications

AMAST Series in Computing - Algebraic Specification Techniques and Tools for Software Development: The Act Approach ◽

10.1142/9789814440813_0002 ◽

1993 ◽

pp. 23-100

Keyword(s):

Act One

Download Full-text

Algebraic Specification as Formal Method for Software Development

AMAST Series in Computing - Algebraic Specification Techniques and Tools for Software Development: The Act Approach ◽

10.1142/9789814440813_0001 ◽

1993 ◽

pp. 1-22 ◽

Cited By ~ 2

Keyword(s):

Software Development ◽

Formal Method ◽

Algebraic Specification

Download Full-text

Algebraic Specification of Modular Systems

AMAST Series in Computing - Algebraic Specification Techniques and Tools for Software Development: The Act Approach ◽

10.1142/9789814440813_0003 ◽

1993 ◽

pp. 101-128

Keyword(s):

Algebraic Specification ◽

Modular Systems

Download Full-text

The ACT Environment

AMAST Series in Computing - Algebraic Specification Techniques and Tools for Software Development: The Act Approach ◽

10.1142/9789814440813_0004 ◽

1993 ◽

pp. 129-175

Download Full-text