Zobrazeno 1 - 10
of 91
pro vyhledávání: '"Bruce W. Weide"'
Publikováno v:
SIGCSE
A central goal of computer science education is to teach students how to reason about the correctness of the code they write. Typically, students use a trial and error process and check that their logic "works" by running it on test inputs. Typically
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9bcbfe4060995e650e7f25d9b7d311c7
https://doi.org/10.1145/2839509.2844657
https://doi.org/10.1145/2839509.2844657
Autor:
Bruce Adcock, Derek Bronish, Jason Kirschenbaum, Hampton Smith, Joan Krone, David Frazier, Heather Harton, Harvey M. Friedman, Jeremy Avigad, Wayne D. Heym, Murali Sitaraman, Bruce W. Weide, Paolo Bucci
Publikováno v:
Formal Aspects of Computing. 23:607-626
A central objective of the verifying compiler grand challenge is to develop a push-button verifier that generates proofs of correctness in a syntax-driven fashion similar to the way an ordinary compiler generates machine code. The software developer
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f20073e366c2f5482d2b9f18df997bfb
https://doi.org/10.1007/s00165-010-0154-3
https://doi.org/10.1007/s00165-010-0154-3
Autor:
Bruce W. Weide, Murali Sitaraman
Publikováno v:
ACM SIGSOFT Software Engineering Notes. 43:17-17
In 1994, ACM SIGSOFT Software Engineering Notes (SEN), courtesy of Will Tracz, SEN Editor at the time, published a 48- page special feature on RESOLVE: a combined specification and programming language with a design discipline to facilitate construct
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::05e04b355e9be8b55a62c1ced6e9b490
https://doi.org/10.1145/3229783.3229794
https://doi.org/10.1145/3229783.3229794
Publikováno v:
IEEE Transactions on Software Engineering. 30:794-810
Two kinds of interface contract violations can occur in component-based software: A client component can fail to satisfy a requirement of a component it is using, or a component implementation can fail to fulfill its obligations to the client. The tr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7f0e1dfa7de52b0dbf64a088316138de
https://doi.org/10.1109/tse.2004.80
https://doi.org/10.1109/tse.2004.80
Publikováno v:
SIGCSE
Among the many ways to focus CS1/CS2 content, two have been published that emphasize concepts of component-based software engineering. Courses based on these two instances of a "components-first" approach are remarkably similar in several crucial res
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2c23177b9344ae7719e7149901e549d1
https://doi.org/10.1145/1028174.971404
https://doi.org/10.1145/1028174.971404
Publikováno v:
Computer Science Education. 12:11-36
This paper summarizes the RESOLVE approach for introducing component-based software engineering (CBSE) early in the undergraduate CS curriculum, and an evaluation of its impact at two institutions. Principles taught include a modular style of softwar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b07b670cff1b4b37bb03056aa61123db
https://doi.org/10.1076/csed.12.1.11.8210
https://doi.org/10.1076/csed.12.1.11.8210
Autor:
Bruce W. Weide, Murali Sitaraman
Publikováno v:
SIGCSE
Program correctness is central to computing, with instructors striving to convey the importance of getting it right starting in CS1. Teaching this material carefully demands a uniform framework to specify, implement, and reason about software correct
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4a367a340a758034fa3a33de546bb964
https://doi.org/10.1145/2538862.2538987
https://doi.org/10.1145/2538862.2538987
Autor:
Aditi Tagore, Harvey M. Friedman, Dennis K. Pearl, Diego Zaccai, Bruce W. Weide, Dustin Hoffman, Jason Kirschenbaum, Zakariya Bainazarov
Publikováno v:
SIGCSE
Syrus is courseware designed with the goal of helping students better understand logical sentences involving quantifiers. Syrus uses template-guided mutation of "seed" formulas to generate candidate practice problems, and third-party theorem-provers
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eee4f9c5930cf96a860143d838b87f42
https://doi.org/10.1145/2538862.2538929
https://doi.org/10.1145/2538862.2538929
Autor:
Bruce W. Weide, Stephen H. Edwards
Publikováno v:
ACM SIGSOFT Software Engineering Notes. 22:17-32
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::598d9bc21f2344878748527697710b56
https://doi.org/10.1145/270849.270854
https://doi.org/10.1145/270849.270854
Publikováno v:
IEEE Transactions on Software Engineering. 23:157-170
The typical correspondence between a concrete representation and an abstract conceptual value of an abstract data type (ADT) variable (object) is a many-to-one function. For example, many different pointer aggregates give rise to exactly the same bin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::61fbbcaf933fbd635cef8b31d2eb5573
https://doi.org/10.1109/32.585503
https://doi.org/10.1109/32.585503