360 search results - page 46 / 72 » Detecting Intrusions Specified in a Software Specification L... |
131
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
150
click to vote
AOSD
2008
ACM
15 years 6 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
139
click to vote
ICSE
1997
IEEE-ACM
15 years 8 months ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
129
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
169
click to vote
CSMR
2000
IEEE
15 years 8 months ago
2000
IEEE
The assessment of the changeability of software systems is of major concern for buyers of the large systems found in fast-moving domains such as telecommunications. One way of app...