External Links

    Journal: IEEE Software

    Volume 3, Issue 4

    4 -- 5Subrata Dasgupta, Robert A. Mueller. Guest Editors' Introduction Firmware Engineering: The Interaction of Microprogramming and Software Technology
    6 -- 16Robert I. Winner, Edward M. Carter. Automated Vertical Migration to Dynamic Microcode: An Overview and Example
    18 -- 26Scott Davidson. Progress im High-Level Microprogramming
    27 -- 37Werner Damm, Gert Döhmen, Klaus Merkel, Mathilde Sichelschmidt. The AADL/S* Approach to Firmware Design Verification
    38 -- 48Robert A. Mueller, Michael R. Duda. Formal Methods of Microcode Verification and Synthesis
    49 -- 58Subrata Dasgupta, Philip A. Wilsey, Juha Heinänen. Axiomatic Specifications in Firmware Development Systems
    59 -- 68Steven R. Vegdahl. Microcode Optimization: Examples and Approaches
    70 -- 75Tarek K. Abdel-Hamid, Stuart E. Madnick. Special Feature: Impact of Schedule Estimation on Software Project Behavior
    runs on