Amanote Research

Amanote Research

    RegisterSign In

A New Method for Writing Assurance Cases

International Journal of Secure Software Engineering
doi 10.4018/jsse.2013010103
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 2013

Authors
Yutaka MatsunoShuichiro Yamamoto
Publisher

IGI Global


Related search

On a New Method of Writing Crystallographic Formulæ

Geological Magazine
Geology
1873English

New Paradigms for High Assurance Software

1993English

Figure 1: Argument Structure of Assurance Cases.

English

Two Cases of Successful Operation for Extrophy of the Bladder by a New Method

BMJ
1880English

The Milan Project: A New Method for High-Assurance and High-Performance Computing on Large-Scale Distributed Platforms

2000English

Assurance Cases for Design Analysis of Complex System of Systems Software

2009English

Evaluating Combined Assurance as a New Credibility Enhancement Technique

Auditing
AccountingEconomicsEconometricsFinance
2019English

Partnerships for Publishing: A New Look at Joint Writing Projects

The Journal of Aviation/Aerospace Education and Research
1990English

Isabelle/Sacm: Computer-Assisted Assurance Cases With Integrated Formal Methods

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy