Amanote Research

Amanote Research

    RegisterSign In

MAMBA: Model-Based Software Analysis Utilizing OMG’s SMM

Softwaretechnik-Trends
doi 10.1007/bf03323475
Full Text
Open PDF
Abstract

Available in full text

Date

May 1, 2012

Authors
Sören FreyAndré van HoornReiner JungBenjamin KielWilhelm Hasselbring
Publisher

Springer Science and Business Media LLC


Related search

Model-Based Software Testing for Object-Oriented Software

E-Learning
Computer Science ApplicationsEducation
2008English

Software Analysis and Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

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

Journal of Software
2015English

Translating MOKA-Based Knowledge Model Into Software Model

2015English

A Model-Based Software Technology Proposal

2013English

Software Matrices Selection for a SDLC Based Software Reliability Prediction Model

International Journal of Recent Technology and Engineering
EngineeringManagement of TechnologyInnovation
2019English

Reversible Structural Modulation and Magnetic Properties in a Co-Based SMM

Acta Crystallographica Section A Foundations of Crystallography
2011English

Adaptive Model-Based Scheduling in Software Transactional Memory

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
2020English

Software Reliability Test Based on Markov Usage Model

Journal of Software
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy