3801 search results - page 70 / 761 » An Approach to Modeling Software Safety |
ICECCS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper presents a novel application involving two important Software Engineering research areas: process modeling and software reuse. The Spiral Model is a risk-driven process...
118
click to vote
PPOPP
2009
ACM
15 years 10 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
SC
2003
ACM
15 years 3 months ago
2003
ACM
Buffered CoScheduled MPI (BCS-MPI) introduces a new approach to design the communication layer for largescale parallel machines. The emphasis of BCS-MPI is on the global coordinat...
ICSM
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper describes an architecture analysis tool-set supporting the evolutionary improvement of the software architecture of an existing medical imaging system. The toolset has ...
SAC
2008
ACM
14 years 9 months ago
2008
ACM
This work presents an approach for realizing Model-Driven software engineering in the distributed and multi-developers context. It particularly focuses on the scalability problems...