Show simple item record

dc.contributor.authorLópez Pombo, Carlos G.
dc.contributor.authorFrías, Marcelo
dc.date.accessioned2020-04-02T18:31:06Z
dc.date.available2020-04-02T18:31:06Z
dc.date.issued2018
dc.identifier.isbn978-3319-97-878-9
dc.identifier.urihttp://ri.itba.edu.ar/handle/123456789/1926
dc.description.abstract"The world of software development has become intrinsically heterogeneous. Many formal languages have been made available to help analysts and designers model different aspects of software. Some examples in the logic realm are equational logic and classical rst-order logic, propositional temporal logics such as LTL and CTL (and their rst-order versions), multimodal logics such as the dynamic logic PDL and its rst-order version, etc. One important feature of a specification language is the existence of structuring mechanisms enabling the modular construction of system descriptions. Structured specifications were introduced by Wirsing for rst-order logic, and later presented in the language-independent setting of institutions by Sannella and Tarlecki. Afterwards, Borzyszkowski presented suffcient conditions for a calculus for (homogeneous) structured speci cations to be complete. These conditions include some form of Craig's interpolation, which results in a scenario that excludes many formalisms employed in the description of software. The contributions of this article are then summarised as follows: a) We present a calculus for structured specifications whose completeness proof does not require any form of interpolation. b)We extend this calculus to a complete calculus for heterogeneous structured specifications."en
dc.language.isoenen
dc.relationinfo:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-97879-6_16
dc.subjectINGENIERIA DE SOFTWAREes
dc.subjectLENGUAJES DE ESPECIFICACIONes
dc.subjectLOGICAes
dc.subjectALGEBRAes
dc.title(Heterogeneous) Structured specifications in logics without interpolationen
dc.typeCapítulos de libroes
dc.typeinfo:eu-repo/semantics/acceptedVersion
itba.description.filiationFil: López Pombo, Carlos G. Universidad Nacional de Buenos Aires; Argentina.
itba.description.filiationFil: López Pombo, Carlos G. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
itba.description.filiationFil: Frías, Marcelo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
itba.description.filiationFil: Frías, Marcelo. Instituto Tecnológico de Buenos Aires; Argentina.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record