Previously the debugging of optimised code has not been possible without recompiling the executable code and preventing the use of code optimisation techniques. Although current r...
This work describes a Java based development platform which is intended to support ad hoc network researchers in application and protocol design. Software development within this ...
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
Service oriented computing is an emerging paradigm for programming distributed applications based on services. Services are simple software elements that supply their functionalit...