×

zbMATH — the first resource for mathematics

Stølen, Ketil

Compute Distance To:
Author ID: stolen.ketil Recent zbMATH articles by "Stølen, Ketil"
Published as: Stølen, Ketil
External Links: MGP
Documents Indexed: 13 Publications since 1996, including 1 Book

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 43 times in 36 Documents Cited by Year
Specification and development of interactive systems. Focus on streams, interfaces, and refinement. Zbl 0981.68115
Broy, Manfred; Stølen, Ketil
29
2001
Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm. Zbl 0846.68067
Stølen, Ketil; Dederichs, Frank; Weber, Rainer
5
1996
Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism. Zbl 1259.68133
Runde, Ragnhild Kobro; Refsdal, Atle; Stølen, Ketil
3
2013
Extending UML sequence diagrams to model trust-dependent behavior with the aim to support risk analysis. Zbl 1162.68355
Refsdal, Atle; Stølen, Ketil
2
2008
Refining UML interactions with underspecification and nondeterminism. Zbl 1087.68023
Runde, Ragnhild Kobro; Haugen, Øysten; Stølen, Ketil
2
2005
Stepwise refinement of sequence diagrams with soft real-time constraints. Zbl 1320.68040
Refsdal, Atle; Runde, Ragnhild Kobro; Stølen, Ketil
1
2015
Specification and refinement of soft real-time requirements using sequence diagrams. Zbl 1175.68261
Refsdal, Atle; Husa, Knut Eilif; Stølen, Ketil
1
2005
Stepwise refinement of sequence diagrams with soft real-time constraints. Zbl 1320.68040
Refsdal, Atle; Runde, Ragnhild Kobro; Stølen, Ketil
1
2015
Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism. Zbl 1259.68133
Runde, Ragnhild Kobro; Refsdal, Atle; Stølen, Ketil
3
2013
Extending UML sequence diagrams to model trust-dependent behavior with the aim to support risk analysis. Zbl 1162.68355
Refsdal, Atle; Stølen, Ketil
2
2008
Refining UML interactions with underspecification and nondeterminism. Zbl 1087.68023
Runde, Ragnhild Kobro; Haugen, Øysten; Stølen, Ketil
2
2005
Specification and refinement of soft real-time requirements using sequence diagrams. Zbl 1175.68261
Refsdal, Atle; Husa, Knut Eilif; Stølen, Ketil
1
2005
Specification and development of interactive systems. Focus on streams, interfaces, and refinement. Zbl 0981.68115
Broy, Manfred; Stølen, Ketil
29
2001
Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm. Zbl 0846.68067
Stølen, Ketil; Dederichs, Frank; Weber, Rainer
5
1996

Citations by Year