2253 search results - page 95 / 451 » An Approach to Specifying Software Frameworks |
134
Voted
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
114
Voted
KBSE
2006
IEEE
15 years 9 months ago
2006
IEEE
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
143
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we describe a framework for robust system maintenance that addresses specific challenges of data-centric applications. We show that for data-centric applications, cl...
140
Voted
SMC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—Today’s enterprises are confronted with a challenging environment that demands continuous transformations. Globalized markets, disruptive technological innovations, an...
256
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...