Sciweavers

3837 search results - page 14 / 768
» Concurrent Engineering support in Software Engineering
Sort
View
51
Voted
ICSE
2009
IEEE-ACM
15 years 2 months ago
Deconstructing concurrency heisenbugs
Thomas Ball, Sebastian Burckhardt, Jonathan de Hal...
SEFM
2005
IEEE
15 years 3 months ago
Safe Concurrency for Aggregate Objects with Invariants
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for o...
Bart Jacobs 0002, Frank Piessens, K. Rustan M. Lei...
ISPE
2003
14 years 11 months ago
Application of data mining and intelligent agent technologies to concurrent engineering
: Software agent technology has matured enough to produce intelligent agents, which can be used to control a large number of concurrent engineering tasks. Multi-agent systems are c...
Pericles A. Mitkas, Andreas L. Symeonidis, Dionisi...
ICSE
2009
IEEE-ACM
14 years 7 months ago
VCC: Contract-based modular verification of concurrent C
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
Markus Dahlweid, Michal Moskal, Thomas Santen, Ste...
ISPW
2006
IEEE
15 years 3 months ago
Workflows and Cooperative Processes
Workflows emphasize the partial order of activities, and the flow of data between activities. In contrast, cooperative processes emphasize the sharing of artefact, and its gradual ...
Jacky Estublier, Sergio Garcia