


default search action
Advances in Computers, Volume 58
Volume 58, 2003
- Katrina Maxwell:

Software development productivity. 1-46 - Victor L. Winter, Steve Roach, Gregory L. Wickstrom:

Transformation-oriented programming: A development methodology for high assurance software. 47-116 - Armin Biere

, Alessandro Cimatti
, Edmund M. Clarke, Ofer Strichman
, Yunshan Zhu:
Bounded model checking. 117-148 - Atif M. Memon:

Advances in GUI testing. 149-201 - Marc Roper, Alastair Dunsmore, Murray Wood:

Software inspections. 203-238 - Lawrence Bernstein:

Software fault tolerance forestalls crashes: To err is human; to forgive is fault tolerant. 239-286 - Rayford B. Vaughn:

Advances in the provisions of system and software security - Thirty years of progress. 287-340

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














