3837 search results - page 203 / 768 » Concurrent Engineering support in Software Engineering |
115
Voted
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Although many of the software engineering activities can now be model-supported, the model is often missing in software development. We are interested in retrieving statemachine m...
141
Voted
WEBENG
2001
Springer
15 years 8 months ago
2001
Springer
From a software engineering perspective the World Wide Web is a new application platform. The implementation model that the Web is based on makes it difficult to apply classic proc...
170
Voted
CCECE
2006
IEEE
15 years 9 months ago
2006
IEEE
Real Time embedded system designers are facing extreme challenges in underlying architectural design selection. It involves the selection of a programmable, concurrent, heterogene...
123
Voted
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when some thread...
239
Voted
POPL
2007
ACM
16 years 4 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...