enter search term and/or author name
Architecture-centric support for adaptive service collaborations
Robrecht Haesevoets, Danny Weyns, Tom Holvoet
Article No.: 2
In today's volatile business environments, collaboration between information systems, both within and across company borders, has become essential to success. An efficient supply chain, for example, requires the collaboration of distributed and...
Cookies are used by over 80% of Web applications utilizing dynamic Web application frameworks. Applications deploying cookies must be rigorously verified to ensure that the application is robust and secure. Given the intense time-to-market...
Improving software modularization via automated analysis of latent topics and dependencies
Gabriele Bavota, Malcom Gethers, Rocco Oliveto, Denys Poshyvanyk, Andrea de Lucia
Article No.: 4
Oftentimes, during software maintenance the original program modularization decays, thus reducing its quality. One of the main reasons for such architectural erosion is suboptimal placement of source-code classes in software packages. To alleviate...
Do we need to handle every temporal violation in scientific workflow systems?
Xiao Liu, Yun Yang, Dong Yuan, Jinjun Chen
Article No.: 5
Scientific processes are usually time constrained with overall deadlines and local milestones. In scientific workflow systems, due to the dynamic nature of the underlying computing infrastructures such as grid and cloud, execution delays often...
Model-based synthesis of control software from system-level formal specifications
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Article No.: 6
Many embedded systems are indeed software-based control systems, that is, control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on formal model-based...
Join point interfaces for safe and flexible decoupling of aspects
Eric Bodden, Éric Tanter, Milton Inostroza
Article No.: 7
In current aspect-oriented systems, aspects usually carry, through their pointcuts, explicit references to the base code. Those references are fragile and hinder important software engineering properties such as modular reasoning and independent...
Prevalence of coincidental correctness and mitigation of its impact on fault localization
Wes Masri, Rawad Abou Assi
Article No.: 8
Researchers have argued that for failure to be observed the following three conditions must be met: CR = the defect was reached; CI = the program has transitioned into an infectious...
Traceability and SysML design slices to support safety inspections: A controlled experiment
Lionel Briand, Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Tao Yue
Article No.: 9
Certifying safety-critical software and ensuring its safety requires checking the conformance between safety requirements and design. Increasingly, the development of safety-critical software relies on modeling, and the System Modeling Language...
An in-depth study of the potentially confounding effect of class size in fault prediction
Yuming Zhou, Baowen Xu, Hareton Leung, Lin Chen
Article No.: 10
Background. The extent of the potentially confounding effect of class size in the fault prediction context is not clear, nor is the method to remove the potentially confounding effect, or the influence of this removal on the performance of...