Вы здесь

Главная

язык описания

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

A Compositional Semantics for Statecharts using Labeled Transition Systems
ActorStudio: An Interactive User Interface Editor
A Description Language for Complex Domains
A Form-Based Approach for Database Analysis and Design
An Object-Based Approach to the Specification of Office Entities
A Review of XML-compliant User Interface Description Languages
A Set-Oriented Program Description Language for Ada
A Translator Description Language TDL for Specification Languages and Automatic Generation of their Translators
Candela - A Topology Description Language
Configuration Description for Component Reuse
Distribution and Locality of Concurrent Systems
Formalization of RDM Concepts and an Abstract RDBMS Interface using VVSL
Formal Language Description Languages for Computer Programming: Proc./IFIP Working Conference on Formal Language Description Languages
Formal Methods: Foundations and Applications: Proc./17th Brazilian Symposium, SBMF 2014, Maceio,AL,Brazil, September 2014
Graph Structures for Knowledge Representation and Reasoning: Revised Selected Papers/5th International Workshop, GKR 2017, Melbourne, Australia, August 2017
Higher-Level Hardware Synthesis
KARL: A Hardware Description Language as Part of a CAD Toll for VLSI
Knowledge Science, Engineering and Management: Proc./7th International Conference, KSEM 2014, Sibiu, Romania, October 2014
Language, Mathodologies, and Development Tools for Multi-Agent Systems: Revised Selrcted Papers/ Second International Workshop, LADS 2009, Torino, Italy, September 2009
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 2016
Modeling Semantic Integrity Constraints in Object-Oriented Database Schemas
New Trend and Future Issues of Hardware Description Language and High-Level Synthesis
Objects, Models, Components, Patterns: Proc./48th International Conference, TOOLS 2010
On Real-Time Program Specification Description with a Data Model-Based Language
On the borderline between grammars and programs
Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering
Report on the Larch Shared Language: Version 2.3
Representing Concurrent Actions and Solving Conflicts
Requirements Engineering: Foundation for Software Quality: Proc./24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 2018
SDL 2015: Model-Driven Engineering for Smart Cities: Proc./17th International SDL Forum, Berlin, Germany, October 2015
Semantic Extraction for the Automatic Verification of VHDL Descriptions
Semantics. Analytics, Visualization: Enhancing Scholarly Data: Revised Selected Papers/2nd International Workshop, SAVE-SD 2016, Montreal,QC,Canada, April 2016
Semantic Technology: Proc./9th International Conference, JIST 2019, Hangzhou, China, November 2019
Software Architecture: Proc./14th European Conference, ECSA 2020, L'Aquila, Italy, September 2020
Software Language Engineering: Revised Selected Papers/4th International Conference, SLE 2011, Braga, Portugal, July 2011
Software Language Engineering: Revised Selected Papers/ Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 2010
Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL
Subsumption Algorithms for Some Attributive Concept Desription Languages
System Analysis and Modeling: Models and Reusability: Proc./8th Internatonal Conference, SAM 2014, Valencia, Spain, September 2014
TDL: A Hardware Description Language for Retargetable Postpass Optimizations and Analyses
Terminological Reasoning and Information Management
Testing-Based Abstractions for Value-Passing Systems
The Hardware Description Language KARL-III: its Integration into a CAD Tool Box for VLSI
The History of KARL and ABL
The Semantic Web: ESWC 2017 Satellite Events: Revised Selected Papers/ESWC 2017 Satellite Events, Portoroz, Slovenia, May 2017
Графический язык описания ограничений на диаграммы классов UML
Использование языков описания процессоров высокого уровня для генерации платформо-независимых частей операционной системы
Новый язык описания алгоритмов сопоставления с образцами
Основные средства современных языков программирования БД
Основные характеристики языка описания документов в системе ДОК