Sciweavers

335 search results - page 3 / 67
» Arguing safety with Problem Oriented Software Engineering
Sort
View
SIGADA
2004
Springer
13 years 11 months ago
Enforcing security and safety models with an information flow analysis tool
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
Roderick Chapman, Adrian Hilton
ICSE
2007
IEEE-ACM
14 years 13 days ago
Languages for Safety-Critical Software: Issues and Assessment
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
Benjamin M. Brosgol
ECIS
2000
13 years 7 months ago
On Some Epistemological Problems of Software Engineering
The paper addresses some misconceptions of Software Engineering, requirements analysis and modelling in particular, due to underlying epistemological flaws., e.g. the believe that...
Peter Schefe
ICSE
2003
IEEE-ACM
14 years 6 months ago
Software Engineering Overlaps with Human-Computer Interaction: A Natural Evolution
It is argued that overlap between the Software Engineering and Human-Computer Interaction disciplines is part of a natural evolution that has been developing throughout the histor...
Allen E. Milewski
ICST
2010
IEEE
13 years 4 months ago
Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard
— Increasingly, licensing and safety regulatory bodies require the suppliers of software-intensive, safety-critical systems to provide an explicit software safety case – a stru...
Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzade...