3837 search results - page 287 / 768 » Concurrent Engineering support in Software Engineering |
148
click to vote
ICSM
2006
IEEE
15 years 10 months ago
2006
IEEE
Programming languages provide various mechanisms to support information hiding. One problem with information hiding, however, is that providing a stable interface behind which to ...
148
click to vote
COMPSAC
1997
IEEE
15 years 8 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
134
click to vote
ADAEUROPE
1997
Springer
15 years 8 months ago
1997
Springer
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
143
click to vote
HCI
2007
15 years 5 months ago
2007
In the VTT PLAMOS (Plant Model Services for Mobile Process Maintenance Engineer) project new tools were developed for modern maintenance work carried out in industrial plants by ei...
233
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
A concurrent data-structure implementation is considered nonblocking if it meets one of three following liveness criteria: waitfreedom, lock-freedom, or obstruction-freedom. Devel...