Preservation and reflection in specification

1. M.Abadi and L.Lamport, “Composing Specifications”, in ACM Transactions on Programming Languages and Systems, 15(1):73–132, January 1993.

   Google Scholar 

2. R.Alur and T.Henzinger, “Local Liveness for Compositional Modeling of Fair Reactive Systems”, in P.Wolper (ed), CAV'95, LNCS 939, Springer-Verlag 1995,166–179.

   Google Scholar 

3. H.Barringer, “The Use of Temporal Logic in the Compositional Specification of Concurrent Systems”, in A.Galton (ed) Temporal Logics and their Applications, Academic Press 1987.

   Google Scholar 

4. R.Burstall and J.Goguen, “Putting Theories Together to Make Specifications”, in Proc. 5th IJCAI, 1977,1045–1058.

   Google Scholar 

5. P.Collette, “Design of Compositional Proof Systems Based on Assumption-Commitment Specifications: Application to UNITY”, PhD thesis, Université Catholique de Louvain,1994.

   Google Scholar 

6. J.Fiadeiro, “On the Emergence of Properties in Component-Based Systems”, in M.Wirsing and M.Nivat(eds), AMAST'96, LNCS 1101, Springer-Verlag 1996,421–443.

   Google Scholar 

7. J.L.Fiadeiro and J.F.Costa, “Mirror, Mirror in my Hand: a duality between specifications and models of process behaviour”, in Mathematical Structures in Computer Science 6, 1996,353–373.

   Google Scholar 

8. J.Fiadeiro and T.Maibaum, “Temporal Theories as Modularisation Units for Concurrent System Specification”, Formal Aspects of Computing, 4:239–272, 1992.

   Google Scholar 

9. J.Fiadeiro and T.Maibaum, “Categorical Semantics of Parallel Program Design”, Science of Computer Programming, 28:111–138, 1997.

   Google Scholar 

10. J.Fiadeiro and T.Maibaum, “Generalising Interpretations Between Theories in the Context of π-institutions”, in G.Burn, S.Gay and M.Ryan (eds), Theory and Formal Methods 1993, Springer-Verlag, 126–147.

    Google Scholar 

11. J.L.Fiadeiro, A.Lopes and T.Maibaum, “Synthesising Interconnections”, in Algorithmic Languages and Calculi, R.Bird and L.Meertens (eds), Chapman Hall, in print.

    Google Scholar 

12. J.Goguen and R.Burstall, “CAT, a system for the structured elaboration of correct programs from structured specifications”, Technical Report CSL-118, SRI International 1980.

    Google Scholar 

13. J.Goguen and R.Burstall, “Institutions: Abstract Model Theory for Specification and Programming”, Journal of the ACM 39(1):95–146, 1992.

    Google Scholar 

14. B.Jonsson,“Compositional Specifiaction and Verification of Distributed Systems”, in ACM Transactions on Programming Languages and Systems, 16(2):259–303, 1994.

    Google Scholar 

15. T.Maibaum, “RÔle of Abstraction in Program Development”, in H.-J.Kugler (ed) Information Processing'86, North-Holland 1986,135–142.

    Google Scholar 

16. T.Maibaum, “A Logic for the Formal Requirements Specification of Real-Time Embedded Systems”, Forest Research Report, Imperial College 1987.

    Google Scholar 

17. B.Meyer, “Applying Design by Contract”, IEEE Computer, Oct.1992,40–51.

    Google Scholar 

18. C.Stirling, “Modal and Temporal Logics”, Handbook of Logic in Computer Science, S.Abramsky,D.Gabbay and T.Maibaum(eds), Vol.2,477–563, Oxford University Press 1992.

    Google Scholar 

19. G.Winskel, “A Compositional Proof System on a Categoryof Labelled Transition Systems”, Information and Computation 87:2–57, 1990.

    Google Scholar 

20. S.Zhou, R.Gerth and R.Kuiper, “Transformations Preserving Properties and Properties preserved by Transformations”, in E.Best (ed), CONCUR'93, LNCS 715, Springer-Verlag 1993,353–367.

    Google Scholar 

Download references