Generation and consistency checking of design and program structures

The author describes a mini methodology for generation and representation of design and program structures and for structural consistency checking between two successive designs or between a design and a program. This methodology comprises a tool (Program Design Language), a representation, and cons...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	IEEE transactions on software engineering Ročník SE-12; číslo 1; s. 172 - 181
Hlavní autor:	Lichtman, Z. L.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY IEEE 01.01.1986 Institute of Electrical and Electronics Engineers IEEE Computer Society
Témata:	Aerospace electronics Algorithms Applied sciences Computer languages Computer science; control theory; systems Consistency checking Customer relationship management Data mining Design Development Exact sciences and technology Nickel Program Design Language (PDL) Program processors program structure Quality control Reliability Software software development Software engineering software quality assurance software tools Structure Software tool Software development Module Large scale system
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!

Buďte první, kdo okomentuje tento záznam!