Sciweavers

2016 search results - page 305 / 404
» Tool Support for Ontology Engineering
Sort
View
SIGSOFT
2007
ACM
16 years 7 months ago
The impact of input domain reduction on search-based test data generation
There has recently been a great deal of interest in search? based test data generation, with many local and global search algorithms being proposed. However, to date, there has be...
Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil...
SIGSOFT
2005
ACM
16 years 7 months ago
Arithmetic program paths
We present Arithmetic Program Paths, a novel, efficient way to compress program control-flow traces that reduces program bit traces to less than a fifth of their original size whi...
Manos Renieris, Shashank Ramaprasad, Steven P. Rei...
SIGCSE
2009
ACM
139views Education» more  SIGCSE 2009»
16 years 6 months ago
On preparing students for distributed software development with a synchronous, collaborative development platform
Working remotely is becoming the norm for both professionals and students alike. Software development has become a global industry due to outsourcing, teleworking, flex time, and ...
Andrew Meneely, Laurie Williams
KBSE
2007
IEEE
16 years 17 days ago
Towards automatic model synchronization from model transformations
The metamodel techniques and model transformation techniques provide a standard way to represent and transform data, especially the software artifacts in software development. How...
Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zh...
TASE
2007
IEEE
16 years 16 days ago
Automating Language Evolution
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
Markus Pizka, Elmar Jürgens