Bruce W. Weide
Affiliations:- Ohio State University, Columbus, USA
According to our database1,
Bruce W. Weide
authored at least 76 papers
between 1977 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on dl.acm.org
On csauthors.net:
Bibliography
2018
A Synopsis of Twenty Five Years of RESOLVE PhD Research Efforts: Software Development Effort Estimation Using Ensemble Techniques.
ACM SIGSOFT Softw. Eng. Notes, 2018
2016
Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016
2014
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014
2013
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013
Proceedings of the NASA Formal Methods, 2013
Proceedings of the Safe and Secure Software Reuse, 2013
2012
Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study.
Proceedings of the NASA Formal Methods, 2012
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012
2011
Formal Aspects Comput., 2011
2009
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009
2008
Proceedings of the Verified Software: Theories, 2008
2007
Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007
2006
ACM SIGSOFT Softw. Eng. Notes, 2006
Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, 2006
2005
ACM SIGSOFT Softw. Eng. Notes, 2005
J. Syst. Softw., 2005
Proceedings of the 5th International Workshop on Software Engineering and Middleware, 2005
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
Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004
2003
Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003
2002
Comput. Sci. Educ., 2002
Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002
Proceedings of the Software Reuse: Methods, 2002
2001
Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001
Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001
Proceedings of the 23rd International Conference on Software Engineering, 2001
2000
Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000
Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education, 2000
Proceedings of the Software Reuse: Advances in Software Reusability, 2000
1999
Proceedings of the Fifth ACM SIGSOFT Symposium on Software Reusability, 1999
Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999
1998
Proceedings of the Third International Workshop on Software Architecture, 1998
Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, 1998
Proceedings of the Fifth International Conference on Software Reuse, 1998
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
ACM SIGSOFT Softw. Eng. Notes, 1997
1996
Proceedings of Fourth IEEE International Conference on Software Reuse, 1996
1995
IEEE Trans. Software Eng., 1995
Panel Languages and Models for Reusable Components.
Proceedings of the ACM SIGSOFT Symposium on Software Reusability, 1995
Proceedings of the 17th International Conference on Software Engineering, 1995
1994
IEEE Trans. Software Eng., 1994
ACM SIGSOFT Softw. Eng. Notes, 1994
What Changes Are Needed For Undergraduate CS Curricula to Educate "Software Engineers"?
Proceedings of the 1994 Conference on TRI-Ada 1994, 1994
1993
Int. J. Softw. Eng. Knowl. Eng., 1993
1992
J. Electronic Imaging, 1992
1991
IEEE Trans. Software Eng., 1991
Int. J. Softw. Eng. Knowl. Eng., 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
Proceedings of the 14th ACM Annual Conference on Computer Science, 1986
1985
Proceedings of the 1985 IEEE International Conference on Robotics and Automation, 1985
1984
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
ACM Trans. Math. Softw., 1980
1979
1978
ACM Comput. Surv., 1978
1977