SOFL: A Formal Engineering Methodology for Industrial Applications

IEEE Transactions on Software Engineering - United States
doi 10.1109/32.663996
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Related search

Evaluating a Formal Methodology for Dynamic Tuning of Large-Scale Parallel Applications

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2017English

Advanced Control for Applications: Engineering and Industrial Systems

Advanced Control for Applications: Engineering and Industrial Systems
2019English

Engineering Minerals for Performance Applications: An Industrial Perspective

Clay Minerals
PetrologyGeochemistry
2014English

A Low-Cost Experimental System and Engineering Methodology for IEC 61499 Applications

2002English

A Dimensioning and Tolerancing Methodology for Concurrent Engineering Applications II: Comprehensive Solution Strategy

International Journal of Advanced Manufacturing Technology
ControlSystems EngineeringIndustrialMechanical EngineeringManufacturing EngineeringComputer Science ApplicationsSoftware
2008English

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

Engineering Ceramics for Industrial Applications; Wear-, Heat- And Automotive Technology

1984English

Object-Centered Engineering: A Methodology for Virtual Engineering

2006English

A Deconstructivist Methodology for Software Engineering

2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy