1481 search results - page 57 / 297 » Enriching the Software Development Process by Formal Methods |
135
click to vote
ISOLA
2004
Springer
15 years 8 months ago
2004
Springer
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
116
click to vote
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
105
click to vote
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
192
click to vote
DCEIS
2006
15 years 4 months ago
2006
During software engineering processes lots of artifacts are produced to document the development of a concrete software. For artifacts which are related with respect to their meani...
137
Voted
AVI
2006
2006
Methods for the evaluation of an interactive InfoVis tool supporting exploratory reasoning processes
15 years 4 months ago
Developing Information Visualization (InfoVis) techniques for complex knowledge domains makes it necessary to apply alternative methods of evaluation. In the evaluation of Gravi++...