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

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-04915-1_8
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Automatic Testing From Formal Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

A Tool for the Automatic Generation and Analysis of Regular Analog Layout Modules

Integration, the VLSI Journal
HardwareElectronic EngineeringElectricalArchitectureSoftware
2019English

Automatic Question Generation for Supporting Argumentation

Vietnam Journal of Computer Science
2014English

SOFL: A Formal Engineering Methodology for Industrial Applications

IEEE Transactions on Software Engineering
Software
1998English

A Methodology for Automatic Generation of Executable Communication Specifications From Parallel MPI Applications

ACM Transactions on Parallel Computing
MathematicsSimulationHardwareComputer Science ApplicationsArchitectureModelingComputational TheorySoftware
2014English

Automatic Paraphrasing of Japanese Functional Expressions Under Style and Readability Specifications

Journal of Natural Language Processing
2008English

Exploiting Prosody for Syntactic Analysis in Automatic Speech Understanding

Journal of Language Modelling
2012English

Incremental Validation of Formal Specifications

English

Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling

Theory and Application of Multi-Formalism Modeling
English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy