scholarly journals An Engineering Grand Challenge-focused Research Experience for Teachers (RET) Program: Purpose, Outcomes, and Evaluation (Evaluation)

2020 ◽  
Author(s):  
Jerome Lavelle ◽  
Laura Bottomley ◽  
Amber Kendall ◽  
Matthew Stimpson
2016 ◽  
Vol 1 (1) ◽  
pp. 9-24
Author(s):  
Rebecca Hite ◽  
Gail Jones ◽  
Jesse S. Jur

This paper explores the components and efficacy of an engineering-based Research Experience for Teachers (RET) program with a focus on ideation. Leveraging the imaginative and iterative elements of the ideation process, participants engaged in inquiry exploring energy harvesting and novel sensor technology. In modeling the ideation methodology, participants were more engaged in authentic research, which subsequently fostered the creation of novel lesson plans extending beyond the classroom. The importance of research-based, STEM-based RET experiences are a critical feature of bolstering teacher content and pedagogical skills while embedding features of student-centered elements such as creativity and imagination. During the following school year, participating teachers created an inter-district competition designing Ebolavirus sensors using the One Health framework introduced in the summer research experience program. An example of a student product is provided. A discussion of alignment to science curriculum standards as well as the need of these programs are also discussed.


2020 ◽  
Author(s):  
Zornitsa Georgieva ◽  
Reagan Curtis ◽  
Tyler Saenz ◽  
Miracle Solley ◽  
Darran Cairns

Author(s):  
Xudong He ◽  
Huiqun Yu ◽  
Yi Deng

Software has been a major enabling technology for advancing modern society, and is now an indispensable part of daily life. Because of the increased complexity of these software systems, and their critical societal role, more effective software development and analysis technologies are needed. How to develop and ensure the dependability of these complex software systems is a grand challenge. It is well known that a highly dependable complex software system cannot be developed without a rigorous development process and a precise specification and design documentation. Formal methods are one of the most promising technologies for precisely specifying, modeling, and analyzing complex software systems. Although past research experience and practice in computer science have convincingly shown that it is not possible to formally verify program behavior and properties at the program source code level due to its extreme huge size and complexity, recently advances in applying formal methods during software specification and design, especially at software architecture level, have demonstrated significant benefits of using formal methods. In this chapter, we will review several well-known formal methods for software system specification and analysis. We will present recent advances of using these formal methods for specifying, modeling, and analyzing software architectural design.


Author(s):  
Rahman Mitchel Tashakkori ◽  
Robert Mitchell Parry ◽  
Adam Benoit ◽  
Rebecca A. Cooper ◽  
Jessica L. Jenkins ◽  
...  

Author(s):  
Mangilal Agarwal ◽  
Brandon Sorge ◽  
Grant Fore ◽  
Dan Minner ◽  
Charles Feldhaus ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document