Amanote Research

Amanote Research

    RegisterSign In

SAFE: A Programming Language for Software Quality

IFIP Advances in Information and Communication Technology - United States
doi 10.1007/978-0-387-34848-3_35
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer NetworksInformation SystemsManagementCommunications
Date

January 1, 1995

Authors
B. K. OliverR. G. Dromey
Publisher

Springer US


Related search

AUI: A Programming Language for Developing Plastic Interactive Software

English

Thread-Safe Reactive Programming

Proceedings of the ACM on Programming Languages
2018English

CAOPLE: A Programming Language for Microservices SaaS

2016English

Semantic Constructs for a Persistent Programming Language

Workshops in Computing
1993English

Type-Safe Update Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Visual Programming Language for Security Requirements in Business Processes as Model-Driven Software Development

2009English

Giotto: A Time-Triggered Language for Embedded Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Libre Software Environment for Robot Programming

English

A Software Quality Model for RPG

2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy