My research area since 1990 is Software Technology, where I am interested in rigorous methods and their practical applications for the development and the maintenance of hardware/software systems---with a focus on relating requirements capture by high-level specifications to detailed design and their analysis (both mathematical verification and experimental validation). The main vehicle I use is the ASM Method whose development and industrial applications I have shaped since 1989.
From 1969-1989 I have worked in Logic and Complexity Theory---which still influences the way I address the investigation of hw/sw systems.
1. Goals of the method: describes the goals of the method and its scientific and practical role as a discipline for the engineering of certifiably reliable systems (Introduction to the AsmBook)
2. Introduction describes the three constituents of the method: machine concept, ground model concept, refinement concept (from a talk to BCS/London)
3. ASM Ground Model Method describes in detail the modeling constituent of the ASM method (from LNCS 2772)
4. ASM Refinement Method describes in detail the ASM refinement constituent of the ASM method (Formal Aspects of Computing 2003)
5. Fsm2Asm defines machine constituent of the method generalizing FiniteStateMachines
ASM Case Study Book (also called Jbook)
exhibits ground modeling, refinement, validation and verification of Java and its JVM implementation
Using the ASM Method forHoare’s Verified Software Challenge
with an annotated bibliography of over 300 items, covering the period 1984-2001. Title:
“The Origins and the Development of the ASM Method for High Level System Design and Analysis”
2002 version (with 440 items) in Ch. 9 (History and Survey of ASM Research) of AsmBook .
1. Teaching Fundamental Concepts of System Design and Analysis. Description of an (undergraduate-level) course which exploits ASMs as unifying framework for different models of computation used in computation theory (automata and formal languages), semantics of programming languages and high-level system design and analysis (ranging from requirements capture to code). CoursePresentation and DraftPaper. Final version in: Springer LNCS 3294 (2004)65-84
2. llustrating to the Practitioner the Power of ASMs for Modelling and Analysing Real-life Systems. A short Survey ( taken from Springer LNI Series Vol.P-45 (2004) 235-239) of large-scale and industrial applications of ASMs. A more detailed survey (as of 2003) is found in Chapter 9 of the AsmBook.