Really Rethinking 'Formal Methods' von Parnas, D.L.

Volltext

The role of inspection in software quality assurance von Parnas, D.L., Lawford, M.

Volltext

Point/Counterpoint von Parnas, D.L., Curtis, B.

Volltext

Software engineering programs are not computer science programs von Parnas, D.L.

Volltext

Using test oracles generated from program documentation von Peters, D.K., Parnas, D.L.

Volltext

Requirements-based monitors for real-time systems von Peters, D.K., Parnas, D.L.

Volltext

On satisfying timing constraints in hard-real-time systems von Xu, J., Parnas, D.L.

Volltext

Scheduling processes with release times, deadlines, precedence and exclusion relations von Xu, J., Parnas, D.L.

Volltext

Inspection's role in software quality assurance von Parnas, D.L., Lawford, M.

Volltext

Precise Documentation of Critical Software von Parnas, D.L., Vilkomir, S.A.

Volltext

Predicate logic for software engineering von Parnas, D.L.

Volltext

Keynote 1 von Parnas, D.L.

Volltext

Document driven disciplined development of software von Parnas, D.L.

Volltext

Education for computing professionals von Parnas, D.L.

Volltext

Why software jewels are rare von Parnas, D.L.

Volltext

Software aging von Parnas, D.L.

Volltext

Simulating the behavior of software modules by trace rewriting von Yabo Wang, Parnas, D.L.

Volltext

Designing Software for Ease of Extension and Contraction von Parnas, D.L.

Volltext

The Modular Structure of Complex Systems von Parnas, D.L., Clements, P.C., Weiss, D.M.

Volltext

On the Design and Development of Program Families von Parnas, D.L.

Volltext