MENU - an example for the systematic reuse of specifications

This publication has 5 references indexed in Scilit:

• Algebraic description of reusable software components
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Structured algebraic specifications: A Kernel language
  Theoretical Computer Science, 1986
• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• Some Experiences in Promoting Reusable Software: Presentation in Higher Abstract Levels
  IEEE Transactions on Software Engineering, 1984
• A kernel language for algebraic specification and implementation extended abstract
  Published by Springer Nature ,1983