Вы здесь

Главная

трансформационный

Связанные издания:

A Case Study in Transformational Design of Concurrent Systems
A Program Manipulation System for Fine-grained Architectures
A Set-Oriented Program Description Language for Ada
Database Evolution: The DB-MAIN Approach
Extensible Logic Program Schemata
Meta-Programming in Logic: Proc./Third Intern. Workshop, META-92. Uppsala, Sweden, June 1992
Models in Software Engineering: Reports and Revised Selected Papers/ Workshops and Symposia at MODELS 2009, Denver,CO,USA, October 2009
On the Expressive Power of the Unary Transformation Model
Program Transformation via Contextual Assertions
Reuse of Formal Developments
Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
Semantics Preserving Transformation Rules for Prolog
Specification and Transformation of Reactive Systems with Time Restrictions and Concurrency
The Progress Program Manipulation System
Tools and Techniques of Annotated Programming
Towards Increased Productivity of Algorithm Implementation
Transformational Programming, Type Simulations & Intensional Set Theory
Transformation Approach to Designing Effective and Reliable Programs for Parallel Computers
Дедуктивная верификация телекоммуникационных систем, представленных на языке Си
Итеративные алгоритмы разметки в трансформационной машине
О методике трансформационного синтеза алгоритмов и программ
Пример верификации в проекте F@BOOL@, основанном на булевских решателях
Проблемы преобразования программ
Смешанные вычисления: потенциальные применения и проблемы исследования
Специализатор программ: проектные решения
Трансформации для рекурсивных схем программ
Трансформации для рекурсивных схем программ
Трансформационная машина: тема и вариации
Трансформационная сводимость и синтез алгоритмов и программ символьной обработки
Трансформационные методы и средства конструирования эффективных и надежных программ
Трансформационные методы и средства конструирования эффективных и надежных программ
Трансформационный подход к конструированию и оптимизации программ
Трансформационный подход к конструированию и оптимизации программ
Трансформационный подход к конструированию эффективных и надежных программ: модели, методы и алгоритмы
Трансформационный подход к конструированию эффективных и надежных программ: модели, методы и алгоритмы
Трансформационный синтез программ
Трансформационный синтез программ
Формализованные спецификации и трансформационный синтез программ