Sciweavers

1726 search results - page 44 / 346
» Traits: Tools and Methodology
Sort
View
COLING
2002
15 years 5 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-...
181
Voted
ICST
2010
IEEE
15 years 4 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
15 years 10 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
16 years 16 days 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
151
Voted
ATAL
2010
Springer
15 years 7 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