Sciweavers

ICECCS
2007
IEEE
120views Hardware» more  ICECCS 2007»
14 years 3 months ago
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
Leo Freitas, Konstantinos Mokos, Jim Woodcock
METRICS
1999
IEEE
14 years 3 months ago
Re-Planning for a Successful Project Schedule
Time to market or project duration has increasing significance for commercial software development. We report on a longitudinal study of a project at IBM Hursley Park. The focus o...
Austen Rainer, Martin J. Shepperd