6174 search results - page 835 / 1235 » The language of social software |
165
click to vote
WCRE
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents an algorithm for reverse engineering semantically sound object-oriented data models from programs written in weakly-typed languages like Cobol. Our inference i...
219
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...
166
click to vote
OOPSLA
2007
Springer
16 years 29 days ago
2007
Springer
This article describes the design and use of the CUTE C++ testing framework and its integration into the Eclipse C++ Development Tooling. Unit testing supports code quality and is...
149
click to vote
SLS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We present a software tool, called EasySyn++, for the automatic synthesis of the source code for a set of stochastic local search (SLS) algorithms. EasySyn++ uses C++ as ...
173
click to vote
FDL
2005
IEEE
16 years 13 days ago
2005
IEEE
In the field of real-time control applications, validation relies on a precise knowledge of the temporal characteristics of the used data such as delays and loss rates. These data...