5 References

[CGN94] D. Cohen, N. Goldman, K. Narayanaswamy. ``Adding Performance Information to ADT Interfaces". In Proceedings of the Interface Definition Languages Workshop , ACM SIGPLAN Notices 29(8), 1994.

[CZ90] S. Cárdenas, M.V. Zelkowitz. ``Evaluation Criteria for Functional Specifications". In Proceedings of 12th International Conference on Software Engineering (ICSE), Nice (France), 1990.

[FB97] X. Franch, P. Botella. ``Supporting Software Maintenance with Non-Functional Information". In Proceedings 1st EUROMICRO Conference on Software Maintenance and Reengineering , Berlin (Germany), 1997.

[FBBR97] X. Franch, P. Botella, X. Burgués, J.M. Ribó. ``ComProLab: A Component Programming Laboratory". In Proceedings of 9th Software Engineering and Knowledge Engineering Conference (SEKE), Madrid (Spain), 1997.

[Fra93] X. Franch. Data Structures: Specification, Design and Implementation . Edicions UPC, col.lecció Politext, 30, 1993. Available in spanish.

[Fra94] X. Franch. ``Combining Different Implementations of Types in a Program". In Proceedings Joint of Modular Languages Conference (JMLC), Ulm (Germany), 1994.

[Fra96] X. Franch. ``Automatic Implementation Selection for Software Components using a Multiparadigm Language to state Non-Functional Issues". Ph.D. Thesis (advisor: Pere Botella), Universitat Politècnica de Catalunya, Barcelona (Catalunya, Spain), 1996. Available in català.

[Fra97] X. Franch. ``Including Non-Functional Issues in Anna/Ada Programs for Automatic Implementation Selection". In Proceedings of Ada-Europe'97 , London (U.K.), LNCS 1251, Springer-Verlag, 1997.

[IEEE92] IEEE Computer Society. IEEE Standard for a Software Quality Metrics Methodology . IEEE Std. 1061-1992, Institute of Electrical and Electronical Engineers, New York, 1992.

[ISO91] International Standards Organization. Software Product Evaluation - Quality Characteristics and Guidelines for their Use . ISO/IEC Standard ISO-9126, 1991.

[Jaz95] M. Jazayeri. ``Component Programming - a Fresh Look at Software Components". In Proceedings of 5th European Software Engineering Conference (ESEC), Barcelona (Catalunya, Spain), LNCS 989, Springer-Verlag, 1995.

[LG86] B. Liskov, J. Guttag. Abstraction and Specification in Program Development . The MIT Press, 1986.

[LS95] D. Landes, R. Studer. ``The Treatment of Non-Functional Requirements in MIKE". In Proceedings of 5th European Software Engineering Conference (ESEC), Barcelona (Catalunya, Spain), LNCS 989, Springer-Verlag, 1995.

[Mat84] Y. Matsumoto. ``Some Experiences in Promoting Reusable Software". IEEE Transactions on Software Engineering, 10(5), 1984.

[MCN92] J. Mylopoulos, L. Chung, B.A. Nixon. ``Representing and Using Nonfunctional Requirements: A Process-Oriented Approach". IEEE Trans. on Software Engineering, 18(6), 1992.

[Sha84] M. Shaw. ``Abstraction Techniques in Modern Programming Languages". IEEE Software, 1(10), 1984.

[Sit92] M. Sitaraman. ``A class of programming language mechanisms to facilitate multiple implementations of the same specification". In Proceedings 4th International Conference on Computer Languages , IEEE Computer Society Press, 1992

[Sit94] M. Sitaraman. ``On Tight Performance Specification of Object-Oriented Components". In Proceedings 3rd International Conference on Software Reuse (ICSR), IEEE Computer Society Press, 1994.

[Sit+94] M. Sitaraman (coordinator) et al. ``Special Feature: Component-Based Software Using RESOLVE". ACM Software Engineering Notes, 19(4), Oct. 1994.

[SY94] P.C-Y. Sheu, S. Yoo. ``A Knowledge-Based Program Transformation System". In Proceedings 6th Conference on Advanced Information Systems Engineering (CAiSE), Utrecht (Holland), LNCS 811, 1994.

[Win89] J.M. Wing. ``Specifying Avalon Objects in Larch". In Proceedings of Theory and Practice of Software Development , Vol. 2, Barcelona (Catalunya, Spain), LNCS 352, 1989.

[Win90] J.M. Wing. ``A Specifier's Introduction to Formal Methods". IEEE Computer 23(9), 1990.