2206 search results - page 391 / 442 » Software Engineering and Modeling Education: Problems and So... |
SKG
2006
IEEE
15 years 5 months ago
2006
IEEE
With the rapid evolution of web technology and Internet, the mathematical web has emerged as a new research trend, which changes the traditional manner of mathematical scientific ...
103
click to vote
ENTCS
2006
14 years 11 months ago
2006
Model transformation tools implemented using graph transformation techniques are often expected to provide high performance. For this reason, in the Graph Rewriting and Transforma...
204
click to vote
POPL
2008
ACM
16 years 1 hour ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...
112
click to vote
KDD
2010
ACM
14 years 10 months ago
2010
ACM
Successful software maintenance is becoming increasingly critical due to the increasing dependence of our society and economy on software systems. One key problem of software main...
134
click to vote
GSEM
2004
Springer
15 years 5 months ago
2004
Springer
Occam is a parallel processing language designed by a team at INMOS in conjunction with the design of the transputer processor, and based on Sir T. Hoare's ideas of Communica...