Refinement Methodology for Ada

This paper presents Refinement Methodology (RM) for the design of Ada® programs. The methodology combines stepwise refinement and the information hiding principle. The steps of the methodology are explained and illustrated by an example. A part of the methodology is a collection of rules by which pr...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on software engineering Jg. SE-13; H. 4; S. 472 - 478
1. Verfasser:	Rajlich, V.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York, NY IEEE 01.04.1987 Institute of Electrical and Electronics Engineers IEEE Computer Society
Schlagworte:	Ada Applied sciences Computer languages Computer programming Computer science Computer science; control theory; systems Data structures Design Design methodology Exact sciences and technology information hiding Interfaces life-cycle methodologies Methods Packaging Procedures Process design program design language programming language constructs Programming languages Programming profession programming-in-the-large Software Software design Testing Trademarks Life cycle Package(program) Programming language Methodology ADA language Program design Software engineering
ISSN:	0098-5589, 1939-3520
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!