SERP 2010:
Las Vegas,
Nevada,
USA
Hamid R. Arabnia, Hassan Reza, Leonidas Deligiannidis, Juan Jose Cuadrado-Gallego, Vincent Schmidt, Ashu M. G. Solo (Eds.):
Proceedings of the 2010 International Conference on Software Engineering Research & Practice, SERP 2010, July 12-15, 2010, Las Vegas, Nevada, USA, 2 Volumes.
CSREA Press 2010, ISBN 1-60132-167-8
Mission Assurance,
Smart Cards,
Cloud Computing,
Cyber Security,
Hacking Prevention,
Steganography,
Intrusion Detection,
Forensic,
& Information Security
- Andrew J. McAllister:
Automation-Enabled Code Conversion.
11-17
- H. Keith Edwards, Kohei Miyagi, Matthew Greenway, Don Thomas:
An Expert System for Recommending Seismic Retrofits to Homeowners in Hawaii.
18-24
- Jason Dudley, Devon Simmonds:
The Viability of UML Models in Small Web Applications.
25-31
- Yuki Tanaike, Hiroaki Fukuda, Yoshikazu Yamamoto:
Gesture Browser: Realization of Customizable Gesture Interfaces in Mobile Device.
32-37
- Martin Svensson, Linn Gustavsson Christiernin, Stefan Mankefors-Christiernin:
GED: A Graphical Element Diagram - UML for Interface development.
38-44
- Dominik Gessenharter:
Extending The UML Semantics For A Better Support of Model Driven Software Development.
45-51
- Sriharsha Jasti, Yujian Fu, Priyanka Koneru:
Modeling and Analyzing Web-based Information System.
52-57
- Liliana Favre:
Foundations for QVT Transformation.
58-64
- Fatma Messaoud, Sihem Ben Sassi, Henda Ben Ghézala:
CBSE and MDE: Approaches Combination Opportunities.
65-71
- Chris Shayan, Aria Amini:
Service-Orientation based on Software Methodologies.
72-75
- Hyung Jun Yoo, Young Lee:
Software Visualization: Replacing Tab in Python Programming with Cell Block in Spreadsheet.
76-82
Software and System Requirements Engineering
- Kevin Daimi, Luming Li, Xiaodan Lu, Nazar El-Nazeer:
Requirements Engineering for Home Health Care Software Systems.
83-91
- Animesh Datta, Imon Banerjee, Shrutilipi Bhattacharjee, Ranjan Dasgupta, Swapan Bhattacharya:
Framework for Domain Analysis of Teleteaching System: A Semiformal Approach.
92-98
- Tom Wanyama, Behrouz Homayoun Far:
Towards a Holistic Requirements Engineering Method.
99-104
- Yusuke Hattori, Go Hirakawa, Shuichi Ashihara, Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda:
Traceability Link for Product Line with RAS based Representation.
105-110
- J. Guadalupe Ramos, Josep Silva, Heriberto Flores, Margarita Torres, Laura E. Mendoza, Juan C. Solorio:
Domain Specific Languages for Software Requirements Capture.
111-116
- Abdullah Sharaf Alghamdi, Iftikhar Ahmad, Muhammad Nasir:
Evaluating ESB for C4I Architecture Framework Using Analytic Hierarchy Process.
117-123
- José Antonio Gutiérrez, José Ramón Hilera, Eva García, Antonio García-Cabot, Luis de Marcos, José-Javier Martínez:
A Review of the Role of Document Engineers in Information Systems Development.
124-132
Software Architecture and Design Patterns
- Amelia Estwick, Shmuel Rotenstreich:
A Business Rules Approach to Self-healing Software Architecture.
133-139
- Paniti Netinant:
An Approach to Designing Modularity Architecture for Multithread Programming.
140-146
- Liliana Favre:
Model Driven Architecture for Round-Trip Engineering: A Conceptual Framework.
147-153
- Ghulam Rasool, Patrick Maeder, Ilka Philippow:
Design Pattern Recovery based on Pattern Features.
154-160
- Mohamed Taleb, Ahmed Seffah, Alain Abran:
Transformation Rules in POMA Architecture.
161-166
- Britto Kumar, Albert Rabara:
An Architectural Framework for the Development of Payment Applications in an Integrated Environment.
167-173
- Maziar Boddoohi, Devon Simmonds:
A Comparison of Software Architectural Styles Using Aspects.
174-179
- Hassan Reza, Ron Marsh, Mark Askelson:
A Fault Tolerant Architecture Using AADLs and Error Model Annexfor for Unmanned Aircraft Systems (UAS).
180-184
- Imran Afzal, Mansur Samadzadeh:
Mining for Patterns in Program Dependence Graphs.
185-191
- Javier Elizondo, Jorge Luis Risco Becerra:
Modeling Software Architecture with MDA.
192-197
- Mohammad Tanhaei, Shahrouz Moaven, Jafar Habibi, Seyed Hassan Mirian:
Architectural Driven Approach for Software Product Line Testing.
198-204
Software Testing
- Garrett Kent Kaminski, Upsorn Praphamontripong, Paul Ammann, Jeff Offutt:
An Evaluation of the Minimal-MUMCUT Logic Criterion and Prime Path Coverage.
205-211
- Dave Arnold, Jean-Pierre Corriveau, Wei Shi:
Validation Against Actual Behavior: Still a Challenge for Testing Tools.
212-218
- Robert Snelick, Len Gebase:
Testing Environments for Assessing Conformance and Interoperability.
219-225
- Robert Neumann, Reiner R. Dumke, Andreas Schmietendorf:
Enterprise Mashups - Usefulness and Relevance Put to the Test.
226-232
- S. Kanat Bolazar, James W. Fawcett:
VERDICTS : Visual Exploratory Requirements Discovery and Injection for Comprehension and Testing of Software.
233-239
- Dinesh Kumar Saini, Wail M. Omar, Nirmal Gupta:
Software Testing and Semantic Service Oriented Architecture for E-Health Software Services.
240-246
- Oksana N. Myronovych, Yuri E. Boreisha:
Genetic Algorithm and Mutation Analysis for Software Testing.
247-252
- Ramin Nassiri, Fatemeh Ghanaati, Gholamreza Latif Shabgahi:
Developing a New Method to Improve Software Test Process based on ISTQB Test Suite.
253-259
- Shailesh Tiwari, K. K. Mishra, Anoj Kumar, A. K. Misra:
Path Selection Strategy for Regression Testing.
260-265
- Faezeh Sadat Babamir, Alireza Hatamizadeh, Seyed Mehrdad Babamir, Mehdi Dabbaghian, Vahid Azadehgan:
Applying Critical Edge to Test Data Generator.
266-269
- Golnoosh Abaee, Pooria M. Yaghini:
Test Documentation Tools and CBR Reduce the Cost of Testing.
270-276
Software Reliability + Maintenance + Code Analysis
- Thi Thanh Huyen Phan, Koichiro Ochimizu:
Detection of Unintentional Change in In-use Data for Concurrent Workflows.
277-283
- Robert Tairas, Jeff Gray:
Sub-clones: Considering the Part Rather than the Whole.
284-290
- Adrian Barb, Colin Neill, Raghvinder Sangwan, Michael Piovoso:
Statistical Analysis of the Relevance of Lines of Code Measures.
291-299
- Joo Tan:
System Maintenance in Academia: Using Agile Model Driven Design.
300-304
- Xiaodong Wang, Lei Wang, Yingjie Wu:
Speeding up the Algorithms for the Subset-Sum Problem with the Bitset Class.
305-309
- Peter Keiller, Ronald Leach, William Jones, Andy Umana:
Exploratory Analysis of Software Reliability Data.
310-316
- Min Ma, Quansheng Wu:
Research of Component Composition Using Formal Semantics.
317-326
Software Systems and Techniques for Space Situational Awareness and Visualization
- Denise Aleva, John Ianni, Vincent Schmidt:
Space Situation Awareness Human Effectiveness Research Trends.
327-332
- George Reis:
A Survey of 3D Display Technologies for Multispectral Visualization of Spacecraft.
333-338
- Duong Nguyen:
Learning Automata Swarm for Adaptive Space Situational Awareness.
339-348
Software Metrics and Software Process
Real Time and Safety Critical Systems
Software Project Management + Education and Computer Law
Software Security and Reusability Engineering
- Esmiralda Moradian, Anne Håkansson, Jan Olof Andersson:
Multi-Agent System Supporting Security Requirements Engineering.
459-465
- Nacim Yanes, Sihem Ben Sassi, Henda Hajjami Ben Ghézala:
Towards an Intelligent User Centered Search Engine for COTS Components.
466-472
- Puneet Goswami, Pradeep Kumar:
Designing Transaction Management System in Component Based Network Model for Secured Component Transmission.
473-480
- Atif Farid Mohammad, Assion Lawson-Body, Emanuel S. Grant:
SOA and Security of Loosely Coupled Services in the Cloud using SOA 3.0.
481-487
- Paniti Netinant:
Reusability and Adaptability Using Aspect-Oriented Framework.
488-494
- Yliès Falcone, Mohamad Jaber:
Towards Automatic Integration of Or-BAC Security Policies Using Aspects.
495-499
- Varadachari Ayanam, Frank Tsui, Sheryl Duggins, Andy Wang:
Relating Software Coupling Attribute and Security Vulnerability Attribute.
500-506
Formal Verification and Validation Methods
- Tomohiro Shiraishi, Weiqiang Kong, Yuki Mizushima, Noriyuki Katahira, Michihiro Matsumoto, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda:
Model Checking of Software Design in State Transition Matrix.
507-513
- Hossein Nematzadeh, Radziah Mohamad:
Towards Validation of E-Services Composition: Transforming eFlow to Petri-Nets.
514-521
- Lwin Khin Shar, Hee Beng Kuan Tan:
Semi-Automated Verification and Removal of Open Redirect Vulnerabilities in Web Applications.
522-528
- Pedro Fernández, Antonio Navarro:
An Analysis of the Significance of MDD for Industry.
529-533
- Zining Cao:
Model Checking LOOP Programs.
534-542
Software Projects and Products Measurement
Software Metrics,
UML,
SOA,
Embedded Software,
Critical Systems,
Software Product Lines,
Software Architectures,
Quality Management,
and ROA
- Chris Simmons, Linda B. Sherrell:
SET4SCRUM: Security Enhanced Metric Taxonomy for SCRUM.
575-581
- Venkata Vampugani Subrahmanyam, M. Najam Doja:
Data Warehouse Engineering Process: An Unified Software Development Process Approach.
582-588
- Yun Zhai, Ryszard Janicki:
Preserving Consistency and Properties in Pairwise Comparisons Based Non-Numerical Ranking.
589-592
- Tamirat Abegaz, Xiaohong Yuan:
Designing an SOA-Based Earthquake Forewarning System using BPMN.
593-598
- Ching-Pao Chang, Ko-Li Cheng:
Improvement of Quality Evaluation of Embedded Software Development.
599-604
- Mohamed Ghazel, Ahmed Mekki:
Assisting Specification and Consistency-Check of Temporal Requirements for Critical Systems.
605-611
- Huilin Ye, Yuqing Lin, Wendy Zhang:
Streamlined Feature Dependency Representation in Software Product Lines.
612-618
- Hassan Reza, Feifei Gu, Bahram Shafai:
Toward Model Based Testing: Combining AADLS with High Level Petri Nets.
619-623
- Abid Farooq Gorsi, Aakif Nazeer Khan, Muhammad Usman Mirza, Saleem Zubair Ahmed:
Role of DEMAIC Methodology in Success of Six Sigma Projects of IT Industry.
624-630
- Kehinde Jolayemi, Austin Melton:
The Additive Problem in Software Measurement.
631-634
- Mostafa Hamza, Sherif Aly:
A Study and Categorization of Pervasive Systems Architectures Towards Specifying a Software Product Line.
635-641
- Dongmei Huang, Zedong Hou, Shengqi He, Minghua Zhang:
A Kind of Geographic Query System Based on RIA and REST Architecture.
642-646
- Manojkumar Deshpande, Sunil Bhirud:
Semantic Matching of Software Project Documents Using Ontology.
647-
Last update Fri May 25 08:36:44 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page