×

Moving specification structures between logical systems. (English) Zbl 0956.68031

Fiadeiro, JosĂ© Luiz (ed.), Recent trends in algebraic development techniques. 13th international workshop, WADT ’98, Lisbon, Portugal, April 2-4, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1589, 16-30 (1999).
Summary: The conditions under which a formal system for reasoning about structural specifications, built over one logical system could be reused for reasoning about structured specifications built over another logical system are formulated and studied. Following Goguen and Burstall, the notion of a logical system is formalized as an institution and extended to a \({\mathcal D}\)-institution. A new function between classes of specifications, inspired by a similar function from R. Harper, D. Sannella and A. Tarlecki [Ann. Pure Appl. Logic 67, No. 1-3, 113-160 (1994; Zbl 0809.03019)], is defined as a natural extension of institution representations to structured specifications.
For the entire collection see [Zbl 0921.00029].

MSC:

68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68Q60 Specification and verification (program logics, model checking, etc.)

Citations:

Zbl 0809.03019

Software:

CoFI
PDFBibTeX XMLCite