4895 search results - page 264 / 979 » Tools for Grammar Engineering |
178
click to vote
COMPSAC
2007
IEEE
16 years 28 days ago
2007
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...
140
click to vote
ICSM
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper describes an approach and support tool for the modelling and analysis of proposed reconfigurations to complex systems. The configuration models used are quick to constr...
180
click to vote
ICSM
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper presents IntensiVE, a tool suite implemented in Cincom VisualWorks Smalltalk that allows for the documentation and co-evolution of high-level structural regularities in...
154
click to vote
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
This paper has the following goals: – To survey some of the recent developments in the field of derandomization. – To introduce a new notion of time-bounded Kolmogorov complex...
136
click to vote
CSMR
1997
IEEE
15 years 10 months ago
1997
IEEE
Redocumentation is the recovery and recording of software comprehension. Since software comprehension is the most expensive part of software maintenance, redocumentation is the ke...