Formalism and method

DOI10.1016/S0304-3975(99)00205-4zbMath0938.68056MaRDI QIDQ1978639

Egidio Astesiano, Gianna Reggio

Publication date: 4 June 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

specificationformalismmethodformal methodsoftware development processmethod pattern

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items

A formally grounded software specification method ⋮ Formalism and method ⋮ A Framework for Defining and Comparing Modelling Methods

Uses Software

• UNITY

Cites Work

• Specifications in an arbitrary institution
• Formal methods for industrial applications. Specification and programming the Steam Boiler Control
• Specification of abstract dynamic-data types: A temporal logic approach
• Formalism and method
• Institutions: abstract model theory for specification and programming
• A decade of TAPSOFT
• Theory and practice of software development
• Labelled transition logic: An outline
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item