Terje Sivertsen

Publication Activity (10 Years)

Years Active: 1990-2005
Publications (10 Years): 0

Publications

Terje Sivertsen, Rune Fredriksen, Atoosa P.-J. Thunem, Jan-Erik Holmberg, Janne Valkonen, Olli Ventä, Jan-Ove Andersson
The TACO Approach for Traceability and Communication of Requirements. SAFECOMP (2005)
Terje Sivertsen
Undefinedness vs. Underspecification in HALDEN ASL. Nord. J. Comput. 11 (1) (2004)
Terje Sivertsen
A Case Study on the Formal Development of a Reactor Safety System. FME (1996)
Sandro Bologna, Terje Sivertsen, Heikki Välisuo
Rigorous Engineering Practice and Formal Reasoning of Deep Domain Knowledge - the Basis of Dependable Knowledge Based Systems for Process Plant Control. Int. J. Softw. Eng. Knowl. Eng. 3 (1) (1993)
Sandro Bologna, Eyvind Ness, Terje Sivertsen
Dependable knowledge-based systems development and verification: what we can learn from software engineering and what we need. TAI (1990)