1782 search results - page 59 / 357 » Tool Support for Proof Engineering |
131
click to vote
METRICS
2003
IEEE
15 years 10 months ago
2003
IEEE
Up until recently software 'metrics' have been most often proposed as the quantitative tools of choice in software engineering, and the analysis of these had been most o...
160
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
It is widely documented that the absence of a structured approach to spreadsheet engineering is a key factor in the high level of spreadsheet errors. In this paper we propose and ...
148
click to vote
PEPM
2010
ACM
16 years 2 months ago
2010
ACM
PET is a prototype Partial Evaluation-based Test case generation tool for a subset of Java bytecode programs. It performs white-box test generation by means of two consecutive Par...
140
click to vote
ECBS
2003
IEEE
15 years 10 months ago
2003
IEEE
“The Unified Modeling Language (UML) is a graphical language for visualizing, specifying, constructing, and documenting the artifacts of a softwareintensive system” [1]. This ...
141
click to vote
ICSE
2004
IEEE-ACM
16 years 5 months ago
2004
IEEE-ACM
Software architectural modeling is crucial to the development of high-quality software. Software engineering tool support is required for this activity, so that models can be deve...