Bruce W. Weide

According to our database1, Bruce W. Weide authored at least 67 papers between 1977 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
Panel: Engage in Reasoning with Tools.
Proceedings of the 47th ACM Technical Symposium on Computing Science Education, Memphis, TN, USA, March 02, 2016

2014
Syrus: providing practice problems in discrete mathematics with instant feedback.
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

Special session: "hands-on" tutorial: teaching software correctness with RESOLVE.
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

Providing Early Warnings of Specification Problems.
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

2013
Engaging mathematical reasoning exercises.
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

Automatically Detecting Inconsistencies in Program Specifications.
Proceedings of the NASA Formal Methods, 2013


2012
Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study.
Proceedings of the NASA Formal Methods, 2012

Poster Abstract: Getting Out of the Way - Safety Verification without Compromise.
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

2011
Building a push-button RESOLVE verifier: Progress and challenges.
Formal Asp. Comput., 2011

2009
Traditional assignment considered harmful.
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?
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

2008
Incremental Benchmarks for Software Verification Tools and Techniques.
Proceedings of the Verified Software: Theories, 2008

2007
Which pointer errors do students make?
Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007

Abstracting Pointers for a Verifying Compiler.
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

2006
A specification-based approach to reasoning about pointers.
ACM SIGSOFT Software Engineering Notes, 2006

2005
Issues in performance certification for high-level automotive control software.
ACM SIGSOFT Software Engineering Notes, 2005

The new context for software engineering education and training.
Journal of Systems and Software, 2005

Using parse tree validation to prevent SQL injection attacks.
Proceedings of the 5th International Workshop on Software Engineering and Middleware, 2005

2004
Contract-Checking Wrappers for C++ Classes.
IEEE Trans. Software Eng., 2004

Research, teaching, and service: the miniconference as a model for CS graduate seminar courses.
Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

Components-first approaches to CS1/CS2: principles and practice.
Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

2003
Dynamic Module Replacement in Distributed Protocols.
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.
Computer Science Education, 2002

Algorithms and object-oriented programming: bridging the gap.
Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002, Cincinnati, Kentucky, USA, February 27, 2002

Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies.
Proceedings of the Software Reuse: Methods, 2002

2001
Identifying an appropriate view of software components for undergraduate education.
Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001

Do we really teach abstraction?
Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001

A Formal Approach to Component-Based Software Engineering: Education and Evaluation.
Proceedings of the 23rd International Conference on Software Engineering, 2001

2000
Experience report: using RESOLVE/C++ for commercial software.
Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Checkmate: cornering C++ dynamic memory errors with checked pointers.
Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education, 2000

Reasoning about Software-Component Behavior.
Proceedings of the Software Reuse: Advances in Software Reusability, 2000

1999
Reuse Research: Contributions, Problems and Non-Problems.
SSR, 1999

Client view first: an exodus from implementation-biased teaching.
Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999

1998
Providing intellectual focus to CS1/CS2.
Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, 1998, Atlanta, Georgia, USA, February 26, 1998

A framework for detecting interface violations in component-based software.
Proceedings of the Fifth International Conference on Software Reuse, 1998

A Data Abstraction Alternative to Data Structure/Algorithm Modularization.
Proceedings of the Generic Programming, 1998

1997
On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations.
IEEE Trans. Software Eng., 1997

1996
Characterizing observability and controllability of software components.
Proceedings of Fourth IEEE International Conference on Software Reuse, 1996

1995
The Effects of Layering and Encapsulation on Software Development Cost and Quality.
IEEE Trans. Software Eng., 1995

Where Is Software Headed? A Virtual Roundtable.
IEEE Computer, 1995

Panel Languages and Models for Reusable Components.
SSR, 1995

Reverse Engineering of Legacy Code Exposed.
Proceedings of the 17th International Conference on Software Engineering, 1995

1994
Design and Specification of Iterators Using the Swapping Paradigm.
IEEE Trans. Software Eng., 1994

Recasting Algorithms to Encourage Reuse.
IEEE Software, 1994

What Changes Are Needed For Undergraduate CS Curricula to Educate "Software Engineers"?
TRI-Ada, 1994

1993
A Framework for Modeling Software Engineering Processes.
International Journal of Software Engineering and Knowledge Engineering, 1993

Guest Editor's Introduction.
International Journal of Software Engineering and Knowledge Engineering, 1993

1992
Visual programming system for development of image processing applications.
J. Electronic Imaging, 1992

1991
Copying and Swapping: Influences on the Design of Reusable Software Components.
IEEE Trans. Software Eng., 1991

Access Control Strategies for Coordinating Teams of Software Engineers.
International Journal of Software Engineering and Knowledge Engineering, 1991

Reusable Software Components.
Advances in Computers, 1991

1990
The Role of Traditional Engineering Design Techniques in Software Engineering.
Proceedings of the SEKE'90, 1990

1989
Conceptualizing the Software Engineering Process.
Proceedings of the SEKE'89, 1989

1987
High-Performance Operating System Primitives for Robotics and Real-Time Control Systems.
ACM Trans. Comput. Syst., 1987

STILE: A Graphical Design and Development Environment.
Proceedings of the COMPCON'87, 1987

1986
Graphical description and run-time environments for Real-Time software.
Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1985
GEM: Operating system primitives for robots and real-time control systems.
Proceedings of the 1985 IEEE International Conference on Robotics and Automation, 1985

1984
Process Control: Integration and Design Methodology Support.
IEEE Computer, 1984

1982
Modeling Unusual Behavior of Parallel Algorithms.
IEEE Trans. Computers, 1982

Modeling of distributed database concurrency control Mechanisms using an extended petri net formalism.
Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982

1980
Optimal Expected-Time Algorithms for Closest Point Problems.
ACM Trans. Math. Softw., 1980

Random Graphs and Graph Optimization Problems.
SIAM J. Comput., 1980

1979
Surveyor's Forum: A Recurrent Problem.
ACM Comput. Surv., 1979

1978
Surveyor's Forum: Experimental Analysis Discretely Done: Author's Reply.
ACM Comput. Surv., 1978

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

1977
A Survey of Analysis Techniques for Discrete Algorithms.
ACM Comput. Surv., 1977


  Loading...