Sciweavers

5547 search results - page 240 / 1110
» Software Variability Management
Sort
View
ISPW
2007
IEEE
16 years 25 days ago
Process Mining Framework for Software Processes
Abstract. Software development processes are often not explicitly modelled and sometimes even chaotic. In order to keep track of the involved documents and files, engineers use So...
Vladimir Rubin, Christian W. Günther, Wil M. ...
CCS
2007
ACM
16 years 22 days ago
Effect of static analysis tools on software security: preliminary investigation
Static analysis tools can handle large-scale software and find thousands of defects. But do they improve software security? We evaluate the effect of static analysis tool use on s...
Vadim Okun, William F. Guthrie, Romain Gaucher, Pa...
ECLIPSE
2004
ACM
15 years 12 months ago
Using Eclipse in distant teaching of software engineering
Software engineering education is most often complemented by a software engineering project where a team of students has to develop a large software system. At a distance teaching...
Philipp Bouillon, Jens Krinke
COMPSAC
2009
IEEE
16 years 1 months ago
HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
Qichang Chen, Liqiang Wang, Zijiang Yang
FSTTCS
2006
Springer
15 years 10 months ago
Distributed Synthesis for Well-Connected Architectures
Abstract. We study the synthesis problem for external linear or branching specifications and distributed, synchronous architectures with arbitrary delays on processes. External mea...
Paul Gastin, Nathalie Sznajder, Marc Zeitoun