Sciweavers

686 search results - page 48 / 138
» Automatic Model Generation Strategies for Model Transformati...
Sort
View
UML
2001
Springer
14 years 2 days ago
Conformance Testing from UML Specifications. Experience Report
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...
Lydie du Bousquet, Hugues Martin, Jean-Marc J&eacu...
LREC
2008
123views Education» more  LREC 2008»
13 years 9 months ago
Generalising Lexical Translation Strategies for MT Using Comparable Corpora
We report on an on-going research project aimed at increasing the range of translation equivalents which can be automatically discovered by MT systems. The methodology is based on...
Bogdan Babych, Serge Sharoff, Anthony Hartley
ISSRE
2003
IEEE
14 years 28 days ago
Requirements by Contracts allow Automated System Testing
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
Clémentine Nebut, Franck Fleurey, Yves Le T...
FORTE
2004
13 years 9 months ago
Formal Verification of Web Applications Modeled by Communicating Automata
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
May Haydar, Alexandre Petrenko, Houari A. Sahraoui
IDA
2009
Springer
14 years 2 months ago
Cumulative State Coherence Transform for a Robust Two-Channel Multiple Source Localization
This work presents a novel robust method for a two-channel multiple Time Difference of Arrival (TDOA) estimation. The method is based on a recursive frequency-domain Independent C...
Francesco Nesta, Piergiorgio Svaizer, Maurizio Omo...