1032 search results - page 192 / 207 » A Survey on Industrial Software Engineering |
127
Voted
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
The JavaScript programming language is widely used for web programming and, increasingly, for general purpose computing. As such, improving the correctness, security and performan...
127
click to vote
ECRTS
2002
IEEE
15 years 6 months ago
2002
IEEE
In today’s technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity o...
137
click to vote
ICCAD
2007
IEEE
15 years 5 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
130
click to vote
ASM
2010
ASM
15 years 5 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
101
click to vote
WSC
2007
15 years 4 months ago
2007
Decision making in industry continues to become more complicated. Customers are more demanding, competition is more fierce, and costs for labor and raw materials continue to rise....