66 search results - page 2 / 14 » Intermediate Predicate Format for Design Automation Tools |
GCC
2003
Springer
13 years 11 months ago
2003
Springer
: Detection of instances of design patterns is useful for the software maintenance. This paper proposes a new framework for the automated detection of instances of design patterns....
FDL
2011
IEEE
12 years 5 months ago
2011
IEEE
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...
WWW
2010
ACM
14 years 22 days ago
2010
ACM
We present a tool for helping XML schema designers to obtain a high quality level for their specifications. The tool allows one to analyze relations between classes of XML docume...
JSS
2010
13 years 16 days ago
2010
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
TLT
2010
13 years 14 days ago
2010
Wikis today are being used as a tool to conduct collaborative writing assignments in classrooms. However, typical Wikis do not adequately address the assessment of individual stude...