1100 search results - page 14 / 220 » Instrumenting annotated programs |
ADBIS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Traditionally, the investment funds market exploits analysis and design concepts based on the procedural programming approach. We propose a set of analysis patterns which...
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
Unplanned system outages have a negative impact on company revenues and image. While the last decades have seen a lot of efforts from industry and academia to avoid them, they stil...
FM
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
ECMDAFA
2008
Springer
13 years 9 months ago
2008
Springer
Frameworks and libraries that use annotations are becoming popular. However, there is not enough software engineering support for annotation development. In particular, the validat...
CORR
2002
Springer
13 years 7 months ago
2002
Springer
The Annotation Graph Toolkit (AGTK) is a collection of software which facilitates development of linguistic annotation tools. AGTK provides a database interface which allows appli...