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

Zulfa Zakaria, IIUM

Tagged Divisions

Software Engineering Constituent Committee

. 103-108, 2001.[5] P. Bourque, F. Robert, J. M. Lavoie, A. Lee, S. Trudel, and T. C. Lethbridge, "Guide to the Software Engineering Body of Knowledge (SWEBOK) and the Software Engineering Education Knowledge (SEEK) - a preliminary mapping," 2002.[6] S. P. Ng, T. Murnane, K. Reed, D. Grant, and T. Y. Chen, "A Preliminary Survey on Software Testing Practices in Australia," presented at Proceedings of the 2004 Australian Software Engineering Conference (ASWEC), 2004.[7] "Certified Software Test Professional (CSTP) Programme, Handbook 2006," Release V9.0 ed: ObjectTraining a division of Object Consulting, Available at: http://www.kjross.com.au/page

Conference Session

Software Engineering Teaching Techniques

Collection

2009 Annual Conference & Exposition

Authors

Janusz Zalewski, Florida Gulf Coast University; Andrew Kornecki, Embry-Riddle Aeronautical University; Jerzy Nogiec, Fermi National Accelerator Lab

Tagged Divisions

Software Engineering Constituent Committee

, char **argv)#endif { int content_length = 0; char *p_request_method = NULL; char *p_user_input = NULL; char *p_content_length = NULL; printf("\n" "\n" "CGI\n" "\n" "\n" "\n"); if((p_request_method=getenv("REQUEST_METHOD")) != NULL) { printf("REQUEST_METHOD = %s\n", p_request_method); printf("DOCUMENT_ROOT = '%s'\n", getenv("DOCUMENT_ROOT")); if(strncmp(p_request_method, "GET", 3) == 0) { printf("CONTENT_LENGTH = %s\n", getenv("CONTENT_LENGTH")); printf("USER_INPUT = '%s'\n", getenv("QUERY_STRING")); } else if(strncmp(p_request_method, "POST", 4) == 0) { if((p_content_length=getenv

Conference Session

Software Engineering Teaching Techniques

Collection

2009 Annual Conference & Exposition

Authors

Clifton Kussmaul, Muhlenberg College

Tagged Divisions

Software Engineering Constituent Committee

Stucki, D. J. 2000. Design early considered harmful: Graduated exposure to complexity and structure based on levels of cognitive development. SIGCSE Bulletin 32, 1, 75-79. 5. Budd, T. 2009. A course in open source development. Integrating FOSS into the Undergraduate Computing Curriculum, Free and Open Source Software (FOSS) Symposium (Chattanooga, TN, Mar 4, 2009). 6. Cooper, R. G. 2001. Winning at New Products: Accelerating the Process from Idea to Launch. Perseus Books. 7. Fincher, S., Petre, M., and Clark, M. 2001. Computer Science Project Work: Principles and Pragmatics. Springer. 8. Gannod, B., Koehnemann, H., and Gary, K. 2006. The Software Enterprise: Facilitating the industry

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