3357 search results - page 373 / 672 » On the Use of Process Trails to Understand Software Developm... |
165
click to vote
ACSAC
2005
IEEE
16 years 12 days ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
182
click to vote
CCGRID
2007
IEEE
16 years 1 months ago
2007
IEEE
The number of processors embedded on high performance computing platforms is continuously increasing to accommodate user desire to solve larger and more complex problems. However,...
166
click to vote
OOPSLA
2005
Springer
16 years 8 days ago
2005
Springer
Frameworks and libraries change their APIs during evolution. Migrating an application to the new API is tedious and disrupts the development process. Although some tools and techn...
201
click to vote
ASWSD
2004
Springer
16 years 5 days ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
196
click to vote
WSKS
2009
Springer
15 years 11 months ago
2009
Springer
Model-Driven Development (MDD) has encouraged the use of automated software tools that facilitate the development process from modelling to coding. User Interfaces (UI), as a signi...