Sciweavers

COMPSAC
2008
IEEE
13 years 4 months ago
Superfit Combinational Elusive Bug Detection
Software that has been well tested and analyzed may fail unpredictably when a certain combination of conditions occurs. In Bounded Exhaustive Testing (BET) all combinations are te...
R. Barzin, S. Fukushima, William E. Howden, S. Sha...
COMPSAC
2008
IEEE
13 years 4 months ago
Analyzing Software Evolvability
Software evolution is characterized by inevitable changes of software and increasing software complexities, which in turn may lead to huge costs unless rigorously taking into acco...
Hongyu Pei Breivold, Ivica Crnkovic, Peter J. Erik...
COMPSAC
2008
IEEE
13 years 4 months ago
Automated Code Generation for Industrial-Strength Systems
Model-driven engineering proposes to develop software systems by first creating an executable model of the system design and then transforming this model into an implementation. T...
Thomas Weigert, Frank Weil, Aswin van den Berg, Pa...
COMPSAC
2008
IEEE
13 years 6 months ago
Fabrication of Ontology for Security in Health Care Systems
Given the widespread intimidation state of affairs, there is a gripping want to enlarge architectures, algorithms, and protocols to apprehend a trustworthy network infrastructure....
J. Indumathi, G. V. Uma
COMPSAC
2008
IEEE
13 years 6 months ago
Decision Support for User Interface Design: Usability Diagnosis by Time Analysis of the User Activity
This paper presents a methodology for setting up a Decision Support system for User Interface Design (DSUID). We first motivate the role and contributions of DSUID and then demons...
Avi Harel, Ron S. Kenett, Fabrizio Ruggeri
COMPSAC
2008
IEEE
13 years 6 months ago
An Intelligent Control Architecture for Adaptive Service-Based Software Systems with Workflow Patterns
Service-oriented architecture (SOA) for distributed computing has become increasingly popular due to the great advantage that distributed applications can be rapidly synthesized w...
Chang-Hai Jiang, Hai Hu, Kai-Yuan Cai, Dazhi Huang...
COMPSAC
2008
IEEE
13 years 6 months ago
Searching for Opportunities of Refactoring Sequences: Reducing the Search Space
During software development and evolution activities, the developers focus the refactoring efforts on choosing and applying refactoring patterns (or sequences of patterns) that ar...
Eduardo Kessler Piveta, João Araújo,...
COMPSAC
2008
IEEE
13 years 6 months ago
Specifying Behavioural Features of Design Patterns in First Order Logic
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
Ian Bayley, Hong Zhu
COMPSAC
2008
IEEE
13 years 6 months ago
Avoiding Program Failures Through Safe Execution Perturbations
We present an online framework to capture and recover from program failures and prevent them from occurring in the future through safe execution perturbations. The perturbations a...
Sriraman Tallam, Chen Tian, Rajiv Gupta, Xiangyu Z...
COMPSAC
2008
IEEE
13 years 11 months ago
Transformation of Legacy Software into Client/Server Applications through Pattern-Based Rearchitecturing
In this article, we address the problem of modularizing legacy applications with monolithic structure, primarily focusing on business software written in an objectoriented program...
Sascha Hunold, Matthias Korch, Björn Krellner...