• Publications
  • Influence
The state-based CCS semantics for concurrent Z specification
  • K. Taguchi, K. Araki
  • Computer Science
  • First IEEE International Conference on Formal…
  • 12 November 1997
TLDR
We present a formal method which combines the Z notation and value-passing CCS (Calculus of Communicating Systems) for specifying concurrent systems. Expand
  • 55
  • 3
Modelling Mobile Agent Applications by Extended UML Activity Diagram
TLDR
This paper presents extensions of UML activity diagrams for modelling mobile agent applications, which capture specific features of mobile agents such as mobility, cloning. Expand
  • 17
  • 3
  • PDF
Misuse Cases + Assets + Security Goals
TLDR
We propose a new extension of the misuse case diagram for analyzing and eliciting security requirements with special focus on assets and security goals. Expand
  • 21
  • 3
  • PDF
Parameterised Argument Structure for GSN Patterns
TLDR
We present a new proposal towards parameterisation of patterns in GSN, which include parameterized expressions in order to facilitate the reuse of existing assurance cases. Expand
  • 21
  • 2
Safe & Sec Case Patterns
TLDR
We explore a new way of reconciling safety and security issues in an argument form, which we call Safe & Sec (Safety and Security) case patterns. Expand
  • 10
  • 2
Building a Body of Knowledge on Model Checking for Software Development
TLDR
We present the first draft of a body of knowledge on model checking called MCBOK to address this issue, and present lessons learned from its development experience. Expand
  • 11
  • 2
Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan
TLDR
This paper discusses the Top SE program established to bridge the industry-academia gap. Expand
  • 25
  • 1
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods
TLDR
This paper presents our attempt on applying formal methods to sensor network specification/verification. Expand
  • 27
  • 1
  • PDF
Aligning Security Requirements and Security Assurance Using the Common Criteria
TLDR
This paper presents a new approach, which attempts to provide a basic framework in which security requirements and security assurance can be aligned in a uniform and concise way in a single requirements modelling methodology. Expand
  • 12
  • 1
Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models
TLDR
We propose a formal specification generator based on model transformation techniques. Expand
  • 22
  • 1