393 search results - page 61 / 79 » Source transformation in software engineering using the TXL ... |
ICESS
2007
Springer
14 years 21 days ago
2007
Springer
Abstract. The interactive digital multimedia broadcasting stands for a convergence application between digital multimedia broadcasting service and wireless internet service. It dev...
APSEC
2006
IEEE
14 years 2 months ago
2006
IEEE
Testing for time-related behaviors of PLC software is important and should be performed carefully. We propose a structural testing technique on Function Block Diagram(FBD) network...
SCAM
2006
IEEE
14 years 2 months ago
2006
IEEE
An approach for factoring source-code differences is presented. A single large difference between two versions of a program is decomposed into factors (i.e., smaller changes). The...
FASE
2010
Springer
14 years 4 days ago
2010
Springer
Services provide access to software components that can be discovered dynamically via the Internet. The increasing number of services a requesters may be able to use demand support...
INFSOF
2010
13 years 7 months ago
2010
Program analysis techniques are used by software engineers to deduce and infer characteristics of software systems. Recent research has suggested that certain program analysis tec...