Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by M. Cinnella

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

1996English

Related publications

Application of Lightweight Formal Methods to Software Security

English

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

Software Quality Journal
Media TechnologyRiskReliabilitySafetyQualitySoftware
2020English

Software Engineering and Formal Methods

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Practical Approaches to Quality Improvement for Radiologists

Radiographics
MedicineNuclear MedicineRadiologyImaging
2015English

Formal Methods for Automated Program Improvement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Formal Methods for Eternal Networked Software Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Software Quality and Productivity Improvement

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
1995English

Putting Continuous Quality Improvement Into Accreditation: Improving Approaches to Quality Assessment.

Quality and Safety in Health Care
1997English

Daniel: Using the Bible to Teach Quality Improvement Methods

Quality and Safety in Health Care
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy