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

. 2) The absence property is also known as alarm. Existence (P ) 1) Event or condition P holds at least once within the states defined by the scope of interest. 2) The existence property is also known as eventually. U niversality (P ) 1) Event or condition P holds in every state of the scope of interest. 2) The universality property is also known as safety or invariant. (S) P recedes(P ) 1) S holds before P holds, where S and P are events or conditions 2) S may hold several times before P holds 3) P does not hold before S holds 4) P may hold at the same state as S holds 5) If S holds, then

Conference Session

SE Curriculum and Course Management

Collection

2008 Annual Conference & Exposition

Authors

Joseph Clifton, University of Wisconsin-Platteville; Rob Hasker, University of Wisconsin-Platteville; Mike Rowe, University of Wisconsin-Platteville

Tagged Divisions

Software Engineering Constituent Committee

all students will attend class on the day the course surveysare administered; however, we are considering web-based alternatives to attempt to get 100%.All measurements are normalized to the range 1 - 5, with five meaning “good” and one meaning“poor”. These are then aggregated and are entered into the Assessment Results spreadsheet. Aportion of the spreadsheet for fall 2006 is shown below. Ave % 5's % 4's % 3's % 2's % 1's 5's 4's 3's 2's 1's Comments Page 13.1411.6 B.1.a 3.5 23.5 17.6 47.1 11.8 0.0 4 3 8 2 0 Req - SE 4330 Assess B.1.b 4.6 56.3 43.8

Conference Session

Software Engineering Course Content

Collection

2008 Annual Conference & Exposition

Authors

Sushil Acharya, Robert Morris University

Tagged Divisions

Software Engineering Constituent Committee

AC 2008-1705: ENHANCING THE SOFTWARE VERIFICATION ANDVALIDATION COURSE THROUGH LABORATORY SESSIONSSushil Acharya, Robert Morris University Sushil Acharya, D.Eng. Assistant Professor of Software Engineering Acharya joined RMU in Spring 2005 after serving 15 years in the Software Industry. With US Airways Acharya was responsible for creating a Data Warehouse and using advance Data Mining Tools for performance improvement. With i2 Technologies he led the work on i2’s Data Mining product “Knowledge Discover Framework” and at CEERD (Thailand) he was the product manager of three energy software products (MEDEE-S/ENV, EFOM/ENV and DBA-VOID) which are currently in use in 26 Asian and 7

Conference Session

SE Curriculum and Course Management

Collection

2008 Annual Conference & Exposition

Authors

J. Scott Hawker, Rochester Institute of Technology; Ian Webber, Rochester Institute of Technology; Michael Starenko, Rochester Institute of Technology; Jeremiah Parry-Hill, Rochester Institute of Technology

Tagged Divisions

Software Engineering Constituent Committee

, Collaborate, Teach, Collaborate, Teach, Retrieve, Assemble, Learn, Understand, Learn, Understand, Find, Discover, View, Edit, Annotate Create, Discover Create, Discover Extract, Organize Interact with Shared Content Interact with Shared Content Interaction and Collaboration Workspaces (“Documents”) brevitatem, 2 3 Description and Organization absolutionem, paucitatem s f 2

Conference Session

Software Engineering Course Content

Collection

2008 Annual Conference & Exposition

Authors

Bruce Maxim, University of Michigan - Dearborn

Tagged Divisions

Software Engineering Constituent Committee

Innovation and Technology in Computer Science Education (Capprica, Portugal, June, 2005), ACM Press, New York, NY, 2005, 123-127.13. Rabin, S. Introduction to Game Development, Charles Rivers Media, Hingham, MA, 2005.14. Rollings, A. and Morris, D. Game Architecture and Design, New Riders, Indianapolis, IN, 2004.15. Rouse, R. Game Design: Theory and Practice, Wordware, Plano, TX, 2001.16. International Game Developers Association Curriculum Framework, (6 September 2005)17. Maxim, B. R., Software Requirements Analysis and Design, NIIT, Atlanta, GA 2004.18. Michael, D. and Chen, S. Serious Games: Games that Educate, Train, and Inform, Thomson Course Technology, Indianapolis, IN, 2006.19. Maxim, B. R. and Akingbehin, K. Experiences in

Conference Session

Software Engineering Course Content

Collection

2008 Annual Conference & Exposition

Authors

Mark Sebern, Milwaukee School of Engineering; Henry Welch, Milwaukee School of Engineering

Tagged Divisions

Software Engineering Constituent Committee

, “Preliminary design of JML: a behavioral interface specification language for Java”, ACM SIGSOFT Software Engineering Notes, May 2006. Proceedings of the 2008 American Society for Engineering Education Annual Conference & Exposition Copyright © 2008, American Society for Engineering Education14. Y. Ledru, “Identifying pre-conditions with the Z/EVES theorem prover”, Proceedings of the 13th IEEE International Conference on Automated Software Engineering (ASE'98), October 1998.15. M. Saaltink. “The Z/EVES system”, Proceedings of the 10th International Conference on the Z Formal Method (ZUM), volume 1212 of Lecture Notes in Computer Science, Springer-Verlag, April 1997.16. S. Skevoulis and V. Makarov

Conference Session

SE Curriculum and Course Management

Collection

2008 Annual Conference & Exposition

Authors

Joseph Clifton, University of Wisconsin-Platteville

Tagged Divisions

Software Engineering Constituent Committee

-sized open source community focused on building better tools for collaborative software development, Available at http://www.tigris.org/[6] S. Wu, E. Myers, U. Manber, and W. Miller, “An O(NP) Sequence Comparison Algorithm”, Information Processing Letters 35, 6 (1990), 317-323. Page 13.105.11