Sciweavers

1663 search results - page 39 / 333
» Software Reuse and Safety
Sort
View
SIGSOFT
2004
ACM
14 years 3 months ago
Automating comprehensive safety analysis of concurrent programs using verisoft and TXL
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eï¬...
Jürgen Dingel, Hongzhi Liang
ECMDAFA
2008
Springer
91views Hardware» more  ECMDAFA 2008»
13 years 11 months ago
Generic Reusable Concern Compositions
The increasing complexity of software applications requires improved software development techniques in order to cope with, a.o., software reuse and evolution, the management of he...
Aram Hovsepyan, Stefan Van Baelen, Yolande Berbers...
ICSE
2001
IEEE-ACM
14 years 2 months ago
Traceability for System Families
System families are an idea of software reuse in a specific problem domain. Existing methods have little requirements engineering support for system family development. This short...
Detlef Streitferdt
ICSE
2011
IEEE-ACM
13 years 1 months ago
Pragmatic reuse in web application development
Highly interactive web applications that offer user experience and responsiveness of desktop applications are becoming increasingly popular. They are often composed out of visual...
Josip Maras
SAC
2010
ACM
14 years 4 months ago
Dual analysis for proving safety and finding bugs
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
Corneliu Popeea, Wei-Ngan Chin