Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

ASM

The ASM library is a project of the OW2 Consortium. It provides a simple API for decomposing, modifying, and recomposing binary Java classes (i.e… Expand
Wikipedia

Related topics

Related topics

9 relations
.NET FrameworkApache TapestryGroovyJava
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Detecting argument selection defects
Identifier names are often used by developers to convey additional information about the meaning of a program over and above the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2017
2017
An MDE Approach for Modular Program Analyses
Program analyses are an important tool to check if a system fulfills its specification. A typical implementation strategy for… Expand
  • table 1
  • figure 1
  • figure 3
  • figure 2
2016
2016
EFFECT OF EARLY SELECTION FOR BODY WEIGHT, KEEL LENGTH AND BREAST CIRCUMFERENCE ON EGG PRODUCTION TRAITS IN INSHAS STRAIN OF CHICKENS
Inshas strain of chicken was subjected to one cycle of early selection for body weight, keel length and breast circumference… Expand
2015
2015
How Java APIs break - An empirical study
ContextIt has become common practice to build programs by using libraries. While the benefits of reuse are well known, an often… Expand
Highly Cited
2012
Highly Cited
2012
Tools of model transformation by graph transformation: A comparative study
The graph transformation is sweepingly used to express the model transformation. Most tools of graph transformation give a… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2012
2012
Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
A very simple model for train stopping is used as a vehicle for investigating how the development of a control system, initially… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2011
2011
Formalising the Continuous/Discrete Modeling Step
Formally capturing the transition from a continuous model to a discrete model is investigated using model based refinement… Expand
  • figure 1
  • figure 2
  • figure 3
2011
2011
Experiments in program verification using Event-B
The Event-B method can be used to model all sorts of discrete event systems, among them sequential programs. In this article we… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2008
2008
An integrated optimization algorithm for parameter structure identification in groundwater modeling
The inverse problem of parameter structure identification in a distributed parameter system remains challenging. Identifying a… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
2002
2002
On Gurevich ’ s Theorem for Sequential ASM
Abstract-State Machines have been introduced as “a computation model that is more powerful and more universal than standard… Expand
  • figure 1
  • figure 2
  • figure 3
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE