Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling

Theory and Application of Multi-Formalism Modeling
doi 10.4018/978-1-4666-4659-9.ch002
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

IGI Global

Related search

Adaptive Semantic Compositionality for Sentence Modelling

2017English

Special Issue on “Combining Compositionality and Concurrency”: Part 1

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2014English

Compositionality and Concepts—A Perspective From Formal Semantics and Philosophy of Language

Compositionality and Concepts in Linguistics and Psychology
2017English

Software Modelling and Automatic Code Generation Based on Reactive State Diagram

2015English

Combining Transactions and Automatic Repairs

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2015English

A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Automatic Testing From Formal Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Complexity and Compositionality in Fluid Intelligence

Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
2017English

Cars, Compositionality, and Consciousness

Frontiers in Neuroscience
Neuroscience
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy