Towards an Ada basis for KBSE: Refine-Ada 95 conversion

  • Authors:

  • Paul A. Bailes;Paul Burnim;Murray Chapman;Eric Salzman

  • Affiliations:

  • Centre for Software Maintenance, Department of Computer Science, The University of Queensland QLD 4072 Australia;Centre for Software Maintenance, Department of Computer Science, The University of Queensland QLD 4072 Australia;Centre for Software Maintenance, Department of Computer Science, The University of Queensland QLD 4072 Australia;Centre for Software Maintenance, Department of Computer Science, The University of Queensland QLD 4072 Australia

  • Venue:
  • Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract