151
Voted
APSEC
2001
IEEE
15 years 7 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
96
Voted
APN
2003
Springer
15 years 7 months ago
2003
Springer
121
Voted
APN
2003
Springer
15 years 7 months ago
2003
Springer
The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. In order to support different versions of Petri nets and, in particular, future versions of ...
133
click to vote
APLAS
2003
ACM
15 years 7 months ago
2003
ACM
A dataflow-based pointcut is proposed for aspect-oriented programming (AOP) languages. The pointcut specifies where aspects should be applied based on the origins of values. It is ...
134
Voted
APLAS
2003
ACM
15 years 7 months ago
2003
ACM
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...