160 search results - page 1 / 32 » Software Manipulation with Annotations in Java |
LIPARI
2007
Springer
13 years 11 months ago
2007
Springer
SCAM
2008
IEEE
13 years 11 months ago
2008
IEEE
FASE
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
IFIP12
2009
13 years 2 months ago
2009
: Component-based software development has matured into standard practice in software engineering. Among the advantages of reusing software modules are lower costs, faster developm...
PPPJ
2003
ACM
13 years 10 months ago
2003
ACM
Roles are a powerful paradigm to develop distributed applications based on agents, especially when they are in need of interacting with other entities. An agent-oriented approach ...