Sciweavers

1726 search results - page 44 / 346
» Traits: Tools and Methodology
Sort
View
COLING
2002
13 years 8 months ago
A Methodology for Terminology-based Knowledge Acquisition and Integration
In this paper we propose an integrated knowledge management system in which terminology-based knowledge acquisition, knowledge integration, and XML-based knowledge retrieval are c...
Hideki Mima, Sophia Ananiadou, Goran Nenadic, Jun-...
ICST
2010
IEEE
13 years 7 months ago
Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
Laya Madani, Virginia Papailiopoulou, Ioannis Pari...
DAC
1996
ACM
14 years 1 months ago
Issues and Answers in CAD Tool Interoperability
CAD tool interoperability issues are a recurring impediment to constructing a design methodology, especially if the methodology incorporates point tools from several vendors. Failu...
Mike Murray, Uwe B. Meding, Bill Berg, Yatin Trive...
CSSE
2008
IEEE
14 years 3 months ago
Lean Implementations of Software Testing Tools Using XML Representations of Source Codes
—By utilizing XML representations of source programs under test, a new approach is proposed to concisely implement some prototypes for TACCLE, a software testing methodology. The...
Yu Xia Sun, Huo Yan Chen, T. H. Tse
ATAL
2010
Springer
13 years 10 months ago
Eclipse-based Prometheus design tool
The Prometheus Design Tool (PDT) is a graphical tool that is used to design a Multi-Agent System following the Prometheus Methodology. This paper describes the latest version of P...
Hongyuan Sun, John Thangarajah, Lin Padgham