868 search results - page 141 / 174 » Debugging for Model Expansion |
104
click to vote
ERLANG
2008
ACM
15 years 2 months ago
2008
ACM
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...
105
Voted
COMGEO
2007
ACM
15 years 23 days ago
2007
ACM
In this paper we present a package for implementing exact kinetic data structures built on objects which move along polynomial trajectories. We discuss how the package design was ...
121
Voted
TOSEM
2008
15 years 20 days ago
2008
e than previously established, appearing at various levels of abstraction, in diverse systems and languages. The implications of this phenomenon cover various aspects of software e...
124
click to vote
SAC
2008
ACM
15 years 7 days ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
122
Voted
NFM
2011
14 years 7 months ago
2011
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....