1419 search results - page 6 / 284 » Using Managed Communication Channels in Software Components |
CSCW
2010
ACM
14 years 3 months ago
2010
ACM
Issue tracking systems help organizations manage issue reporting, assignment, tracking, resolution, and archiving. Traditionally, it is the Software Engineering community that res...
CODES
1997
IEEE
13 years 11 months ago
1997
IEEE
The Pia hardware-software co-simulator provides substantial speedups over traditional co-simulation methods by permitting dynamic changes in the level of detail when simulating co...
APSEC
2004
IEEE
13 years 10 months ago
2004
IEEE
Recently, agile software development methods are popular because software should be developed in a short period. However, conventional project management techniques are often not ...
APSEC
1997
IEEE
13 years 11 months ago
1997
IEEE
A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component interactions. In this report we use a variant of...
CADE
2007
Springer
14 years 7 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...