1823 search results - page 68 / 365 » Formal specification: a roadmap |
138
click to vote
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
130
click to vote
SP
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
136
click to vote
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
165
click to vote
WOODPECKER
2001
15 years 5 months ago
2001
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...
108
click to vote
ENTCS
2010
15 years 4 months ago
2010
We present a novel specification language called JDC to be used at design phase of distributed components. The extensive seek for asynchrony in distributed components demands new ...