28 search results - page 2 / 6 » Statically Checked Documentation with Design Patterns |
ICSR
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. Design pattern formalization is aimed at encouraging the use of design patterns during the design phase. Many approaches focuses on providing solutions with a graphical n...
SIGSOFT
2010
ACM
13 years 3 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
ICTCS
2005
Springer
13 years 10 months ago
2005
Springer
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...
CASSIS
2004
Springer
13 years 10 months ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
ECBS
2006
IEEE
13 years 11 months ago
2006
IEEE
The evolution of a design pattern typically involves the addition or removal of a group of modeling elements, such as classes, attributes, operations, and relationships. However, ...