Volume 15; Issue 2

Journal of Systems and Software

Volume 15; Issue 2
1

Formal methods vs. heuristics: Clarifying a controversy

Year:
1991
Language:
english
File:
PDF, 340 KB
english, 1991
2

Parametric estimation of programming effort: An object-oriented model

Year:
1991
Language:
english
File:
PDF, 944 KB
english, 1991
3

High-level tools for language implementation

Year:
1991
Language:
english
File:
PDF, 1.94 MB
english, 1991
4

An overview of automated software testing

Year:
1991
Language:
english
File:
PDF, 686 KB
english, 1991
5

A computer aided design system to develop high performance software

Year:
1991
Language:
english
File:
PDF, 979 KB
english, 1991
7

An experiment in software sizing with structured analysis metrics

Year:
1991
Language:
english
File:
PDF, 1.27 MB
english, 1991
8

Requirements specification for Ada software under DoD-STD-2167A

Year:
1991
Language:
english
File:
PDF, 1.07 MB
english, 1991
9

Process interface modeling and consistency checking

Year:
1991
Language:
english
File:
PDF, 784 KB
english, 1991
10

Deliberations on Kung's process interface modeling

Year:
1991
Language:
english
File:
PDF, 681 KB
english, 1991
11

Response to “deliberations on Kung's process interface modeling”

Year:
1991
Language:
english
File:
PDF, 41 KB
english, 1991
12

Biographies

Year:
1991
Language:
english
File:
PDF, 193 KB
english, 1991