Foundations of Algebraic Specification and Formal Software Development

Sannella, Donald; Tarlecki, Andrzej

doi:10.1007/978-3-642-17336-3

Cited by 161 publications

(189 citation statements)

References 0 publications

Supporting

Mentioning

187

Contrasting

Order By: Relevance

“…See [ST87] for a possible generalisation to the framework of an arbitrary institution, and Sect. 8.5.3 of [ST12] for some further remarks in this direction.…”

Section: Behavioural Specificationsmentioning

confidence: 97%

See 1 more Smart Citation

The Foundational Legacy of ASL

Sannella

Tarlecki

2015

Software, Services, and Systems

Self Cite

View full text Add to dashboard Cite

show abstract

“…See [ST87] for a possible generalisation to the framework of an arbitrary institution, and Sect. 8.5.3 of [ST12] for some further remarks in this direction.…”

Section: Behavioural Specificationsmentioning

confidence: 97%

“…Any institution having the same category of signatures and the same model functor as EQ (and FOEQ) will be called standard algebraic. See [ST12] for detailed definitions of many other institutions.…”

Section: Preliminariesmentioning

confidence: 99%

The Foundational Legacy of ASL

Sannella

Tarlecki

2015

Software, Services, and Systems

Self Cite

View full text Add to dashboard Cite

show abstract

“…It is worth noting how theory morphisms in Th can express, besides translational equivalence of theories, also abstractions and refinements, i.e. logic relations formalising software engineering techniques on module specification and programming (Sanella and Tarlecki, 2012).…”

Section: Using Institutions To Build Modular Semantic Theoriesmentioning

confidence: 99%

Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach

Angius

Stefaneas

2016

Synthese Library

View full text Add to dashboard Cite

This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems' computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches in the discovery of semantic software theories are refused to argue in favour of the abductive process of hypothesising and refining models at each level in the hierarchy, until they become satisfactorily predictive. Empirical theories of computational systems are required to be modular, as modular are most software verification and testing activities. We argue that logic relations must be thereby defined among models representing different modules in a semantic theory of a modular software system. We exclude that scientific structuralism is able to define module relations needed in software modular theories. The algebraic Theory of Institutions is finally introduced to specify the logic structure of modular semantic theories of computational systems.

show abstract

“…The relevant notions are explained in handbook chapters and books on the foundations of algebraic specification, e.g. [8,12,13,15].…”

Section: Introductionmentioning

confidence: 99%

Untitled

2016

SACS

View full text Add to dashboard Cite

In previous work carried out in the setting of program algebra, including work in the area of instruction sequence size complexity, we chose instruction sets for Boolean registers that contain only instructions of a few of the possible kinds. In the current paper, we study instruction sequence size bounded functional completeness of all possible instruction sets for Boolean registers. We expect that the results of this study will turn out to be useful to adequately assess results of work that is concerned with lower bounds of instruction sequence size complexity.

show abstract

Foundations of Algebraic Specification and Formal Software Development

Abstract: The use of general descriptive names, registered names, trademarks, etc. in this publication does not ch names are exempt from the relevant protective

Cited by 161 publications

References 0 publications

The Foundational Legacy of ASL

The Foundational Legacy of ASL

Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach

Untitled

Contact Info

Product

Resources

About