2335 search results - page 327 / 467 » Type Checking Type Classes |
ISSRE
2002
IEEE
15 years 6 months ago
2002
IEEE
Fault insertion based techniqueshave been used for measuring test adequacy and testability of programs. Mutation analysis inserts faults into a program with the goal of creating m...
108
click to vote
WER
2001
Springer
15 years 5 months ago
2001
Springer
Although Non-Functional Requirements (NFR) have been present in many software development methods, they have been faced as a second or even third class type of requirement, frequen...
118
click to vote
IWPC
2000
IEEE
15 years 5 months ago
2000
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual page...
118
click to vote
VL
1999
IEEE
15 years 5 months ago
1999
IEEE
To take advantage of the ever-increasing volume of diagrams in electronic form, it is crucial that we have methods for parsing diagrams. Once a structured, content-based descripti...
101
click to vote
WCRE
1999
IEEE
15 years 5 months ago
1999
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual pages...