Preface to the Special Section on Improving Software Quality Through Formal Methods

Software Quality Journal - Netherlands
doi 10.1007/s11219-020-09508-z
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Preface to the Special Section on Mechanochemical Synthesis

Journal of Materials Science
Mechanics of MaterialsMaterials ScienceMechanical Engineering
2017English

Preface to the “Sandström-Walin Special Section”

Tellus A: Dynamic Meteorology and Oceanography
2010English

Software Quality Improvement: Two Approaches to the Application of Formal Methods

1996English

Introduction to the Special Section on Improving Research Practices

Perspectives on Psychological Science
Psychology
2016English

Preface to the Special Section on the 10th Information Systems Foundations Workshop

Australasian Journal of Information Systems
AccountingManagementInformation SystemsHuman-Computer InteractionBusiness
2020English

Software Engineering and Formal Methods

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Introduction to the Special Section on Advancing Our Methods and Practices

Perspectives on Psychological Science
Psychology
2014English

Application of Lightweight Formal Methods to Software Security

English

Guest Editorial: Special Section on Mining Software Repositories

Empirical Software Engineering
Software
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy