Formal Representation and Comparative Analysis of Software Runtime Process

The Advanced Science Journal
doi 10.15550/asj.2015.02.038
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Scireps Corporation

Related search

A Formal Model of the Software Test Process

IEEE Transactions on Software Engineering
Software
2002English

Software Performance Evaluation Utilizing UML Specification and SRN Model and Their Formal Representation

Journal of Software
2015English

Araucaria: Software for Argument Analysis, Diagramming and Representation

International Journal on Artificial Intelligence Tools
Artificial Intelligence
2004English

Runtime Verification of Component-Based Embedded Software

2011English

Formal Analysis and Verification of Airborne Software Based on DO-333

Electronics (Switzerland)
ControlElectronic EngineeringSignal ProcessingComputer NetworksSystems EngineeringHardwareCommunicationsElectricalArchitecture
2020English

Software Engineering and Formal Methods

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Architectural Styles for Runtime Software Adaptation

2009English

Comparative Study of Various Process Model in Software Development

International Journal of Computer Applications
2013English

Formal Representation of Temporal Expressions

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy