4895 search results - page 430 / 979 » Tools for Grammar Engineering |
193
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
Software comprehension (understanding software structure and behavior) is essential for developing, maintaining, and improving software. This is particularly true of agent-based s...
168
click to vote
OOPSLA
2005
Springer
16 years 9 days ago
2005
Springer
Frameworks and libraries change their APIs during evolution. Migrating an application to the new API is tedious and disrupts the development process. Although some tools and techn...
181
click to vote
SEKE
2005
Springer
16 years 9 days ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
219
click to vote
FASE
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
165
click to vote
COMPSAC
2003
IEEE
16 years 4 days ago
2003
IEEE
Design patterns describe solutions to recurring design problems in the development of software designs. To encourage the use of design patterns, we are investigating tool support ...