Cover Image

REALISTIC CORRECT SYSTEMS IMPLEMENTATION

The present article and the forthcoming second part on Trusted Compiler Implementation address correct construction and functioning of large computer based systems. In view of so many annoying and dangerous system misbehaviors we ask: Can informaticians righteously be accounted for incorrectness of...

Full description

Saved in:

Bibliographic Details
Date:	2015
Main Author:	Goerigk, W.
Format:	Article
Language:	English
Published:	PROBLEMS IN PROGRAMMING 2015
Subjects:
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/3
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Realistic correct systems implementation
by: Goerigk, Wolfgang, et al.
Published: (2003)

Modern Poetic Translation: Realistic and Non-Realistic Tendencies
by: O. I. Hainicheru
Published: (1996)

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
by: Goerigk, W., et al.
Published: (2015)

The Concept of the Person in Neo-Realist Prose
by: S. Zhyhun
Published: (2015)

-calculus as a realistic formalization of a class of rewriting systems
by: Shevchenko, R.S., et al.
Published: (2025)

Depicting Trypillia: the Emergence and Decline of Realistic Style
by: L. O. Shatilo, et al.
Published: (2021)

The philosophy of justice in the realistic utopia of John Rawls
by: D. V. Usov
Published: (2021)

The Plot Organization in Early Realistic Stories of M. Gorky
by: M. P. Cherepovskij
Published: (1976)

About ihe Dynamics of Realistic Art on the Boundary of Centuries
by: Ye. Krutikova
Published: (2007)

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
by: Goerigk, Wolfgang, et al.
Published: (2003)

Justification adoption and implementation of corrective solutions to enterprises implementing investment strategies
by: Ye. Pauk
Published: (2014)

Role of Realistic Symbols in the Work of V. Astafyev (Based on Military Prose)
by: L. A. Orekhova
Published: (1986)

On the nucleons motion in the nucleus as being due to realistic inter-nucleonic forces
by: Lyakhno, Yu.P.
Published: (2017)

The Primary Matrix of the Social Realistic Paradigm &quot;Child of Revolution&quot;
by: Yu. Vilchanska, et al.
Published: (2020)

I. Franko about realistic and modern landscape of creating private Ukrainian and foreign writers
by: M. Lapii
Published: (2013)

Manpulative methods of bilshovikiv in the proceedings of the two realistics of sunflower politics in 1920s (in the South Ukraine)
by: Yu. Matukhno
Published: (2017)

Electric and electromagnetic logging sounding in realistic models of oil-gas collectors: numerical modeling and interpretation
by: M. I. Epov, et al.
Published: (2012)

The Generating Function of the Ideological Analogies: Literary Origins of Georges Bernanos&#039; Realistic Poetry
by: R. A. Dzyk
Published: (2011)

Electric and electromagnetic logging sounding in realistic models of oil-gas collectors: numerical modeling and interpretation
by: Epov, M. I., et al.
Published: (2012)

Evaluation of the detection and correction properties of the reference dictionary of the system for checking and correcting orthography
by: V. A. Lytvynov, et al.
Published: (2019)

Quantum corrections to the dynamics of the gravitational system
by: V. V. Kuzmichev, et al.
Published: (2019)

Quantum corrections to the dynamics of the gravitational system
by: V. V. Kuzmychov, et al.
Published: (2019)

Conflikt of Social Realities in Implementation Processes of Post-Soviet Penal Functions of Correctional Institutions
by: V. S. Gurzhi
Published: (2014)

&quot;New Wave” of the Ukrainian Drama in the Context of the Eighties of XX Century as the Denial of the Social-realistic Canon
by: L. O. Bondar
Published: (2007)

Approximation of solutions of generalized correct differential systems
by: O. O. Vlasii, et al.
Published: (2012)

On Correction of Parameters of the Non-damped Mechanical Systems
by: V. B. Larin
Published: (2017)

Corrections to thermodynamics of the system of magnetically charged anyons
by: B. Sobko, et al.
Published: (2019)

Socialist-realistic motives in the autobiographic stories &quot;Gusy-lebedi letiat…” and &quot;Shchedry vechir” by Mykhailo Stelmakh
by: N. H. Savchuk
Published: (2006)

Realistic and Decadent Visual Strategies in Ivan Nechuy-Levytskyi&#039;s Story &quot;Without Way&quot;
by: Ya. Muravetska
Published: (2017)

Algorithms for Dynamic Correction of the Thermal Flows’ Measuring Systems’
by: Verlan, A.A., et al.
Published: (2016)

Algorithms for Dynamic Correction of the Thermal Flows’ Measuring Systems
by: Verlan, Andrey Anatolievich, et al.
Published: (2016)

Free-volume correlations in positron-sensitive annihilation modes in chalcogenide vitreous semiconductors: on the path from illusions towards realistic physical description
by: Shpotyuk, O.I., et al.
Published: (2014)

Free-volume correlations in positron-sensitive annihilation modes in chalcogenide vitreous semiconductors: on the path from illusions towards realistic physical description
by: O. I. Shpotyuk, et al.
Published: (2014)

Correct classes of modules
by: Wisbauer, R.
Published: (2004)

Analysis of phase system of automatic frequency correction in laser rangefinder
by: I. A. Braginets, et al.
Published: (2015)

Informational decision support system for monitoring and correcting somatic health
by: S. I. Kiforenko, et al.
Published: (2018)

Correctness Property Proof for the Banking System for Money Transfer Payments
by: Yu. A. Ostapovska, et al.
Published: (2016)

Correctness Property Proof for the Banking System for Money Transfer Payments
by: Ostapovska, Yu.A., et al.
Published: (2018)

Design of grid structures based on transition systems with justification of the correctness of their functioning
by: S. L. Kryvyj, et al.
Published: (2017)

The System of Automatic Combustion Control in Gas-Burning Plants by Corrective Parameter
by: K. S. Kryzhanovskij
Published: (2018)