4895 search results - page 411 / 979 » Tools for Grammar Engineering |
158
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
Internet and intranet web sites have become an integral part of software development as well as the wider fields of commercial, educational and recreational activity. In order to...
157
click to vote
ISSTA
2000
ACM
15 years 11 months ago
2000
ACM
Given some test case, a program fails. Which part of the test case is responsible for the particular failure? We show how our delta debugging algorithm generalizes and simplifies...
150
click to vote
ICSM
1999
IEEE
15 years 11 months ago
1999
IEEE
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...
156
click to vote
SEKE
1999
Springer
15 years 11 months ago
1999
Springer
Today’s software developments are faced with steadily increasing expectations: software has to be developed faster, better, and cheaper. At the same time, application complexity ...
162
click to vote
HICSS
1997
IEEE
15 years 11 months ago
1997
IEEE
Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems. Formal approaches and model...