References

1

J. Fiadeiro and J. F. Costa. Institutions for behaviour specification. In G. Reggio E. Astesiano and A. Tarlecki, editors, Recent Trends in Data Type Specification, number 906 in Lectures Notes in Computer Science. Springer-Verlag, 1995.

2

J. Fiadeiro and T. Maibaum. Interconnecting formalisms: supporting modularity, reuse and incrementality. submitted.

3

J. Fiadeiro and T. Maibaum. Verifying for reuse: Foundations of object-oriented system verification. In C. Hankin, I. Makie, and R. Nagarajan, editors, Theory and Formal Methods 1994,. Springer-Verlag, 1995? To be published.

4

J. Fiadeiro and G. Reichwein. A categorical theory of superposition. Technical report, Facultes Universitaires Notre-Dame de la Paix, December 1994.

5

A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh. Inconsistency handling in multi-perspective specifications. Transactions on Software Engineering, 20(8):569--578, August 1994.

6

U. Leonhardt, A. Finkelstein, J. Kramer, and B. Nuseibeh. Decentralised process modelling in a multi-perspective development environment. In Proceedings of 17th International Conference on Software Engineering (ICSE-17),. IEEE CS Press, April 1995. To appear.

7

B. Nuseibeh, A. Finkelstein, and J. Kramer. Method engineering for multi-perspective software development. Information and Software Technology Journal, 1995. to appear.

8

C. Paredes and J. Fiadeiro. Reuse of requirements and specifications -- a formal framework. In Symposium on Software Reusability (SSR'95),. ACM, 1995.

9

Eric Yu, Philippe Du Bois, Eric Dubois, and John Mylopoulos. From organization models to system requirements - a ``cooperating agents'' approach. In Proc. of the Third International Conference on Cooperative Information Systems -- CoopIS-95, Vienna (Austria), May 9-12, 1995. University of Toronto Press inc. available as ftp://ftp.info.fundp.ac.be/pub/publications/RP/RP-95-011.ps.Z.

• SG5: Diagnosis, Repair, and Industrial Control
  • Introduction
  • Activities
  • Results
    • Traffic Accident Analysis
    • Multi-Agent Systems and Cooperation
    • Manufacturing Systems
    • Model-based Diagnosis and Strategic Reasoning
  • Members
  • Minutes of meetings
    • 15 Aug. 1994