We explain the main ingredients of the Abstract State Machines (ASM) method for high-level
system design and analysis and survey some of its application highlights in industrial …

Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided
reasoning system ACL2 can be used in productive and innovative ways to design, build, and …

The proposed method provides this support by a combination of its abstraction concept and
its operational character: models come as behavioral models in the precise and simple form …

We provide an introduction to a practical method for rigorous system development which has
been used successfully, under industrial constraints, for design and analysis of complex …

The area of software verification has grown its importance in software engineering. This is a
bibliography of verification of a specialized class of softwares called compiler. The citations …

The research belonging to the Abstract State Machines approach to system design and
analysis is surveyed and documented in an annotated ASM bibliography. The survey covers …

Model-driven software development (MDD) is seen as a promising approach to improve
software quality and reduce production costs significantly. However, one of the problems in …

This paper describes a generic proof method for the correctness of refinements of Abstract
State Machines based on commuting diagrams. The method generalizes forward …

Хн жи аи и в з г з иг аа л г к зйддгжи б в г в и з лгж К жзи и ж з бн г игж и ж Шжг К Ъ И л гз к
з в ж и а гбб виз к ал нз джгк б л и и бги к и гв иг гви вй л и и лгж К Ь в и ж ж бн гаа й з …

ABSTRACT UML specifications offer the advantage to describe software systems while the
actual task of implementing code for them is passed to code generators that automatically …