Вы здесь

Главная

формализм

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

An Experience Using JASMINUM - Formalization Assisting with the Design of User Interfaces
A process specification formalism based on static COLD
A Review of Formalisms for Describing Interactive Behaviour
Computational Linguistics and Intelligent Text Processing, Part I: Proc./16th International Conference, CICLing 2015, Cairo, Egypt, April 2015
Conceptual Modeling of Database Applications
Declarative Agent Languages and Technologies IX: Revised Selected and Invited Papers/9th International Workshop, DALT 2011, Taipei, Taiwan, May 2011
ELMA- an Instrumental Tool to build Programming Systems
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
Ideal Specification Formalism = Expressivity + Compositionality + Decidability + Testability +...
Introducing a Color Formalism into Generalized Stochastic Petri Nets
NASA Formal Methods: Proc./4th International Symposium, NFM 2012, Norfolk,VA,USA, April 2012
Nets of active resources for distributed systems modeling
Object-Oriented Systems Analysis. A Model-Driven Approach
Petri nets and algebraic specifications
Prototyping a Visual Formalism for System Modelling
Quantitative Evaluation of Systems: Proc./16th International Conference, QEST 2019, Glasgow, UK, September 2019
Quantitative Evaluation of Systems: Proc./17th International Conference, QEST 2020, Vienna, Austria, September 2020
S-R Machines: A Visual Formalism for Reactive and Interactive Systems
Алгебро-грамматический подход к проектированию интерфейса
Верификация распределенных программ типа SPDM на основе формализма L-программ
Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой
Два класса иерархических сетей Петри: выразительная мо ность и свойства
Динамические системы с неявным состоянием
Инструментальная система ELMA для создания программных систем
Логические и алгоритмические формализмы для задачи построения правильных программ
Мелкозернистый параллелизм в вычислительной математике
Многоуровневое блочное проектирование дискретных устройств на базе алгоритмических алгебр
Модели и методы построения информационных систем, основанных на формальных, логических и лингвстических подходах
Об одном формализме для представления знаний
Парадигма интеграции в программной инженерии
Применение формализма порождаю их грамматик к анализу родственных языков
Причинно-следственные структуры и сети Петри: взаимосвязь и сравнительный анализ
Системная информатика, вып. 11
Стохастические сети Петри - формализм для моделирования и анализа производительности вычислительных процессов
Стохастические сети Петри - формализм для моделирования и анализа производительности вычислительных процессов