Ken Jackson, Albert Llamosi, Ramón Puigjaner. Towards automatic building of performance models: Formal specification of performance constraints. In SEKE 94, The 6th International Conference on Software Engineering and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia. pages 148-155, Knowledge Systems Institute, 1994.
Abstract is missing.