1782 search results - page 26 / 357 » Tool Support for Proof Engineering |
AVI
2006
2006
Methods for the evaluation of an interactive InfoVis tool supporting exploratory reasoning processes
13 years 10 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++...
AOSD
2006
ACM
14 years 2 months ago
2006
ACM
Aspect-oriented software development is gaining popularity with the wider adoption of languages such as AspectJ. To reduce the manual effort of testing aspects in AspectJ programs...
ENVSOFT
2007
13 years 8 months ago
2007
Numerical modelling is now used routinely to make predictions about the behaviour of environmental systems. Model calibration remains a critical step in the modelling process and ...
WEBI
2009
Springer
14 years 3 months ago
2009
Springer
—A Search Support Engine (SSE) is implemented based on the basic principles of Information Retrieval Support Systems (IRSS) and Information Seeking Support Systems (ISSS). An SSE...
ASWEC
2007
IEEE
14 years 3 months ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...