160 search results - page 1 / 32 » Software Manipulation with Annotations in Java |
LIPARI
2007
Springer
14 years 5 months ago
2007
Springer
SCAM
2008
IEEE
14 years 5 months ago
2008
IEEE
FASE
2001
Springer
14 years 3 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 8 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
14 years 4 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 ...