Gesture Recognition Using Neural Networks Based on HW/SW Cosimulation Platform
Author(s): Priyanka Mekala | Jeffrey Fan | Wen-Cheng Lai | Ching-Wen Hsue
Volume: 2013
Year: 2013



Accountability in Enterprise Mashup Services
Author(s): Joe Zou | Chris Pavlovski
Volume: 2013
Year: 2013



Applying a Goal Programming Model to Support the Selection of Artifacts in a Testing Process
Author(s): Andreia Rodrigues da Silva | Fernando Rodrigues de Almeida Júnior | Placido Rogerio Pinheiro
Volume: 2012
Year: 2012



Combining Slicing and Constraint Solving for Better Debugging: The CONBAS Approach
Author(s): Birgit Hofer | Franz Wotawa
Volume: 2012
Year: 2012



An SOA-Based Model for the Integrated Provisioning of Cloud and Grid Resources
Author(s): Andrea Bosin
Volume: 2012
Year: 2012



Towards Self-Adaptive KPN Applications on NoC-Based MPSoCs
Author(s): Onur Derin | Prasanth Kuncheerath Ramankutty | Paolo Meloni | Emanuele Cannella
Volume: 2012
Year: 2012



Improving Model Checking with Context Modelling
Author(s): Philippe Dhaussy | Frédéric Boniol | Jean-Charles Roger | Luka Leroux
Volume: 2012
Year: 2012



A Multi-Layered Control Approach for Self-Adaptation in Automotive Embedded Systems
Author(s): Marc Zeller | Christian Prehofer
Volume: 2012
Year: 2012



Assessing the Open Source Development Processes Using OMM
Author(s): Etiel Petrinja | Giancarlo Succi
Volume: 2012
Year: 2012



Metadata for Approximate Query Answering Systems
Author(s): Francesco Di Tria | Ezio Lefons | Filippo Tangorra
Volume: 2012
Year: 2012



Software Quality Assurance Methodologies and Techniques
Author(s): Chin-Yu Huang | Hareton Leung | Wu-Hon Francis Leung | Osamu Mizuno
Volume: 2012
Year: 2012



A Stateful Approach to Generate Synthetic Events from Kernel Traces
Author(s): Naser Ezzati-Jivan | Michel R. Dagenais
Volume: 2012
Year: 2012



Evaluating the Effect of Control Flow on the Unit Testing Effort of Classes: An Empirical Analysis
Author(s): Mourad Badri | Fadel Toure
Volume: 2012
Year: 2012



How to Safely Integrate Multiple Applications on Embedded Many-Core Systems by Applying the “Correctness by Construction” Principle
Author(s): Robert Hilbrich
Volume: 2012
Year: 2012



Formal ESL Synthesis for Control-Intensive Applications
Author(s): Michael F. Dossis
Volume: 2012
Year: 2012



Genetic Programming for Automating the Development of Data Management Algorithms in Information Technology Systems
Author(s): Gabriel A. Archanjo | Fernando J. Von Zuben
Volume: 2012
Year: 2012



An Empirical Study on the Impact of Duplicate Code
Author(s): Keisuke Hotta | Yui Sasaki | Yukiko Sano | Yoshiki Higo | Shinji Kusumoto
Volume: 2012
Year: 2012



Can Faulty Modules Be Predicted by Warning Messages of Static Code Analyzer?
Author(s): Osamu Mizuno | Michi Nakai
Volume: 2012
Year: 2012



A Comparative Study of Data Transformations for Wavelet Shrinkage Estimation with Application to Software Reliability Assessment
Author(s): Xiao Xiao | Tadashi Dohi
Volume: 2012
Year: 2012



Clustering Methodologies for Software Engineering
Author(s): Mark Shtern | Vassilios Tzerpos
Volume: 2012
Year: 2012



A Simple Application Program Interface for Saving Java Program Data on a Wiki
Author(s): Takashi Yamanoue | Kentaro Oda | Koichi Shimozono
Volume: 2012
Year: 2012



Specifying Process Views for a Measurement, Evaluation, and Improvement Strategy
Author(s): Pablo Becker | Philip Lew | Luis Olsina
Volume: 2012
Year: 2012



Program Spectra Analysis with Theory of Evidence
Author(s): Rattikorn Hewett
Volume: 2012
Year: 2012



Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications
Author(s): Salamah Salamah | Ann Q. Gates | Steve Roach | Matthew Engskow
Volume: 2011
Year: 2011



Bug Localization in Test-Driven Development
Author(s): Massimo Ficco | Roberto Pietrantuono | Stefano Russo
Volume: 2011
Year: 2011



New Generation of Software Metrics
Author(s): Giulio Concas | Giovanni Cantone | Ewan Tempero | Hongyu Zhang
Volume: 2010
Year: 2010



Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams
Author(s): Asadullah Shaikh | Uffe Kock Wiil | Nasrullah Memon
Volume: 2011
Year: 2011



Dynamic Context-Aware and Limited Resources-Aware Service Adaptation for Pervasive Computing
Author(s): Moeiz Miraoui | Chakib Tadj | Jaouhar Fattahi | Chokri Ben Amar
Volume: 2011
Year: 2011



The Study of Resource Allocation among Software Development Phases: An Economics-Based Approach
Author(s): Peleg Yiftachel | Irit Hadar | Dan Peled | Eitan Farchi | Dan Goldwasser
Volume: 2011
Year: 2011



Multiagent Systems Protection
Author(s): Antonio Muñoz | Pablo Anton | Antonio Maña
Volume: 2011
Year: 2011



A Proposal for Automatic Testing of GUIs Based on Annotated Use Cases
Author(s): Pedro Luis Mateo Navarro | Diego Sevilla Ruiz | Gregorio Martínez Pérez
Volume: 2010
Year: 2010



A Quality Model for Conceptual Models of MDD Environments
Author(s): Beatriz Marín | Giovanni Giachetti | Oscar Pastor | Alain Abran
Volume: 2010
Year: 2010



Extending Conceptual Schemas with Business Process Information
Author(s): Marco Brambilla | Jordi Cabot | Sara Comai
Volume: 2010
Year: 2010



A Tester-Assisted Methodology for Test Redundancy Detection
Author(s): Negar Koochakzadeh | Vahid Garousi
Volume: 2010
Year: 2010



Software Test Automation in Practice: Empirical Observations
Author(s): Jussi Kasurinen | Ossi Taipale | Kari Smolander
Volume: 2010
Year: 2010



Automated Test Case Prioritization with Reactive GRASP
Author(s): Camila Loiola Brito Maia | Rafael Augusto Ferreira do Carmo | Fabrício Gomes de Freitas | Gustavo Augusto Lima de Campos | Jerffeson Teixeira de Souza
Volume: 2010
Year: 2010



A Strategy for Automatic Quality Signing and Verification Processes for Hardware and Software Testing
Author(s): Mohammed I. Younis | Kamal Z. Zamli
Volume: 2010
Year: 2010



Improving Effort Estimation by Voting Software Estimation Models
Author(s): Luiz Fernando Capretz | Venus Marza
Volume: 2009
Year: 2009



A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT
Author(s): J. M. Bezerra | C. M. Hirata
Volume: 2009
Year: 2009



Regression Test Selection for C# Programs
Author(s): Nashat Mansour | Wael Statieh
Volume: 2009
Year: 2009



Challenges and Improvements in Distributed Software Development: A Systematic Review
Author(s): Miguel Jiménez | Mario Piattini | Aurora Vizcaíno
Volume: 2009
Year: 2009



Automatic Generation of Web Applications from Visual High-Level Functional Web Components
Author(s): Quan Liang Chen | Takao Shimomura
Volume: 2009
Year: 2009



Exploring the Eradication of Code Smells: An Empirical and Theoretical Perspective
Author(s): S. Counsell | R. M. Hierons | H. Hamza | S. Black | M. Durrand
Volume: 2010
Year: 2010



On the Use of Issue Tracking Annotations for Improving Developer Activity Metrics
Author(s): Andrew Meneely | Laurie Williams
Volume: 2010
Year: 2010



An Empirical Study of Social Networks Metrics in Object-Oriented Software
Author(s): Giulio Concas | Michele Marchesi | Alessandro Murgia | Roberto Tonelli
Volume: 2010
Year: 2010



The Economics of Community Open Source Software Projects: An Empirical Analysis of Maintenance Effort
Author(s): Eugenio Capra | Chiara Francalanci | Francesco Merlo
Volume: 2010
Year: 2010



Improvement of Open Source Software Usability: An Empirical Evaluation from Developers' Perspective
Author(s): Arif Raza | Luiz F. Capretz | Faheem Ahmed
Volume: 2010
Year: 2010



ReMoFP: A Tool for Counting Function Points from UML Requirement Models
Author(s): Vitor A. Batista | Daniela C. C. Peixoto | Eduardo P. Borges | Wilson Pádua | Rodolfo F. Resende | Clarindo Isaías P. S. Pádua
Volume: 2011
Year: 2011



Software Test Automation
Author(s): Phillip Laplante | Fevzi Belli | Jerry Gao | Greg Kapfhammer | Keith Miller | W. Eric Wong | Dianxiang Xu
Volume: 2010
Year: 2010


