1099 search results - page 149 / 220 » A tool for assisting the understanding and formal developmen... |
WCRE
1993
IEEE
14 years 1 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
IJMMS
2008
13 years 9 months ago
2008
Computer programming is generally understood to be highly challenging and since its inception a wide range of approaches, tools and methodologies have been developed to assist in ...
SOFTVIS
2010
ACM
13 years 9 months ago
2010
ACM
Code smells are characteristics of software that indicate that code may have a design problem. Code smells have been proposed as a way for programmers to recognize the need for re...
BMCBI
2008
13 years 9 months ago
2008
Background: The exponential growth of research in molecular biology has brought concomitant proliferation of databases for stocking its findings. A variety of protein sequence dat...
ICSE
2009
IEEE-ACM
14 years 4 months ago
2009
IEEE-ACM
Many of today’s complex systems are multithreaded servers that effectively run forever and need to work under varying loads and environments. Understanding the behavior of such ...