Sciweavers

2203 search results - page 110 / 441
» Knowledge Integration
Sort
View
ICTAC
2009
Springer
15 years 2 months ago
Integration Testing from Structured First-Order Specifications via Deduction Modulo
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
Delphine Longuet, Marc Aiguier
SIGSOFT
2010
ACM
15 years 2 months ago
IDE 2.0: collective intelligence in software development
Today's Integrated Development Environments (IDEs) only integrate the tools and knowledge of a single user and workstation. This neglects the fact that the way in which we de...
Marcel Bruch, Eric Bodden, Martin Monperrus, Mira ...
OWLED
2007
15 years 5 months ago
Ontological Context Visualization
Abstract. Ontologies contain information about concepts and their relations. Certain concepts may occur in different ontologies at the same time and these concepts can be used as ...
Julia Dmitrieva, Yun Bei, Fons J. Verbeek
115
Voted
KBSE
2008
IEEE
15 years 10 months ago
A Methodology and Framework for Creating Domain-Specific Development Infrastructures
Domain-specific architectures, middleware platforms, and analysis techniques leverage domain knowledge to help engineers build systems more effectively. An integrated set of these...
George Edwards, Nenad Medvidovic
152
Voted
MI
1993
15 years 5 months ago
Putting knowledge rich plan representations to use
AI planning research is now maturing and nding practical application in the commercial, industrial, engineering and defence sectors. This has led to a rapid expansion in the last ...
Austin Tate