Sciweavers

64 search results - page 4 / 13
» kbse 2008
Sort
View
KBSE
2008
IEEE
14 years 2 months ago
Mashups and modularity: Towards secure and reusable web applications
The software industry is currently experiencing a paradigm shift towards web-based software. We argue that web technologies should evolve in a direction that would allow the devel...
Antero Taivalsaari, Tommi Mikkonen
KBSE
2008
IEEE
14 years 2 months ago
MTSA: The Modal Transition System Analyser
Modal Transition Systems (MTS) are operational models that distinguish between required and proscribed behaviour of the system to be and behaviour which it is not yet known whethe...
Nicolás D'Ippolito, Dario Fischbein, Marsha...
KBSE
2008
IEEE
14 years 2 months ago
A Case Study on the Automatic Composition of Network Application Mashups
MaxMash is a tool that can compose select features of networked application and generate the source code for application mashups that can integrate those features. This paper pres...
Maxim Shevertalov, Spiros Mancoridis
KBSE
2008
IEEE
14 years 2 months ago
Exploiting social software to build open source communities
This paper describes work in progress on how to build open source communities. The proposed approach is based on exploiting existing social software communities and applications t...
Imed Hammouda, Timo Aaltonen, Petri Sirkkala
KBSE
2008
IEEE
14 years 2 months ago
Program Analysis with Dynamic Precision Adjustment
We present and evaluate a framework and tool for combining multiple program analyses which allows the dynamic (on-line) adjustment of the precision of each analysis depending on t...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...