Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository

2007 ◽  
Author(s):  
Leo Freitas ◽  
Konstantinos Mokos ◽  
Jim Woodcock
Keyword(s):  
Software Repository ◽  
Verified Software ◽  
Verified Software Repository

scholarly journals The verified software repository: a step towards the verifying compiler

2006 ◽  
Vol 18 (2) ◽  
pp. 143-151 ◽  
Author(s):  
J.C. Bicarregui ◽  
C.A.R. Hoare ◽  
J.C.P. Woodcock
Keyword(s):  
Software Repository ◽  
Verifying Compiler ◽  
Verified Software ◽  
Verified Software Repository

An Algorithm for Gradual Patch Acceptance Detection in Open Source Software Repository Mining

2012 ◽  
Vol E95.A (9) ◽  
pp. 1478-1489
Author(s):  
Passakorn PHANNACHITTA ◽  
Akinori IHARA ◽  
Pijak JIRAPIWONG ◽  
Masao OHIRA ◽  
Ken-ichi MATSUMOTO
Keyword(s):  
Open Source ◽  
Open Source Software ◽  
Software Repository ◽  
Repository Mining ◽  
Software Repository Mining

scholarly journals The Netlib Mathematical Software Repository

1995 ◽  
Vol 1 (3) ◽  
Author(s):  
Shirley Browne ◽  
Jack Dongarra ◽  
Eric Grosse ◽  
Tom Rowan
Keyword(s):  
Mathematical Software ◽  
Software Repository
Sign in / Sign up

Export Citation Format

Share Document