474 search results - page 55 / 95 » Assurance Based Development of Critical Systems |
167
click to vote
SIES
2009
IEEE
15 years 11 months ago
2009
IEEE
— Software intellectual property (SWIP) is a critical component of increasingly complex FPGA based system on chip (SOC) designs. As a result, developers want to ensure that their...
135
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical preced...
173
click to vote
PRDC
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
147
click to vote
DEXAW
2007
IEEE
15 years 11 months ago
2007
IEEE
The semantic web represents meta-data as a relation of triples using the RDF data model. We have developed a virtual repository system that enables to process queries to RDF views...
132
click to vote
COMPSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
The development of complex software systems involves collecting software requirements from various stakeholders. Often stakeholder perceptions conflict during the requirements eli...