91 search results - page 16 / 19 » On the Relationships between Static and Dynamic Models in Re... |
147
Voted
TCBB
2011
14 years 10 months ago
2011
—In this paper, we propose a communication model of evolution and investigate its information-theoretic bounds. The process of evolution is modeled as the retransmission of infor...
134
Voted
ESEC
1997
Springer
15 years 7 months ago
1997
Springer
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
148
Voted
WCRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
156
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...
131
Voted
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
When dealing with dynamic, untrusted content, such as on the Web, software behavior must be sandboxed, typically through use of a language like JavaScript. However, even for such ...