Terje Sivertsen

List of publications from the DBLP Bibliography Server - FAQ

2005

4 EE 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 EE 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	EE	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	EE	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