Verifying the Design of an Outsourced COBOL System With IntensiVE

doi 10.1109/icsm.2010.5609534
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Verifying Traits: An Incremental Proof System for Fine-Grained Reuse

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2013English

A Partial Safety Factor Method for System Reliability Prediction With Outsourced Components

ASCE-ASME Journal of Risk and Uncertainty in Engineering Systems, Part B: Mechanical Engineering
RiskMechanical EngineeringReliabilitySafetySafety ResearchQuality
2019English

Verifying Computations With State

2013English

Secure Outsourced Calculations With Homomorphic Encryption

Advanced Computing: An International Journal
2018English

Feedback System Design With an Uncertain Plant

1986English

Mastering COBOL Programming

1997English

Information Technology. Programming Languages. COBOL

English

Logistic System Design of an Underground Freight Pipeline System||Logistic System Design of an Underground Freight Pipeline System

English

The Guided System Development Framework: Modeling and Verifying Communication Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy