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ženo v:
Podrobná bibliografie
Vydáno 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:angličtina
Vydáno: New York, NY IEEE 01.04.1987
Institute of Electrical and Electronics Engineers
IEEE Computer Society
Témata:
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 přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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).
Bibliografie: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