Conference Session

Software Engineering Course Content

Collection

2008 Annual Conference & Exposition

Authors

Salamah Salamah, Embry-Riddle Aeronautical University, Daytona Beach; Ann Gates, University Of Texas - El Paso

Tagged Divisions

Software Engineering Constituent Committee

AC 2008-448: TEACHING BLACK-BOX TESTING TECHNIQUES THROUGHSPECIFICATION PATTERNSSalamah Salamah, Embry-Riddle Aeronautical University, Daytona BeachAnn Gates, University Of Texas - El Paso Page 13.1149.1© American Society for Engineering Education, 2008 Using Specification Patterns to Teach Black-Box Testing Ann Q. Gates Computer Science Dept., University of Texas at El Paso. Salamah Salamah Computer and Software Engineering Dept., Embry-Riddle Aeronautical University. Abstract Software verification is one of the most

Conference Session

Software Engineering Pedagogical Approaches

Collection

2013 ASEE Annual Conference & Exposition

Authors

Joanna F. DeFranco, Pennsylvania State University; Colin J. Neill, Pennsylvania State University

Tagged Divisions

Software Engineering Constituent Committee

Page 23.716.5understanding of the problem as they have described it. Table 1 also shows the specificcollaborative aspects present during this phase of the model. Table 1. Stage 1, Phase 2 of the CCMQuestions for Problem Formulation (Stage 1) Example of the internal structure of the CCMPreliminary Mental Model (Phase 2): for Stage 1, phase 2. Collaborative Modality: Q: What are the goals of the system? message board for Problem Understanding Q: Do any of these goals require clarification? Collaborative Processes: Q: Are there any other explicit or implicit pull and push information from the

Conference Session

Panel Session: Case Study Teaching in Computing Curricula

Collection

2012 ASEE Annual Conference & Exposition

Authors

Massood Towhidnejad, Embry-Riddle Aeronautical University, Daytona Beach; Salamah Salamah, Embry-Riddle Aeronautical University, Daytona Beach; Thomas B. Hilburn, Embry-Riddle Aeronautical University, Daytona Beach

Tagged Divisions

Software Engineering Constituent Committee

decouple from the intended use and apply in ways not intended by the author• Techniques for integration into course activities,• A scenario format that motivates student engagement in problem identification/solution.• Guidance to the instructor on how to use the case study materialThis panel session will explore central issues about the use of case study teaching: What is it? What areits advantages and challenges? Where and how should case study teaching be used in a computingcurriculum? What works and what might not work? What cases study resources are available? Inaddition, to the panel discussion and Q &A, the session will engage the audience in a simple exerciserelated to a smart house case study (http://www.softwarecasestudy.org

Conference Session

Software Engineering Teaching Techniques

Collection

2009 Annual Conference & Exposition

Authors

Salamah Salamah, Embry-Riddle Aeronautical University, Daytona Beach; Steve Roach, University of Texas, El Paso; Omar Ochoa, University of Texas, El Paso; Veronica Medina, University of Texas, El Paso; Ann Gates, University of Texas, El Paso

Tagged Divisions

Software Engineering Constituent Committee

highlyexpressive and widely used in formal verification tools such as the model checkers SPIN [8] andNuSMV [2] . LTL is also used in the runtime verification of Java programs [18]. Formulas in LTL are constructed from elementary propositions and the usual Boolean operatorsfor not, and, or, imply (¬, ∧, ∨, →, respectively). In addition, LTL provides the temporal operatorsnext (X), eventually ( ), always (✷), until, (U), weak until (W), and release (R). These formulasassume discrete time, i.e., states s = 0, 1, 2, . . . The meanings of the temporal operators arestraightforward1 • The formula Xp holds at state s if p holds at the next state s + 1, • p U q is true at state s, if there is a state s ≥ s at which q is true and, if s is such a state, then

Conference Session

Software Engineering Constituent Committee Division Technical Session 3

Collection

2014 ASEE Annual Conference & Exposition

Authors

Peter J. Clarke, Florida International Univeristy; Debra Lee Davis, Florida International University; Raymond Chang Lau, Florida International University; Tariq M. King, Ultimate Software Group, Inc.

Tagged Divisions

Software Engineering Constituent Committee

Unit Subsystem System Levels of TestingFigure 1: Average percentage increase in the number of test cases, statement coverage, and branchcoverage for each testing level for all the teams.These results were positive for Questions (Q.) 16 - 19 with all the scores above 3.24. These ques-tions focused on the effectiveness of WReSTT in helping students to understand testing conceptsand how to use the testing tools. Q.20 (M = 2.97, SD = 1.16), the lowest value in the table thatfocuses directly on the usefulness of WReSTT, shows the students felt that the number of tutorialswere somewhat inadequate.Table 3: Students’ mean scores (standard deviations) in Section 3 of the survey

Conference Session

Software Engineering Technical Session 2

Collection

2016 ASEE Annual Conference & Exposition

Authors

Massood Towhidnejad, Embry-Riddle Aeronautical University, Daytona Beach; Alexandria Spradlin, Embry-Riddle Aeronautical University; Thomas Rogers Bassa, Embry-Riddle Aeronautical University

Tagged Topics

Diversity

Tagged Divisions

Software Engineering Constituent Committee

identified during the first week was intentionally beyond the scope of the project, andsome was beyond the capabilities of the development team. Furthermore, due to the lack of students workingon such project, and also high enthusiasm of them (perhaps as a result of watching too many movies), therewere some requirements included (added by students through Q&A with the customer), that was nottechnically feasible even by very experience hardware and/or software professional. The bi-weekly meetingwith the customer provided the interns an opportunity to clarify their understanding of certain requirementsand also negotiate with the customer over requirements that they had discovered were unattainable with theavailable resources. Also, during these bi

Conference Session

Tools and Support for Software Education

Collection

2006 Annual Conference & Exposition

Authors

Jiacun Wang, Monmouth University; Daniel Ghiringhelli, Monmouth University

Tagged Divisions

Software Engineering Constituent Committee

Monotonic Approach, Proceedings 8th IEEE Workshop on Real-Time Operating Systems and Software, Atlanta, GA, USA, May 1991.3. T. P. Baker, Multiprocessor EDF and Deadline Monotonic Schedulability Analysis, 24th IEEE International Real-Time Systems Symposium, 2003.4. A. Burns and A. Wellings, Real-Time Systems and Programming Languages, England: Pearson Education Limited, 2001.5. R.I. Davis, K.W. Tindell and A. Burns, Scheduling Slack Time in Fixed Priority Pre-emptive Systems, Proceedings Real-Time Systems Symposium, pp. 222-231, December 1993.6. P. A. Laplante, Real-Time Systems Design and Analysis: An Engineer’s Handbook, 2nd Edition, New York: IEEE Press, 1997.7. Q. Li and C. Yao, Real-Time Concepts for Embedded

Conference Session

Software Engineering Teaching Methods and Practice

Collection

2006 Annual Conference & Exposition

Authors

Martin Zhao, Mercer University; Laurie White, Mercer University

Tagged Divisions

Software Engineering Constituent Committee

2006-1601: ENGAGING SOFTWARE ENGINEERING STUDENTS USING ASERIES OF OBJECT-ORIENTED ANALYSIS AND DESIGN WORKSHOPSMartin Zhao, Mercer University Martin Q. Zhao is Assistant Professor of Computer Science at Mercer University. He has been teaching software engineering, database, and programming courses since 2001. Before that, he worked as a software engineer for two years and participated in the development of Web-based applications for clients including Nortel Networks and Bank of America. He received his Ph.D. and MS degrees from Louisiana Tech University and Beijing Institute of Information and Control.Laurie White, Mercer University Laurie White received an MS and Ph.D. in computer science

Conference Session

SE Curriculum and Course Management

Collection

2009 Annual Conference & Exposition

Authors

Francis Lutz, Monmouth University; James McDonald, Monmouth University

Tagged Divisions

Software Engineering Constituent Committee

. Thiswould free up the selection choices of interns and eliminate possible duplication of material.The academic leaders of the Software Engineering Masters’ degree program(s), which theorganization will use in the future for its software engineering interns, should be invited to abriefing with the organization’s management and a small cross section of employees so they canbetter understand the daily functions of the organization. A short panel session withorganizational management followed by an open Q&A session and, perhaps, one-on-onediscussions with a cross section of individual employees could substantially increase theunderstanding faculty would have of the interns’ academic needs.There is a very diverse range of continuing professional

Conference Session

Software Engineering Curricula

Collection

2012 ASEE Annual Conference & Exposition

Authors

Tom Reichlmayr, Rochester Institute of Technology; Michael J. Lutz, Rochester Institute of Technology

Tagged Divisions

Software Engineering Constituent Committee

several points.You could run the puzzle interactively as follows: ./solve_sudoku p+s/good_puzzle.txtIn this case, the main program directs the initialization and loading of the puzzle configuration,prints the initial board, and enters the command loop. Each time through the loop the programprompts command: to which you respond with a single lower-case letter command and possiblydigits used by the command. Spacing is important: the command letter must be the first characteron the line, and the command and arguments are separated from each other by a single digit;each command is terminated by a newline. The commands are: p Print the puzzle q Quit (also on end-of-file) a r c d Add digit d to the

Conference Session

Tools and Support for Software Education

Collection

2006 Annual Conference & Exposition

Authors

Yung-Hsiang Lu, Purdue University; Evan Zelkowitz, Purdue University; Mark C Johnson, Purdue University

Tagged Divisions

Software Engineering Constituent Committee