SERP'16: Thursday, July 28, 2016 Schedule
To select a different schedule CLICK HERE
7:00am - 3:00pm: REGISTRATION (Second Floor, Conference Lobby: 1-5)
SESSION 5-SERP: PROCESS LINE IMPROVEMENT + AGILE MANAGEMENT + TESTING,
VERIFICATION, VALIDATION METHODS & SECURITY
Chairs: TBA
July 28, 2016 (Thursday); 08:00am - 10:20am
(LOCATION: Ballroom 1)
08:00 - 08:20am: FREE SLOT
08:20 - 08:40am: A Validation Strategy for an Automatic Code Generator
Using Java Pathfinder
S. L. M. Barrocas, M. V. M. Oliveira
Departamento de Informatica e Matematica Aplicada,
Universidade Federal do Rio Grande do Norte, Brazil;
Instituto Metropole Digital, Universidade Federal do Rio
Grande do Norte, Brazil
08:40 - 09:00am: Configurable Method Model Of Agile Methods - For Creating
Project-Specific Methods.
Daya Gupta, Rinky Dwivedi
Delhi Technological University, India;
Maharaja Surajmal Institute of Technology, India
09:00 - 09:20am: Resolving Cyclic Dependencies - Design for Testability
Yurii Boreisha, Oksana Myronovych
Minnesota State University Moorhead, Minnesota, USA;
North Dakota State University, North Dakota, USA
09:20 - 09:40am: A Survey of Testing Context-aware Software: Challenges
and Resolution
Songhui Yue, Songqing Yue, Randy Smith
Department of CS, University of Alabama, Tuscaloosa, USA;
Department of Math & CS, University of Central Missouri,
Warrensburg, Missouri, USA
09:40 - 10:00am: Adopting Agile Practices in Maturity Model for Testing
Ana Paula C. C. Furtado, Ivaldir De Farias Junior,
Marcos Wanderley, Suzana Sampaio, Ermeson Andrade
Federal University of Pernambuco, Brazil; SOFTEX Recife,
Brazil; Federal Rural University of Pernambuco, Brazil
10:00 - 10:20am: Enhanced Fault Localization by Weighting Test Cases with
Multiple Faults
Jaehee Lee, Jeongho Kim, Eunseok Lee
Software Engineering Laboratory, Software R&D Center,
Samsung Electronics, Seoul, South Korea; Department of
Information & Communication Engineering,
Sungkyunkwan University, Suwon, South Korea
10:20 - 10:40am: BREAK
SESSION 6-SERP: SOFTWARE SYSTEMS, TOOLS, FRAMEWORKS + NOVEL SOFTWARE
APPLICATIONS
Chairs: TBA
July 28, 2016 (Thursday); 10:40am - 12:20pm
(LOCATION: Ballroom 1)
10:40 - 11:00am: Applying EM^3: Handover Framework in a Project Parking
Context
Ahmad Salman Khan, Mira Kajko-Mattsson
KTH Royal Institute of Technology, Stockholm, Sweden
11:00 - 11:20am: A Meeting-Oriented Process for Streamlining Business
Collaboration: A Software Development Example
Chung-Yang Chen, Alex Wu
National Central University, Taiwan
11:20 - 11:40am: A Framework Based on Image Processing Techniques for Providing
Synchronization in Smart TV
Cedrick Bamba Nsimba, Alexandre Luis Magalhaes Levada
Department of CS, Federal University of Sao Carlos, Brazil
11:40 - 12:00pm: Classroom Detection using a Wi-Fi Positioning Algorithm
Mao Zheng, Sanhu Li
Department of CS, University of Wisconsin-La Crosse,
Wisconsin, USA; Department of CIS, University of Delaware,
Newark, Delaware, USA
12:00 - 12:20pm: Conceptual Data Model for Health Information Systems
Andre Magno Costa Araujo, Valeria Cesario Times
Informatics Center, Federal University of Pernambuco,
Recife, Pernambuco, Brazil
12:20 - 01:20pm: LUNCH (On Your Own)
SESSION 7-SERP: DOMAIN-SPECIFIC LANGUAGES + REQUIREMENTS ENGINEERING +
OO SYSTEMS, REAL-TIME SYSTEMS, & FORMAL METHODS
Chairs: TBA
July 28, 2016 (Thursday); 01:20pm - 03:20pm
(LOCATION: Ballroom 1)
01:20 - 01:40pm: Which Roles Ontologies Play on Software Requirements
Engineering: A Systematic Review
Joselaine Valaski, Sheila Reinehr, Andreia Malucelli
PPGIa, Pontificia Universidade Catolica do Parana, Brazil
01:40 - 02:00pm: On Non Functional Requirements, Their Evolution and
Impact on Safety
Abdelaziz Babiker, Abd-El-Kader Sahraoui
Sudan University of Science and Technology (SUST), Khartoum,
Sudan; LAAS-CNRS, Universite de Toulouse, CNRS, UPS, France
02:00 - 02:20pm: Use Case Mapping vs. Thing-Oriented Modeling of Software
Requirements
Sabah Al-Fedaghi
Computer Engineering Department, Kuwait University, Kuwait
02:20 - 02:40pm: Requirements Engineering Practice in Developing Countries -
Elicitation and Traceability Processes
Ayman Sadig, Abd-El-Kader Sahraoui
Ahfad Univeristy for Women, Sudan; LAAS-CNRS, Universite
de Toulouse, CNRS, France
02:40 - 03:00pm: Translation Method for SysML State Machine Diagram into
Simple SPIN Model
Takahiro Ando, Yuya Miyamoto, Hirokazu Yatsu, Kenji Hisazumi,
Weiqiang Kong, Akira Fukuda, Yasutaka Michiura, Keita Sakemi,
and Michihiro Matsumoto
Graduate School of IS & EE, Kyushu University, Fukuoka,
Japan; DOCOMO Systems, Inc., Tokyo, Japan; System LSI
Research Center, Kyushu University, Fukuoka, Japan; School
of Software, Dalian University of Technology, Dalian,
P. R. China; Japan Manned Space Systems Corporation,
Tsukuba, Ibaraki, Japan
03:00 - 03:20pm: Intelligent Plant Watering System for Rural Farmers
Samuel N. John, Robert E. Okonigene, Peters C. Samuel Peters
Department of Electrical and Information Engineering,
College of Engineering, Covenant University, Ogun State,
Nigeria; Department of EEE, Faculty of Engineering and
Technology, Ambrose Alli University, Edo State, Nigeria
03:20 - 03:40pm: CLOSING & FAREWELL
(LOCATION: Ballroom 1)To select a different schedule CLICK HERE