3357 search results - page 525 / 672 » On the Use of Process Trails to Understand Software Developm... |
ATVA
2009
Springer
15 years 4 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
IEEEARES
2007
IEEE
15 years 4 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...
101
click to vote
DATE
2010
IEEE
14 years 8 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
114
click to vote
AMKM
2003
Springer
15 years 3 months ago
2003
Springer
Every time a user engaged in work reads or writes, the user spontaneously generates new information needs: to understand the text he or she is reading or to supply more substance ...
ASPLOS
2006
ACM
15 years 4 months ago
2006
ACM
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...