Building a push-button RESOLVE verifier: Progress and challenges von Sitaraman, Murali, Adcock, Bruce, Avigad, Jeremy, Bronish, Derek, Bucci, Paolo, Frazier, David, Friedman, Harvey M., Harton, Heather, Heym, Wayne, Kirschenbaum, Jason, Krone, Joan, Smith, Hampton, Weide, Bruce W.

Volltext

NEWPATH: An Innovative Program to Nurture IT Entrepreneurs von Soundarajan, Neelam, Camp, Stephen M, Lee, David, Ramnath, Rajiv, Weide, Bruce W

Volltext

Providing Early Warnings of Specification Problems von Hoffman, Dustin, Tagore, Aditi, Zaccai, Diego, Weide, Bruce W.

Volltext

Contract-checking wrappers for C++ classes von Edwards, S.H., Sitaraman, M., Weide, B.W., Hollingsworth, E.

Volltext

The new context for software engineering education and training von Saiedian, Hossein, Weide, Bruce W.

Volltext

Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies von Sridhar, Nigamanth, Weide, Bruce W., Bucci, Paolo

Volltext

On the practical need for abstraction relations to verify abstract data type representations von Sitaraman, M., Weide, B.W., Ogden, W.F.

Volltext

The effects of layering and encapsulation on software development cost and quality von Zweben, S.H., Edwards, S.H., Weide, B.W., Hollingsworth, J.E.

Volltext

Recasting algorithms to encourage reuse von Weide, B.W., Ogden, W.F., Sitaraman, M.

Volltext

Automatically Detecting Inconsistencies in Program Specifications von Tagore, Aditi, Weide, Bruce W.

Volltext

A Data Abstraction Alternative to Data Structure/Algorithm Modularization von Sitaraman, Murali, Weide, Bruce W., Long, Timothy J., Ogden, William F.

Volltext

A Synopsis of Twenty Five Years of RESOLVE PhD Research Efforts von Sitaraman, Murali, Weide, Bruce W.

Volltext

Optimal Expected-Time Algorithms for Closest Point Problems von Bentley, Jon Louis, Weide, Bruce W., Yao, Andrew C.

Volltext

Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study von Tagore, Aditi, Zaccai, Diego, Weide, Bruce W.

Volltext

Which pointer errors do students make? von Adcock, Bruce, Bucci, Paolo, Heym, Wayne D, Hollingsworth, Joseph E, Long, Timothy, Weide, Bruce W

Volltext

A specification-based approach to reasoning about pointers von Kulczycki, Gregory, Sitaraman, Murali, Weide, Bruce W, Rountev, Atanas

Volltext

Reverse engineering of legacy code exposed von Weide, Bruce W., Heym, Wayne D., Hollingsworth, Joseph E.

Volltext

Which pointer errors do students make? von Adcock, Bruce, Bucci, Paolo, Heym, Wayne D., Hollingsworth, Joseph E., Long, Timothy, Weide, Bruce W.

Volltext

High-performance operating system primitives for robotics and real-time control systems von Schwan, Karsten, Bihari, Tom, Weide, Bruce W., Taulbee, Gregor

Volltext

A formal approach to component-based software engineering: education and evaluation von Sitaraman, M., Long, T.J., Weide, B.W., Harner, E.J., Liqing Wang

Volltext