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

Categories

Computer Science

Theoretical Computer Science

Date

January 1, 2014

Authors

Publisher

Springer International Publishing

Related search

Automatic Testing From Formal Specifications

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

SOFL: A Formal Engineering Methodology for Industrial Applications

IEEE Transactions on Software Engineering

English

Automatic Question Generation for Supporting Argumentation

Vietnam Journal of Computer Science

English

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

Integration, the VLSI Journal

Electronic Engineering

English

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

ACM Transactions on Parallel Computing

Computer Science Applications

Computational Theory

English

Automatic Paraphrasing of Japanese Functional Expressions Under Style and Readability Specifications

Journal of Natural Language Processing

English

Exploiting Prosody for Syntactic Analysis in Automatic Speech Understanding

Journal of Language Modelling

English

Incremental Validation of Formal Specifications

English

Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling

Theory and Application of Multi-Formalism Modeling

English