Terje Sivertsen

According to our database, Terje Sivertsen authored at least 5 papers between 1990 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2005

The TACO Approach for Traceability and Communication of Requirements.

Terje Sivertsen, Rune Fredriksen, Atoosa P.-J. Thunem, Jan-Erik Holmberg, Janne Valkonen, Olli Ventä, Jan-Ove Andersson

Proceedings of the Computer Safety, 2005

2004

Undefinedness vs. Underspecification in HALDEN ASL.

Terje Sivertsen

Nord. J. Comput., 2004

1996

A Case Study on the Formal Development of a Reactor Safety System.

Terje Sivertsen

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1993

Rigorous Engineering Practice and Formal Reasoning of Deep Domain Knowledge - the Basis of Dependable Knowledge Based Systems for Process Plant Control.

Sandro Bologna, Terje Sivertsen, Heikki Välisuo

Int. J. Softw. Eng. Knowl. Eng., 1993

1990

Dependable knowledge-based systems development and verification: what we can learn from software engineering and what we need.

Sandro Bologna, Eyvind Ness, Terje Sivertsen

Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990