3837 search results - page 145 / 768 » Concurrent Engineering support in Software Engineering |
COMPSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper shows how an architecture description notation that has support for timed events can be used to provide a meta-language for specifying exact communication semantics. Th...
154
click to vote
EUROSYS
2011
ACM
14 years 7 months ago
2011
ACM
Parallel software is increasingly necessary to take advantage of multi-core architectures, but it is also prone to concurrency bugs which are particularly hard to avoid, find, an...
140
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
The agentTool III (aT3 ) development environment is built on the Eclipse platform and provides traditional model creation tools to support the analysis, design, and implementation...
129
Voted
OOPSLA
2000
Springer
15 years 7 months ago
2000
Springer
Reverse engineering is the process of uncovering the design and the design rationale from a functioning software system. Reverse engineering is an integral part of any successful ...
126
Voted
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...