Výsledky vyhledávání - "Program Design Language"
-
1
Refinement Methodology for Ada
ISSN: 0098-5589, 1939-3520Vydáno: New York, NY IEEE 01.04.1987Vydáno v IEEE transactions on software engineering (01.04.1987)“…This paper presents Refinement Methodology (RM) for the design of Ada® programs. The methodology combines stepwise refinement and the information hiding…”
Získat plný text
Journal Article -
2
Generation and consistency checking of design and program structures
ISSN: 0098-5589, 1939-3520Vydáno: New York, NY IEEE 01.01.1986Vydáno v IEEE transactions on software engineering (01.01.1986)“…The author describes a mini methodology for generation and representation of design and program structures and for structural consistency checking between two…”
Získat plný text
Journal Article -
3
A Successful Software Development
ISSN: 0098-5589, 1939-3520Vydáno: New York, NY IEEE 01.11.1984Vydáno v IEEE transactions on software engineering (01.11.1984)“…In 1980, System Development Corporation (SDC) delivered software for a modern air defense system (ADS) for a foreign country. Development of the ADS software…”
Získat plný text
Journal Article