2969 search results - page 503 / 594 » The Case for User-Centered CASE Tools |
167
click to vote
JIDM
2010
15 years 4 months ago
2010
Data Warehouse (DW), On-Line Analytical Processing (OLAP) and Geographical Information System (GIS) are tools for providing decision-making support. Much research is aimed at inte...
202
click to vote
JOT
2010
15 years 4 months ago
2010
Nowadays, UML is considered to be the standardized language for object-oriented modeling and analysis. However, UML cannot be used for automatic analyses and simulation. In this pa...
182
click to vote
JSC
2010
15 years 4 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
210
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x8...
164
click to vote
MODELS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In recent years, OCL advanced from a language used to constrain UML models to a constraint language that is applied to various modelling languages. This includes Domain S...