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

Journal of Software
doi 10.17706/jsw.10.5.499-523
Full Text
Abstract

Available in full text

Date
Authors
Publisher

International Academy Publishing (IAP)

Related search

Automatic Transformation of UML Software Specification Into LQN Performance Models Using Graph Grammar Techniques

English

Formal Representation and Comparative Analysis of Software Runtime Process

The Advanced Science Journal
2015English

Formal Specification and Verification

2019English

Reverse Engineering: From XML to Uml for Generation of Software Requirement Specification

2013English

UML Based Formal Model of Smart Transformer Power System

International Journal of Advanced Computer Science and Applications
Computer Science
2017English

Formal Specification and Verification of CRDTs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Formal Proof From UML Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Business and Environment Performance Evaluation in Supply Chains: A Formal Model-Driven Approach

2011English

Specification and Validation of Authorisation Constraints Using UML and OCL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy