• Publications
  • Influence
Model-Driven Risk Analysis - The CORAS Approach
TLDR
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. Expand
  • 358
  • 44
Specification and development of interactive systems: focus on streams, interfaces, and refinement
TLDR
Introduction 2. A Guided Tour 3. Basics 4. Streams 5. Specifications 6. Examples 7. Properties of Specifications 8. Equational Specifications of State Transitions 9. Access Control System 10. Tables and Diagrams 11. Abracadabra Protocol 12. A/G Specifications 13. Memory with Locking 14. Refinement 15. Behavioral Refinement 16. Interface Refinement. Expand
  • 472
  • 35
Model Driven Architecture
TLDR
This article views MDA as a framework for constructing methodologies for model driven development of system architectures. Expand
  • 312
  • 25
  • PDF
STAIRS towards formal design with sequence diagrams
TLDR
The paper presents STAIRS [1], an approach to the compositional development of UML interactions supporting the specification of mandatory as well as potential behavior. Expand
  • 143
  • 19
  • PDF
Specification and Development of Interactive Systems
TLDR
The first € price and the £ and $ price are net prices, subject to local VAT. Expand
  • 180
  • 16
  • PDF
Model-based security analysis in seven steps — a guided tour to the CORAS method
TLDR
This paper presents the CORAS method for model-based security analysis. Expand
  • 202
  • 11
  • PDF
Model-based risk assessment to improve enterprise security
TLDR
The main objective of the CORAS project is to provide methods and tools for precise, unambiguous, and efficient risk assessment of security critical systems. Expand
  • 120
  • 9
  • PDF
The CORAS Framework for a Model-Based Risk Management Process
TLDR
This paper presents the preliminary CORAS model-based risk management process and the related conclusions from the CORAS project so far. Expand
  • 84
  • 7
  • PDF
A Method for the Development of Totally Correct Shared-State Parallel Programs
TLDR
A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. Expand
  • 64
  • 7
  • PDF
Technology Research Explained
  • 28
  • 7
...
1
2
3
4
5
...