Models and metrics for software management and engineering : Tutorial. initially pres. at COMPSAC'80

Veröffentlicht 1980

Characterizing and modeling the cost of rework in a library of reusable software components

Veröffentlicht 1997

Tutorial on models and metrics for software management and engineering

von Basili, V. R.
Veröffentlicht 1980

Software errors and complexity : An empirical investigation

von Basili, V.
Veröffentlicht 1982

A comparative analysis of functional correctness

von Dunlop, D.
Veröffentlicht 1980

Investigating software development approaches

von Basili, V.
Veröffentlicht 1978

Metrics of interest in an ADA development

von Basili, V.
Veröffentlicht in IEEE Computer Society Workshop On Software Engineering Technology Transfer. 1983. S. 22-29 (1983)

Analysing a syntactic family of complexity metrics

von Basili, V.
Veröffentlicht 1981

A new verification strategy for iterative programs

von Dunlop, D.
Veröffentlicht 1981

Generalizing specifications for uniformly implemented loops

von Dunlop, D.
Veröffentlicht 1981

A heuristic for deriving loop functions

von Dunlop, D.
Veröffentlicht 1981

Simpl-r and its application to large, sparse matrix problems

von Mshugh, J.
Veröffentlicht 1974

A hierarchical machine model for the semantics of programming languages

von Basili, V.
Veröffentlicht 1973

Evaluating software development by analysis of changes: the data from the software engineering laboratory

von Basili, V.
Veröffentlicht 1982

Structured programming : Tutorial. initially presented at compcon fall 75. rev. 1977

Veröffentlicht 1977

Structured programming : Integrated practices. tutorial

Veröffentlicht 1981

Structural coverage of functional testing

von Basili, V.
Veröffentlicht 1984

Understanding and documenting programs

von Basili, V.
Veröffentlicht 1980

Flex: a flexible, automated process design system

von Sutton, S.
Veröffentlicht 1979

Simpl-t: a structured programming language

von Basili, V.
Veröffentlicht 1974