Sciweavers

708 search results - page 34 / 142
» Automated software development with XML and the Java* langua...
Sort
View
CL
2010
Springer
13 years 8 months ago
SystemJ: A GALS language for system level design
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
Avinash Malik, Zoran Salcic, Partha S. Roop, Alain...
IFIP
2010
Springer
13 years 3 months ago
Model Checking of Concurrent Algorithms: From Java to C
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
Cyrille Artho, Masami Hagiya, Watcharin Leungwatta...
ECOOP
2007
Springer
14 years 18 days ago
Automating Feature-Oriented Refactoring of Legacy Applications
Creating a software product line from a legacy application is a difficult task. We propose a tool that helps automating tedious tasks of refactoring legacy applications into featu...
Christian Kästner, Martin Kuhlemann, Don S. B...
MM
1997
ACM
102views Multimedia» more  MM 1997»
14 years 27 days ago
Flavor: A Language for Media Representation
We present the design and implementation of a new programming language for media-intensive applications called Flavor (Formal Language for Audio-Visual Object Representation). It ...
Alexandros Eleftheriadis
VLDB
1999
ACM
162views Database» more  VLDB 1999»
14 years 29 days ago
Active Views for Electronic Commerce
Electronic commerce is emerging as a major Websupported application. In this paper we argue that database technology can, and should, provide the backbone for a wide range of such...
Serge Abiteboul, Bernd Amann, Sophie Cluet, Anat E...