Asee peer logo

Collaborative Education: Building a Skilled Software Verification and Validation User Community

Download Paper |


2014 ASEE Annual Conference & Exposition


Indianapolis, Indiana

Publication Date

June 15, 2014

Start Date

June 15, 2014

End Date

June 18, 2014



Conference Session

Computers in Education General Technical Session 2

Tagged Division

Computers in Education

Page Count


Page Numbers

24.281.1 - 24.281.11



Permanent URL

Download Count


Request a correction

Paper Authors


Sushil Acharya Robert Morris University

visit author page

Acharya joined RMU in Spring 2005 after serving 15 years in the Software Industry. With US Airways, Acharya was responsible for creating a conceptual design for a Data Warehouse which would integrate the different data servers the company used. 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 were/are used in Asian and European countries by both governmental and non-governmental organizations. Acharya has a M.Eng. in Computer Technology and a D.Eng. in Computer Science and Information Management with a concentration in knowledge discovery, both from the Asian Institute of Technology in Thailand. His teaching involvement and research interest are in the area of Software Engineering education, Software Verification & Validation, Data Mining, Neural Networks, and Enterprise Resource Planning. He also has interest in Learning Objectives based Education Material Design and Development. Acharya is a co-author of “Discrete Mathematics Applications for Information Systems Professionals- 2nd Ed., Prentice Hall”. He is a member of Nepal Engineering Association and is also a member of ASEE, and ACM. Acharya is a recipient of the “Mahendra Vidya Bhusak” a prestigious medal awarded by His Majesty the King of Nepal for academic excellence. He is a member of the Program Committee of WMSCI, MEI, and CCCT and is also a Member of the Editorial Advisory Board of the Journal of Systemics, Cybernetics and Informatics of the International Institute of Informatics and Systemics. Acharya was the Principal Investigator of the 2007 HP grant for Higher Education at RMU. In 2013 Acharya received a National Science Foundation (NSF) Grant for developing course materials through an industry-academia partnership in the area of Software Verification and Validation.

visit author page


Priya Manohar Robert Morris University

visit author page

Dr. Priyadarshan Manohar is an Associate Professor of Engineering and Co-Director Research and Outreach Center (ROC) at Robert Morris University, Pittsburgh, PA. He has a Ph. D. in Materials Engineering (1998) and Graduate Diploma in Computer Science (1999) from University of Wollongong, Australia and holds Bachelor of Engineering (Metallurgical Engineering) degree from Pune University, India (1985). He has worked as a post-doctoral fellow at Carnegie Mellon University, Pittsburgh (2001 – 2003) and BHP Institute for Steel Processing and Products, Australia (1998 – 2001). Dr. Manohar held the position of Chief Materials Scientist at Modern Industries, Pittsburgh (2003 – 2004) and Assistant Manager (Metallurgy Group), Engineering Research Center, Telco, India (1985 – 1993). He has published over 55 papers in peer-reviewed journals and conferences including a 2007 Best Paper Award by the Manufacturing Division of American Society for Engineering Education (ASEE), three review papers and three book chapters. He has participated in numerous national and international conferences. He is a member of ASM International, TMS, ACerS, AIST, ASEE, IMEA, and a registered Chartered Professional Engineer. Dr. Manohar’s research interests include mathematical and computer modeling of materials behavior, thermomechanical processing of steels and other metallic materials, microstructural characterization, and structure – property relationships. He has conducted a number of technical failure investigations, consulted on various materials-related problems, and acted as an expert witness in the Court of Law. Dr. Manohar is the immediate past chair of the Manufacturing Division of ASEE and the current Chair of ASM Pittsburgh Chapter.

visit author page

author page

Walter W Schilling Jr. Milwaukee School of Engineering

author page

Ali A. Ansari Virginia State University

author page

Peter Y Wu

Download Paper |


Collaborative Education: Building a Skilled Software Verification and Validation User Community ABSTRACTSoftware quality is a crucial issue in software engineering. As software has become ubiquitous, softwareproducts have become critical. This poses a problem in the software industry, as there is generally a lackof knowledge of Verification and Validation (V&V) benefits and a shortage of adequately trained V&Vpractitioners. This NSF-TUES funded project improves software education at the undergraduate level andenhances on-the-job professional training, thereby increasing the pool of professionals with V&Vknowledge and skills. The project team consists of an academia-industry collaboration involving sevendistinguished academic programs and four industry partners. The project team is critically examining theexisting V&V course at xxxx University, enhancing and modularizing selected topics, and improvingdelivery strategies by incorporating academic research findings and industry best practices. The cogentmodules and strategies developed is being assessed, evaluated, and shared among project participantsand disseminated to other institutions through NSF supported centralized repository (NSDL),conferences, publications, professional societies, and websites. Students and practitioners are beingequipped with fundamental theoretical knowledge and invaluable hands-on-experiences that ismeasurably increasing their ability to contribute to the industry. This effort is being led by investigatorsand academic partners with significant experience both in academic and industrial settings includingsoftware development, course development, and project management.

Acharya, S., & Manohar, P., & Schilling, W. W., & Ansari, A. A., & Wu, P. Y. (2014, June), Collaborative Education: Building a Skilled Software Verification and Validation User Community Paper presented at 2014 ASEE Annual Conference & Exposition, Indianapolis, Indiana. 10.18260/1-2--20172

ASEE holds the copyright on this document. It may be read by the public free of charge. Authors may archive their work on personal websites or in institutional repositories with the following citation: © 2014 American Society for Engineering Education. Other scholars may excerpt or quote from these materials with the same citation. When excerpting or quoting from Conference Proceedings, authors should, in addition to noting the ASEE copyright, list all the original authors and their institutions and name the host city of the conference. - Last updated April 1, 2015