235 search results - page 17 / 47 » Software Semantic Provisioning: Actually Reusing Software |
CCE
2007
13 years 11 months ago
2007
: This paper presents a practitioners’ report on supporting shared understanding within distributed development teams. Our software domain focuses on Enterprise development in th...
CORR
2002
Springer
13 years 9 months ago
2002
Springer
Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them ar...
ENTCS
2007
13 years 9 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
CODES
2001
IEEE
14 years 1 months ago
2001
IEEE
This paper presents a practical approach to communication synthesis for hardware/software system specified as tasks communicating through lossless blocking channels. It relies on ...
FATES
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested s...