Menneske og teknologi

Programvareteknikk

2011 - A conceptual model of traceabilty for safety systems

Katta, V., Stålhane, T., last modified Jan 16, 2012 12:39 PM

2011 - Analysis of error propagation between software processes

Sarshar, S., last modified Dec 07, 2011 01:46 PM

2011 - Research on software systems dependability at the OECD Halden Reactor Project

Sivertsen, T., Øwre, F., last modified Aug 29, 2011 04:15 PM

2011 - SACS - a pattern language for Safe Adaptive Control Software

Hauge, A., Stølen, K., last modified Jan 16, 2012 12:47 PM

2011 - Towards patterns for handling safety critical adaptive control software

Hauge, A., Stølen, K., last modified Jan 16, 2012 01:02 PM

2010 - Comparing two techniques for intrusion visualization

Katta, V., Karpati, P., Opdahl, A.L., Raspotnig, C., Sindre, G., last modified Mar 17, 2011 04:26 PM

2010 - Means-ends and whole-part traceability analysis of safety requirements

Lee, J.-S., Katta, V., Jee, E.-K., Raspotnig, C., last modified Feb 02, 2011 01:53 PM

2010 - Survey on techniques for modeling of dependencies in the digital I&C design phase

Sarshar, S., Kristiansen, M., Sivertsen, T., last modified Jul 25, 2011 11:14 AM

2009 - A comparison of three alternative means for safety critical control

Hauge, A., last modified Feb 02, 2011 01:53 PM

2009 - Establishing the correlation between complexity and a reliability metric for software digital i&c-systems

Simensen, J.E., Gerst, C., Gran, B.A., Märtz, J., Miedl, H. , last modified Feb 02, 2011 01:53 PM

2009 - Identifying the most important component dependencies in compound software: An experimental study

Kristiansen, M., Winther, R., Simensen, J.E., last modified Feb 02, 2011 01:53 PM

2009 - Performing code interface analysis on the Scorpio core surveillance framework

Sarshar, S., last modified Feb 02, 2011 01:52 PM

2009 - The use of metrics to assess software component dependencies

Kristiansen, M., Winther, R., van der Meulen, M., Revilla, M.A., last modified Feb 02, 2011 01:53 PM

2008 - Automatic source code analysis of failure modes causing error propagation

Sarshar, S., Winther, R., last modified Feb 02, 2011 01:52 PM

2008 - Demonstrating safety through dependable requirements engineering

Raspotnig, C., Katta, V., last modified Feb 02, 2011 01:54 PM

2008 - Integrating risk assessment into requirements engineering

Henriksdòttir, S., Katta, V., Raspotnig, C., last modified Feb 02, 2011 01:53 PM

2008 - Mean ends and whole-part traceability of safety requirements

Lee, J.-S., Raspotnig, C., Katta, V., last modified Feb 02, 2011 01:53 PM

2007 - An approach for secure event reporting, storage and treatment

Thunem, H.P.J., Thunem, A.P.J., Bisio, R., last modified Feb 02, 2011 01:53 PM

2007 - Analysis of error propagation between software processes

Sarshar, S., Simensen, J.E., Winther, R., Fredriksen, R., last modified Feb 02, 2011 01:53 PM

2007 - Assessing reliability of compound software

Kristiansen, M., Winther, R., last modified Feb 02, 2011 01:53 PM