2016 search results - page 257 / 404 » Tool Support for Ontology Engineering |
187
click to vote
AEI
2007
15 years 6 months ago
2007
A peer-to-peer (p2p) based service flow management system, SwinDeW-S, could support decentralised Web service composition, deployment and enactment. However, traditional workflow ...
160
click to vote
KBSE
2007
IEEE
16 years 19 days ago
2007
IEEE
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...
166
click to vote
TAICPART
2006
IEEE
16 years 11 days ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
149
click to vote
OOPSLA
1998
Springer
15 years 10 months ago
1998
Springer
Dynamic information collected as a software system executes can help software engineers perform some tasks on a system more effectively. To interpret the sizable amount of data ge...
135
click to vote
TOOLS
1994
IEEE
15 years 10 months ago
1994
IEEE
The term software engineering arose in the 1960s to emphasize that the production of software should not be an art, as it was then (and sometimes still is today), but an engineeri...