524 search results - page 40 / 105 » Debugging Models in the Context of Automotive Software Devel... |
108
click to vote
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
111
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
102
Voted
ICALT
2006
IEEE
15 years 6 months ago
2006
IEEE
The application of software engineering approaches to generate learning material adapted to a specific instructional purpose presents some issues: of different models, different a...
102
Voted
AOSD
2006
ACM
15 years 6 months ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
101
Voted
RE
2001
Springer
15 years 5 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...