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...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:IEEE transactions on software engineering Ročník SE-13; číslo 4; s. 472 - 478
Hlavný autor: Rajlich, V.
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: New York, NY IEEE 01.04.1987
Institute of Electrical and Electronics Engineers
IEEE Computer Society
Predmet:
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
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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 procedures acquire parameters (called first and second rules for parameters).
Bibliografia:ObjectType-Article-1
SourceType-Scholarly Journals-1
content type line 14
ObjectType-Article-2
ObjectType-Feature-1
content type line 23
ISSN:0098-5589
1939-3520
DOI:10.1109/TSE.1987.233183