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

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