Terje Sivertsen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

4 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: 317-329

2004

3 Terje Sivertsen: Undefinedness vs. Underspecification in HALDEN ASL. Nord. J. Comput. 11(1): 12-34 (2004)

1996

2 Terje Sivertsen: A Case Study on the Formal Development of a Reactor Safety System. FME 1996: 18-38

1993

1 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. International Journal of Software Engineering and Knowledge Engineering 3(1): 53-98 (1993)

	2005
4		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: 317-329
	2004
3		Terje Sivertsen: Undefinedness vs. Underspecification in HALDEN ASL. Nord. J. Comput. 11(1): 12-34 (2004)
	1996
2		Terje Sivertsen: A Case Study on the Formal Development of a Reactor Safety System. FME 1996: 18-38
	1993
1		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. International Journal of Software Engineering and Knowledge Engineering 3(1): 53-98 (1993)

Coauthor Index