Вы здесь

Главная

автоматический

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

Tool for Making Programs More Readable
Tools for Automated Verification of Web Services
Tools for Practical Software Verification: Revised Tutorial Lectures/LASER, International Summer School 2011, Elba Island, Italy
Towards Automatic Verification of C-Light Programs. Mixed Axiomatic Semantics of C-Kernel Language
Towards First-order Deduction Based on Shannon Graphs
Towards Formal Description and Automatic Generation of Programming Environments
Towards Integrated Safety Analysis and Design
Transforming Lazy Functions Using Comportment Properties
Two Program Comprehension Tools for Automatic Parallelization
Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems
Unfolding the Mystery of Mergesort
UNIX STREAMS Generation from a Formal Specification
Unveiling Dynamics and Complexity: Proc./13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 2017
Usability Criteria for Automated Debugging Systems
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs
Using WordNet th to Disambiguate Word Senses for Text Retrieval
Utility Computing: Proc./15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2004. Davis, CA, USA, November 2004
Verics: A Tool for Verifying Timed Automata and Estelle Specifications
Verification Based on Monadic Logic
Verification of Object-Oriented Software: The KeY Approach. Foreword by K.Rustan M.Leino
Verification of Switch-Level Designs with Many-Valued Logic
Verification Tools for Finite-State Concurrent Systems
Verified Software: Theories, Tools and Experiments: Revised Selected Papers/6th International Conference, VSTTE 2014, Vienna, Austria, July 2014
Verified Software: Theories, Tools, Experiments: Proc./4th International Conference, VSTTE 2012, Philadelphia,PF,USA, January 2012
Verified Software: Theories, Tools, Experiments: Proc./Third International Conference, VSTTE 2010, Edinburg,UK, August 2010
Verifying Automata Specifications of Probabilistic Real-time Systems
Verifying Behavioural Specifications in CafeOBJ Environment
Verifying the Standard C Library: the C-light Approach
Web-сайт, открой личико ...
Which Approach to Parallelizing Scientific Codes - That Is the Question
Автоматическая генерация синтаксических анализаторов
Автоматическая генерация строго-конформных тестов по формальной спецификации динамической семантики языка программирования
Автоматическая генерация тестов для графического пользовательского интерфейса по UML-диаграммам действий
Автоматическая генерация тестов для проверки распараллеливаю их и векторизую их преобразований циклов в компиляторе
Автоматическая генерация тестов для проверки распараллеливаю их и векторизую их преобразований циклов в компиляторе
Автоматическая генерация тестовых данных для оптимизаторов графических моделей
Автоматическая классификация документов на основе латентно-семантического анализа
Автоматическая обработка данных: хранение информации в памяти ЭВМ
Автоматическая реализация семантики проблемно-ориентированных языков
Автоматический поиск ошибок в компьютерных программах с применением динамического анализа
Автоматический синтаксический анализ
Автоматический синтез программ действий интеллектуальных роботов
Автоматический синтез программ с циклами и рекурсиями
Автоматический синтез расчетных программ на основе анализа семантики показателей
Автоматический синтез структурированных программ по примерам их выполнения
Автоматическое восстановление бизнес-логики программ
Автоматическое доказательство формул корректности предикатной программы в системе Russell
Автоматическое порождение программ просмотров для транслятора на основе описания атрибутов
Автоматическое построение полных систем примеров
Автоматическое построение полных систем примеров