William G. Wood

According to our database, William G. Wood authored at least 5 papers between 1989 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

Government product lines.

William G. Wood

Proceedings of the Software Product Lines; Experiences and Research Directions, 2000

1995

Assessing the Quality of Large, Software-Intensive Systems: A Case Study.

Alan W. Brown, David J. Carney, Paul C. Clements, B. Craig Meyers, Dennis B. Smith, Nelson H. Weiderman, William G. Wood

Proceedings of the 5th European Software Engineering Conference, 1995

1991

A Specification of the Cat and Mouse Problem.

William G. Wood

Proceedings of the Real-Time: Theory in Practice, 1991

1990

Application of formal methods to system and software specification.

William G. Wood

Proceedings of the Conference proceedings on Formal methods in software development, 1990

1989

Temporal Logic Case Study.

William G. Wood

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989