376 search results - page 5 / 76 » A Controlled Language for the Specification of Contracts |
REFLECTION
1999
Springer
15 years 2 months ago
1999
Springer
jContractor is a purely library based approach to support Design By Contract specifications such as preconditions, postconditions, class invariants, and recovery and exception hand...
72
Voted
ICALP
2001
Springer
15 years 2 months ago
2001
Springer
122
click to vote
SAC
2008
ACM
14 years 9 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
119
click to vote
ECOOP
2010
Springer
15 years 1 months ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
118
click to vote
ENTCS
2006
14 years 10 months ago
2006
Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interfac...