2878 search results - page 151 / 576 » Analyzing the Uses of a Software Modeling Tool |
IJOSSP
2010
13 years 3 months ago
2010
Empirical research on software development based on data obtained from project repositories and code forges is increasingly gaining attention in the software engineering research ...
ICRE
1998
IEEE
14 years 17 days ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
ISW
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Program obfuscation is a semantic-preserving transformation aimed at bringing a program into such a form, which impedes the understanding of its algorithm and data struct...
OOPSLA
2007
Springer
14 years 2 months ago
2007
Springer
It is difficult to determine the cost effectiveness of program analysis tools because we cannot evaluate them in the same environment where we will be using the tool. Tool evalua...
EUROMICRO
2009
IEEE
14 years 3 months ago
2009
IEEE
One of the challenges in development of embedded systems is to cope with hardware and software components simultaneously. Often is their integration cumbersome due to their incomp...