Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by B. K. Oliver
SAFE: A Programming Language for Software Quality
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Related publications
AUI: A Programming Language for Developing Plastic Interactive Software
Thread-Safe Reactive Programming
Proceedings of the ACM on Programming Languages
CAOPLE: A Programming Language for Microservices SaaS
Semantic Constructs for a Persistent Programming Language
Workshops in Computing
Type-Safe Update Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Visual Programming Language for Security Requirements in Business Processes as Model-Driven Software Development
Giotto: A Time-Triggered Language for Embedded Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Libre Software Environment for Robot Programming
A Software Quality Model for RPG
