Programming With Specifications

doi 10.1007/978-1-4613-9685-7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer US

Related search

EAGLE: Efficient Active Learning of Link Specifications Using Genetic Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Building Programming Interface Specifications in the Open System of Componentwise Verification of the Linux Kernel

Proceedings of the Institute for System Programming of RAS
2013English

Transition System Specifications With Negative Premises

English

Development of Secured Systems by Mixing Programs, Specifications and Proofs in an Object-Oriented Programming Environment

2012English

ENABLING OR DISABLING WITH OLD SPECIFICATIONS - A New Information System Based on Old Specifications

2006English

International Asset Pricing With Alternative Distributional Specifications

Journal of Empirical Finance
EconomicsFinanceEconometrics
1993English

Women With Diabetes—Two Specifications Mean Double Trouble

US Endocrinology
EndocrinologyMetabolismDiabetes
2018English

Symbolic Synthesis for Epistemic Specifications With Observational Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

A Specification Translation From Behavioral Specifications to Rewrite Specifications

IEICE Transactions on Information and Systems
Electronic EngineeringPattern RecognitionHardwareComputer VisionElectricalArchitectureArtificial IntelligenceSoftware
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy