On Implementability of the Formal Specifications

Authors:
Victor Malyshkin
Affiliations:
Supercomputer Software Department (SSD), Institute of Computational Mathematics and Mathematical Geophysics, Russian Academy of Sciences, 630090, Novosibirsk, RUSSIA, malysh@ssd.sscc.ru, http://ss ...
Venue:
Proceedings of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07
Year:
2007

Citing 4
Cited 0

Theory of recursive functions and effective computability

Theory of recursive functions and effective computability
Computer simulation using particles

Computer simulation using particles
Synthesis: Dreams ? Programs

IEEE Transactions on Software Engineering
Monte Carlo Strategies in Scientific Computing

Monte Carlo Strategies in Scientific Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper is devoted to the consideration of the problem of formal specifications implementability and program synthesis.