Вы здесь

Главная

формализация

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

Abstraction of Business Rules in Object-Oriented Design
Advances in Conceptual Modeling: Proc./ER 2014 Workshops, ENMO, MoBiD,MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta,GA,USA, October 2014
Advances in Conceptual Modeling: Revised Selected Papers/ER 2013 Workshops, LSAWM, MoBiD, RIGiM, SeCoGIS, WISM, DaSeM, SCME, and PhD Symposium, Hong Kong, China, November 2013
An OCL Semantics Specified with QVT
Conceptual Modeling: Proc./33rd International Conference, ER 2014, Atlanta,GA,USA, October 2014
Correctness Requirements for Multiagent Commitment Protocols
Cut Free Formalization of Logic with Finitely Many Variables. Part 1
Formal Methods for Quantitative Aspects of Programming Languages: Advanced Lectures/10th International School on FM for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 2010
Formal Methods for Web Services: Advanced Lectures/9th Intl School on Formal Methods for the Design of Computer, Comm. and Software Systems, SFM 2009. Bertinoro, Italy, June 2009
Inference Systems for Logical Algorithms
Integration of AI and OR Techniques in Constraint Programming: Proc./13th International Conference, CPAIOR 2016, Banff,AB,Canada, May 2016
Interactive Theorem Proving: Proc./6th International Conference, ITP 2015, Nanjing, China, August 2015
Interactive Theorem Proving: Proc./7th International Conference, ITP 2016, Nancy, France, August 2016
Logical Formalization of Concurrent Actions for Multi-Agent Systems
Logic Programming: Proc./21st International Conference, ICLP 2005. Sitges, Spain, October 2005
Modeling Timed Concurrent Systems
NASA Formal Methods: Proc./7th International Symposium, NFM 2015, Pasadena,CA,USA, April 2015
PEACE: Describing and Managing Evolving Knowledge in the Software Process
Theorem Proving in Higher Order Logics: Proc./21st International Conference, TPHOLs 2008. Montreal, Canada, August 2008
Towards Formalization of Structured Data Flow Schemata with Colored Tokens
Two-level mixed verification method of C-light programs in terms of safety logic
Types for Proofs and Programs: Revised Selected Papers/International Workshop, TYPES 2004. Jouy-en-Josas, France, December 2004
Автоматизация процесса построения компиляторов
Алгебро-логическая формализация в объектно-ориентированных технологиях
Вопросы формализации основных понятий для оценки качества прогаммных средств
Интегрированная система проверки гипотез: программно-алгоритмические средства
Исследования в теории алгебраических моделей программ с процедурами
Концепция создания параметрической системы проектирования параллельных алгоритмов и их программных реализаций
Методы и средства трансляции графических диаграмм
Моделирование и разработка информационной системы формализации и актуализации прав доступа
Проблемы траекторного управления. Формализация, отслеживание, параллельные вычисления
Психологический анализ решения задач с помо ью компьютера школьниками четвертого класса
Семиотические аспекты формализации интеллектуальной деятельности: Тезисы докладов и сообщений Школы-семинара (г. Телави, 29 сентября-6 ноября 1983 г.)
Формализация взаимосвязей операторов и данных в рамках расширенной алгебры алгоритмов
Формализация и моделирование
Формализация и моделирование
Формализация и моделирование геометрической задачи обработки на станке деталей сложной конфигурации с позиции микропроцессорного числового программного управления
Формализация семантики и верификация программ обработки данных
Формализация семантики исполнения языка Модула-2
Формализация семантики исполнения языка Модула-2
Формализация семантики исполнения языка Модула-2
Формализация стандартов и тестовых наборов протоколов Интернета
Формализованные спецификации и трансформационный синтез программ
Частично формализованная модель видимости в языке Модула-2