Traditional real-time software development methodologies require full knowledge of the resource capability of target platforms during the development stage. However, such knowledg...
Reengineering legacy software systems to object oriented platforms has received significant attention over the past few years. In this paper, we propose a goal driven software mig...
If current trends continue, it is likely that the web browser will become the only widely used user interface. Web applications will become the predominant software. Should this h...
Genetic algorithms (GAs) are efficient non-gradient stochastic search methods. Parallel GAs are proposed to overcome the deficiencies of sequential GAs, such as low speed and aptn...
Baowen Xu, Yu Guan, Zhenqiang Chen, Karl R. P. H. ...
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...