Вы здесь

Главная

абстракция

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

Object-Oriented Distributed Programming in BETA
Objektorientierte Konzepte in Smalltalk, C++, Objective-C, Eiffel und Modula-3
Planning with Abstraction Based on Partial Predicate Mappings
Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming
P/T-systems as abstractions of C/E-systems
Querying and Exploring Large Knowledge Bases
Semantic Extension Possibilities in the Proposed New Fortran
Semantics, Features, and Applications of the Viewpoint Abstraction
Shared-Memory Parallel Programming in C++
Some Useful Modula-3 Interfaces
Specification and Verification of Object-Oriented Programs using Supertype Abstraction
Staging Static Analyses Using Abstraction-Based Program Specialization
Structure-Preserving Binary Relations for Program Abstraction
The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets
The Processing of Recursive Generalization in the Construction of Hypermedia Macrostructure
Tools and Algorithms for the Construction and Analysis of Systems: Proc./22nd International Conference, TACAS 2016 Held as Part of ETAPS 2016, Eindhoven, The Netherlands, April 2016
Traffic Monitoring and Analysis: Proc./6th International Workshop, TMA 2014, London, UK, April 2014
Transactions on Aspect-Oriented Software Development XI
Transformation Techniques in Pei
Trends in Functional Programming: Revised Selected Papers/14th International Symposium, TFP 2013, Provo,UT,USA, May 2013
Types, Modularisation and Abstraction in Logic Programming
Un generateur d interpreteur fonctionnel
Verification, Model Checking, and Abstract Interpretation: Proc./17th International Conference, VMCAI 2016, St.Petersburg,FL,USA, January 2016
Verification, Model Checking, and Abstract Interpretation: Proc./20th International Conference, VMCAI 2019, Cascais, Portugal, January 2019
Verifying Large SDL-Specifications Using Model Checking
Verifying Liveness by Augmented Abstraction
Virtual Topologies: A New Concurrency Abstraction for High-Level Parallel Languages
Генерация тестов на абстракциях систем событий для покрытия их состояний и переходов
Использование абстракций и спецификаций при разработке программ
Проверка нескольких требований за один запуск инструмента статической верификации с помо ью CEGAR
Рефлексия и абстракция в гуманитарных аспектах программирования
ТИП-технология программирования