Putting into practice advanced software engineering techniques through students project

This publication has 11 references indexed in Scilit:

• Abstract object types: A temporal perspective
  Published by Springer Nature ,1989
• Developing interactive information systems with the User Software Engineering methodology
  IEEE Transactions on Software Engineering, 1986
• Building reliable interactive information systems
  IEEE Transactions on Software Engineering, 1986
• MERISE: An information system design and development methodology
  Information & Management, 1983
• Tools for Specification Validation and Understanding.
  Published by Defense Technical Information Center (DTIC) ,1983
• Operational specification as the basis for rapid prototyping
  ACM SIGSOFT Software Engineering Notes, 1982
• Transformational Implementation: An Example
  IEEE Transactions on Software Engineering, 1981
• The Vienna Development Method: The Meta-Language
  Lecture Notes in Computer Science, 1978
• Software Engineering
  IEEE Transactions on Computers, 1976
• On the criteria to be used in decomposing systems into modules
  Communications of the ACM, 1972