Algebraic Methodology and Software Technology

DOI10.1007/B98770zbMATH Open1108.68382OpenAlexW2973096144MaRDI QIDQ5312976FDOQ5312976

Authors: Azadeh Farzan, José Meseguer, Grigore Roşu 

Publication date: 25 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98770

Recommendations

• Computer Aided Verification
• Automated Reasoning
• Executable JVM model for analytical reasoning: A study
• scientific article; zbMATH DE number 1670761
• K-Java: a complete semantics of Java

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (16)

• The rewriting logic semantics project: a progress report
• The rewriting logic semantics project: a progress report
• Formalization and analysis of class loading in Java
• Twenty years of rewriting logic
• The rewriting logic semantics project
• A rewriting logic approach to operational semantics
• Computer Aided Verification
• Tools and Algorithms for the Construction and Analysis of Systems
• JavaFAN
• Partial order reduction for rewriting semantics of programming languages
• Formal approach to derivation of concurrent implementations in software product lines
• Memory Policy Analysis for Semantics Specifications in Maude
• Memory Representations in Rewriting Logic Semantics Definitions
• Executable JVM model for analytical reasoning: A study
• Executable rewriting logic semantics of Orc and formal analysis of Orc programs
• Animating the formalised semantics of a Java-like language

Uses Software

• SPIN
• JML
• Maude
• LOOP

This page was built for publication: Algebraic Methodology and Software Technology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5312976)