3837 search results - page 63 / 768 » Concurrent Engineering support in Software Engineering |
REFSQ
2009
Springer
15 years 7 months ago
2009
Springer
131
click to vote
KBSE
1994
IEEE
15 years 7 months ago
1994
IEEE
Research in knowledge-based software engineering has led to advances in the ability to specify and automatically generate software. Advances in the support of upstream activities ...
161
click to vote
ICSEA
2009
IEEE
15 years 23 days ago
2009
IEEE
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
126
click to vote
EUROSYS
2007
ACM
16 years 4 days ago
2007
ACM
Software transactional memory (STM) is a promising technique for controlling concurrency in modern multi-processor architectures. STM aims to be more scalable than explicit coarse...