3837 search results - page 197 / 768 » Concurrent Engineering support in Software Engineering |
116
click to vote
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
168
Voted
GSEM
2004
Springer
15 years 9 months ago
2004
Springer
Occam is a parallel processing language designed by a team at INMOS in conjunction with the design of the transputer processor, and based on Sir T. Hoare's ideas of Communica...
137
Voted
DBPL
1989
Springer
15 years 7 months ago
1989
Springer
In the process of developing an Information System, one passes through stages that include requirements gathering, design specification, and software implementation. The purpose ...
154
Voted
SIGOPS
2008
15 years 3 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
121
Voted
KBSE
1999
IEEE
15 years 8 months ago
1999
IEEE
Scenarios are valuable for supporting communication among system developers in the initial phases of requirements engineering. But the problem of how to fruitfully deal with large...