360 search results - page 37 / 72 » Detecting Intrusions Specified in a Software Specification L... |
SIGPLAN
2008
13 years 7 months ago
2008
Many organizations specify information release policies to describe the terms under which sensitive information may be released to other organizations. This paper presents a new a...
FASE
2000
Springer
13 years 11 months ago
2000
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and f...
TOOLS
1999
IEEE
14 years 7 days ago
1999
IEEE
The evolution of software systems over many years often leads to unnecessarily complex and in exible designs which in turn lead to a huge amount of e ort for enhancements and main...
ICST
2009
IEEE
14 years 2 months ago
2009
IEEE
Aspect-oriented programming (AOP) languages introduce new constructs that can lead to new types of faults, which must be targeted by testing techniques. In particular, AOP languag...
RTCSA
1999
IEEE
14 years 7 days ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...