Sciweavers

166 search results - page 15 / 34
» Workshop on Graph-Based Tools
Sort
View
ICAT
2003
IEEE
15 years 2 months ago
A Formalism and a Tool for Diverging Requirements in VR Scenario Modeling
Any VR scenario should offer a certain degree of nonlinearity or openness regarding the story progress as a consequence of the interaction with the user. In this paper we propose ...
Richard Wages, Benno Grützmacher, Georg Troge...
AOSE
2004
Springer
15 years 3 months ago
Formal Semantics for AUML Agent Interaction Protocol Diagrams
Abstract. In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the...
Lawrence Cabac, Daniel Moldt
59
Voted
LREC
2010
168views Education» more  LREC 2010»
14 years 8 months ago
Language Technology Challenges of a 'Small' Language (Catalan)
In this paper, we present a brief snapshot of the state of affairs in computational processing of Catalan and the initiatives that are starting to take place in an effort to bring...
Maite Melero, Gemma Boleda, Montse Cuadros, Cristi...
ECOOPW
1999
Springer
15 years 1 months ago
Tool Support for Refactoring Duplicated OO Code
Code duplication is an important problem in application maintenance. Tools exist that support code duplication detection. However, few of them propose a solution for the problem, ...
Matthias Rieger, Stéphane Ducasse, Georges ...
CORR
2004
Springer
115views Education» more  CORR 2004»
14 years 9 months ago
Jartege: a Tool for Random Generation of Unit Tests for Java Classes
This paper presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Ja...
Catherine Oriat