3837 search results - page 111 / 768 » Concurrent Engineering support in Software Engineering |
130
click to vote
DAGSTUHL
2004
15 years 4 months ago
2004
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...
120
Voted
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
115
click to vote
MOMPES
2008
IEEE
15 years 9 months ago
2008
IEEE
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...
126
click to vote
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
We describe the “STSC” prototype tool that supports the statistical testing of software components. The tool supports a wide range of operational profiles and test oracles for...
181
click to vote
VEE
2012
ACM
13 years 10 months ago
2012
ACM
In software for embedded systems, the frequent use of interrupts for timing, sensing, and I/O processing can cause concurrency faults to occur due to interactions between applicat...