5961 search results - page 760 / 1193 » Design Science and Software Engineering |
192
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
179
click to vote
AIS
1999
Springer
15 years 6 months ago
1999
Springer
The past decade has seen the development of a perspective holding that technology is socially constructed (Mackenzie and Wacjman, 1985; Bijker, Hughes and Pinch, 1987; Bijker and L...
169
click to vote
ICSM
2007
IEEE
16 years 24 days ago
2007
IEEE
Recent software systems usually feature an automated failure reporting component, with which a huge number of failures are collected from software end-users. With a proper support...
171
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
185
click to vote
SDM
2009
SIAM
16 years 3 months ago
2009
SIAM
Automotive companies are forced to continuously extend and improve their product line-up. However, increasing diversity, higher design complexity, and shorter development cycles c...