7027 search results - page 327 / 1406 » Software process: a roadmap |
178
click to vote
IPPS
2006
IEEE
16 years 24 days ago
2006
IEEE
While monitoring, instrumented long running parallel applications generate huge amount of instrumentation data. Processing and storing this data incurs overhead, and perturbs the ...
185
click to vote
RSP
2005
IEEE
16 years 10 days ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
197
click to vote
ADAEUROPE
2005
Springer
16 years 9 days ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
211
click to vote
BIRTHDAY
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Traditionally, software development teams follow Tayloristic approaches favoring division of labor and, hence, the use of role-based teams. Role-based teams require the t...
164
click to vote
PROFES
2004
Springer
2004
Springer
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements
16 years 3 days ago
Abstract. The important tasks in requirement engineering are resolving requirements inconsistencies between regulators and developers of safety-critical computer systems, and the v...