WorldCat Identities

Stølen, Ketil

Overview
Works: 5 works in 40 publications in 1 language and 1,139 library holdings
Genres: Conference proceedings 
Roles: Editor
Classifications: QA76.76.R44, 658.1550113
Publication Timeline
Key
Publications about  Ketil Stølen Publications about Ketil Stølen
Publications by  Ketil Stølen Publications by Ketil Stølen
Most widely held works by Ketil Stølen
Trust management 4th international conference, iTrust 2006, Pisa, Italy, May 16-19, 2006 : proceedings by Ketil Stølen ( )
19 editions published in 2006 in English and Undetermined and held by 531 WorldCat member libraries worldwide
Model-driven risk analysis the CORAS approach by Mass Soldal Lund ( )
12 editions published between 2010 and 2011 in English and held by 417 WorldCat member libraries worldwide
Specification and development of interactive systems : focus on streams, interfaces, and refinement by M Broy ( Book )
7 editions published in 2001 in English and held by 184 WorldCat member libraries worldwide
Today's distributed systems are characterized by interactions, often complex, between many different hardware/software components cooperating and exchanging information. To reduce the complexity of the development of interactive systems, experts employ descriptions, or specifications, of a given system's behavior and/or structure. This book provides a mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on the model, the authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction. The book progresses from an introduction and guided tour of FOCUS through streams, specifications and their properties, and behavioral, interface, and conditional refinements
Model-Driven Risk Analysis by Mass Soldal Lund ( )
1 edition published in 2011 in English and held by 4 WorldCat member libraries worldwide
The term 'risk' is known from many fields, and we are used to references to contractual risk, economic risk, operational risk, legal risk, security risk, and so forth. We conduct risk analysis, using either offensive or defensive approaches to identify and assess risk. Offensive approaches are concerned with balancing potential gain against risk of investment loss, while defensive approaches are concerned with protecting assets that already exist. In this book, Lund, Solhaug and Stolen focus on defensive risk analysis, and more explicitly on a particular approach called CORAS. CORAS is a model
Trust management : 4th international conference, iTrust 2006, Pisa, Italy, May 16-19, 2006 ; proceedings ( Visual )
1 edition published in 2006 in English and held by 3 WorldCat member libraries worldwide
 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.74 (from 0.47 for Model-Driv ... to 0.81 for Specificat ...)
Alternative Names
Stølen, Ketil
Languages
English (39)
Covers