Bruce W. Weide

According to our database, Bruce W. Weide authored at least 76 papers between 1977 and 2018.

Collaborative distances:

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

2018

A Synopsis of Twenty Five Years of RESOLVE PhD Research Efforts: Software Development Effort Estimation Using Ensemble Techniques.

Murali Sitaraman, Bruce W. Weide

ACM SIGSOFT Softw. Eng. Notes, 2018

2016

Panel: Engage in Reasoning with Tools.

Gregory Kulczycki, Murali Sitaraman, Nigamanth Sridhar, Bruce W. Weide

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

2014

Syrus: providing practice problems in discrete mathematics with instant feedback.

Diego Zaccai, Aditi Tagore, Dustin Hoffman, Jason Kirschenbaum, Zakariya Bainazarov, Harvey M. Friedman, Dennis K. Pearl, Bruce W. Weide

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

Special session: "hands-on" tutorial: teaching software correctness with RESOLVE.

Murali Sitaraman, Bruce W. Weide

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

Providing Early Warnings of Specification Problems.

Dustin Hoffman, Aditi Tagore, Diego Zaccai, Bruce W. Weide

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

2013

Engaging mathematical reasoning exercises.

Joseph E. Hollingsworth, Joan Krone, Jason O. Hallstrom, Murali Sitaraman, Bruce W. Weide

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

Automatically Detecting Inconsistencies in Program Specifications.

Aditi Tagore, Bruce W. Weide

Proceedings of the NASA Formal Methods, 2013

A Language for Building Verified Software Components.

Gregory Kulczycki, Murali Sitaraman, Joan Krone, Joseph E. Hollingsworth, William F. Ogden, Bruce W. Weide, Paolo Bucci, Charles T. Cook, Svetlana Drachova-Strang, Blair Durkee, Heather K. Harton, Wayne D. Heym, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, Diego Zaccai

Proceedings of the Safe and Secure Software Reuse, 2013

2012

Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study.

Aditi Tagore, Diego Zaccai, Bruce W. Weide

Proceedings of the NASA Formal Methods, 2012

Poster Abstract: Getting Out of the Way - Safety Verification without Compromise.

Theodore P. Pavlic, Sai Prathyusha Peddi, Paolo A. G. Sivilotti, Bruce W. Weide

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

2011

Building a push-button RESOLVE verifier: Progress and challenges.

Murali Sitaraman, Bruce M. Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather K. Harton, Wayne D. Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, Bruce W. Weide

Formal Aspects Comput., 2011

2009

Traditional assignment considered harmful.

Scott M. Pike, Wayne D. Heym, Bruce M. Adcock, Derek Bronish, Jason Kirschenbaum, Bruce W. Weide

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?

Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish, Hampton Smith, Heather K. Harton, Murali Sitaraman, Bruce W. Weide

Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

2008

Incremental Benchmarks for Software Verification Tools and Techniques.

Bruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier

Proceedings of the Verified Software: Theories, 2008

2007

Which pointer errors do students make?

Bruce M. Adcock, Paolo Bucci, Wayne D. Heym, Joseph E. Hollingsworth, Timothy J. Long, Bruce W. Weide

Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007

Abstracting Pointers for a Verifying Compiler.

Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide

Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

2006

A specification-based approach to reasoning about pointers.

Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev

ACM SIGSOFT Softw. Eng. Notes, 2006

SAVCBS 2006 challenge: specification of iterators.

Bruce W. Weide

Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, 2006

2005

Issues in performance certification for high-level automotive control software.

Bruce W. Weide, Paolo Bucci, Wayne D. Heym, Murali Sitaraman, Giorgio Rizzoni

ACM SIGSOFT Softw. Eng. Notes, 2005

The new context for software engineering education and training.

Hossein Saiedian, Bruce W. Weide

J. Syst. Softw., 2005

Using parse tree validation to prevent SQL injection attacks.

Gregory Buehrer, Bruce W. Weide, Paolo A. G. Sivilotti

Proceedings of the 5th International Workshop on Software Engineering and Middleware, 2005

2004

Contract-Checking Wrappers for C++ Classes.

Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth

IEEE Trans. Software Eng., 2004

Research, teaching, and service: the miniconference as a model for CS graduate seminar courses.

Paolo A. G. Sivilotti, Bruce W. Weide

Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

Components-first approaches to CS1/CS2: principles and practice.

Emily Howe, Matthew Thornton, Bruce W. Weide

Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

2003

Dynamic Module Replacement in Distributed Protocols.

Nigamanth Sridhar, Scott M. Pike, Bruce W. Weide

Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003

2002

Teaching Component-Based Software Engineering: A Formal Approach and Its Evaluation.

Murali Sitaraman, Timothy J. Long, Bruce W. Weide, E. James Harner, Liqing Wang

Comput. Sci. Educ., 2002

Algorithms and object-oriented programming: bridging the gap.

Paolo Bucci, Wayne D. Heym, Timothy J. Long, Bruce W. Weide

Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002

Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies.

Nigamanth Sridhar, Bruce W. Weide, Paolo Bucci

Proceedings of the Software Reuse: Methods, 2002

2001

Identifying an appropriate view of software components for undergraduate education.

Allen S. Parrish, Joe Hollingsworth, Peter M. Maurer, Benjamin Shults, Bruce W. Weide

Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001

Do we really teach abstraction?

Paolo Bucci, Timothy J. Long, Bruce W. Weide

Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001

A Formal Approach to Component-Based Software Engineering: Education and Evaluation.

Murali Sitaraman, Timothy J. Long, Bruce W. Weide, E. James Harner, Liqing Wang

Proceedings of the 23rd International Conference on Software Engineering, 2001

2000

Experience report: using RESOLVE/C++ for commercial software.

Joseph E. Hollingsworth, Lori Blankenship, Bruce W. Weide

Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Checkmate: cornering C++ dynamic memory errors with checked pointers.

Scott M. Pike, Bruce W. Weide, Joseph E. Hollingsworth

Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education, 2000

Reasoning about Software-Component Behavior.

Murali Sitaraman, Steven Atkinson, Gregory Kulczycki, Bruce W. Weide, Timothy J. Long, Paolo Bucci, Wayne D. Heym, Scott M. Pike, Joseph E. Hollingsworth

Proceedings of the Software Reuse: Advances in Software Reusability, 2000

1999

Reuse Research: Contributions, Problems and Non-Problems.

Murali Sitaraman, Maggie Davis, Premkumar T. Devanbu, Jeffrey S. Poulin, Alexander Ran, Bruce W. Weide

Proceedings of the Fifth ACM SIGSOFT Symposium on Software Reusability, 1999

Client view first: an exodus from implementation-biased teaching.

Timothy J. Long, Bruce W. Weide, Paolo Bucci, Murali Sitaraman

Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999

1998

Teaching software architecture principles in CS1/CS2.

Paolo Bucci, Timothy J. Long, Bruce W. Weide

Proceedings of the Third International Workshop on Software Architecture, 1998

Providing intellectual focus to CS1/CS2.

Timothy J. Long, Bruce W. Weide, Paolo Bucci, David S. Gibson, Joseph E. Hollingsworth, Murali Sitaraman, Stephen H. Edwards

Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, 1998

A framework for detecting interface violations in component-based software.

Stephen H. Edwards, Gulam Shakir, Murali Sitaraman, Bruce W. Weide, Joe Hollingsworth

Proceedings of the Fifth International Conference on Software Reuse, 1998

A Data Abstraction Alternative to Data Structure/Algorithm Modularization.

Murali Sitaraman, Bruce W. Weide, Timothy J. Long, William F. Ogden

Proceedings of the Generic Programming, 1998

1997

On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations.

Murali Sitaraman, Bruce W. Weide, William F. Ogden

IEEE Trans. Software Eng., 1997

WISR8: 8th annual workshop on software reuse: summary and working group reports.

Stephen H. Edwards, Bruce W. Weide

ACM SIGSOFT Softw. Eng. Notes, 1997

1996

Characterizing observability and controllability of software components.

Bruce W. Weide, Stephen H. Edwards, Wayne D. Heym, Timothy J. Long, William F. Ogden

Proceedings of Fourth IEEE International Conference on Software Reuse, 1996

1995

The Effects of Layering and Encapsulation on Software Development Cost and Quality.

Stuart H. Zweben, Stephen H. Edwards, Bruce W. Weide, Joseph E. Hollingsworth

IEEE Trans. Software Eng., 1995

Where Is Software Headed? A Virtual Roundtable.

Ted G. Lewis, Dave Power, Bertrand Meyer, Jack Grimes, Mike Potel, Ronald J. Vetter, Phillip A. Laplante, Wolfgang Pree, Gustav Pomberger, Mark D. Hill, James R. Larus, David A. Wood, Hesham El-Rewini, Bruce W. Weide

Computer, 1995

Panel Languages and Models for Reusable Components.

Ben Whittle, Don S. Batory, Reidar Conradi, J. Moore, Will Tracz, Bruce W. Weide

Proceedings of the ACM SIGSOFT Symposium on Software Reusability, 1995

Reverse Engineering of Legacy Code Exposed.

Bruce W. Weide, Wayne D. Heym, Joseph E. Hollingsworth

Proceedings of the 17th International Conference on Software Engineering, 1995

1994

Design and Specification of Iterators Using the Swapping Paradigm.

Bruce W. Weide, Stephen H. Edwards, Douglas E. Harms, David Alex Lamb

IEEE Trans. Software Eng., 1994

Recasting Algorithms to Encourage Reuse.

Bruce W. Weide, William F. Ogden, Murali Sitaraman

IEEE Softw., 1994

Component-based software using RESOLVE.

Marulli Sitariman, Bruce W. Weide

ACM SIGSOFT Softw. Eng. Notes, 1994

Part I: the RESOLVE framework and discipline: a research synopsis.

William F. Ogden, Murali Sitaraman, Bruce W. Weide, Stuart H. Zweben

ACM SIGSOFT Softw. Eng. Notes, 1994

Part IV: RESOLVE components in Ada and C++.

Joseph E. Hollingsworth, Sethu Sreerama, Bruce W. Weide, Sergey Zhupanov

ACM SIGSOFT Softw. Eng. Notes, 1994

Part II: specifying components in RESOLVE.

Stephen H. Edwards, Wayne D. Heym, Timothy J. Long, Murali Sitaraman, Bruce W. Weide

ACM SIGSOFT Softw. Eng. Notes, 1994

Part III: implementing components in RESOLVE.

Paolo Bucci, Joseph E. Hollingsworth, Joan Krone, Bruce W. Weide

ACM SIGSOFT Softw. Eng. Notes, 1994

What Changes Are Needed For Undergraduate CS Curricula to Educate "Software Engineers"?

Murali Sitaraman, Michael B. Feldman, Gary Ford, William B. Frakes, Joseph E. Hollingsworth, David F. McAllister, Bruce W. Weide

Proceedings of the 1994 Conference on TRI-Ada 1994, 1994

1993

A Framework for Modeling Software Engineering Processes.

Bruce W. Weide, Samuel DeFazio

Int. J. Softw. Eng. Knowl. Eng., 1993

Guest Editor's Introduction.

Bruce W. Weide

Int. J. Softw. Eng. Knowl. Eng., 1993

1992

Visual programming system for development of image processing applications.

Joseph W. Klingler, Lee T. Andrews, Clifton L. Vaughan, Bruce W. Weide

J. Electronic Imaging, 1992

1991

Copying and Swapping: Influences on the Design of Reusable Software Components.

Douglas E. Harms, Bruce W. Weide

IEEE Trans. Software Eng., 1991

Access Control Strategies for Coordinating Teams of Software Engineers.

Michael P. Stovsky, Bruce W. Weide

Int. J. Softw. Eng. Knowl. Eng., 1991

Reusable Software Components.

Bruce W. Weide, William F. Ogden, Stuart H. Zweben

Adv. Comput., 1991

1990

The Role of Traditional Engineering Design Techniques in Software Engineering.

Michael P. Stovsky, Bruce W. Weide

Proceedings of the SEKE'90, 1990

1989

Conceptualizing the Software Engineering Process.

Bruce W. Weide, Samuel DeFazio

Proceedings of the SEKE'89, 1989

1987

High-Performance Operating System Primitives for Robotics and Real-Time Control Systems.

Karsten Schwan, Thomas E. Bihari, Bruce W. Weide, Gregor Taulbee

ACM Trans. Comput. Syst., 1987

STILE: A Graphical Design and Development Environment.

Michael P. Stovsky, Bruce W. Weide

Proceedings of the COMPCON'87, 1987

1986

Graphical description and run-time environments for Real-Time software.

Sanjiv Taneja, Bruce W. Weide

Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1985

GEM: Operating system primitives for robots and real-time control systems.

Karsten Schwan, Thomas E. Bihari, Bruce W. Weide, Gregor Taulbee

Proceedings of the 1985 IEEE International Conference on Robotics and Automation, 1985

1984

Process Control: Integration and Design Methodology Support.

Bruce W. Weide, Mark E. Brown, Jayashree Ramanathan, Karsten Schwan

Computer, 1984

1982

Modeling Unusual Behavior of Parallel Algorithms.

Bruce W. Weide

IEEE Trans. Computers, 1982

Modeling of distributed database concurrency control Mechanisms using an extended petri net formalism.

M. Tamer Özsu, Bruce W. Weide

Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982

1980

Optimal Expected-Time Algorithms for Closest Point Problems.

Jon Louis Bentley, Bruce W. Weide, Andrew Chi-Chih Yao

ACM Trans. Math. Softw., 1980

Random Graphs and Graph Optimization Problems.

Bruce W. Weide

SIAM J. Comput., 1980

1979

Surveyor's Forum: A Recurrent Problem.

Bruce W. Weide

ACM Comput. Surv., 1979

1978

Surveyor's Forum: Experimental Analysis Discretely Done: Author's Reply.

Bruce W. Weide

ACM Comput. Surv., 1978

On the Complexity of Computing the Measure of U[ai, bi].

Michael L. Fredman, Bruce W. Weide

Commun. ACM, 1978

1977

A Survey of Analysis Techniques for Discrete Algorithms.

Bruce W. Weide

ACM Comput. Surv., 1977