External Links

    Journal: IEEE Trans. Software Eng.

    Volume 24, Issue 11

    908 -- 926Axel van Lamsweerde, Robert Darimont, Emmanuel Letier. Managing Conflicts in Goal-Driven Requirements Engineering
    927 -- 948Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj. Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
    949 -- 959Martin S. Feather. Rapid Application of Lightweight Formal Methods for Consistency Analysis
    960 -- 981John C. Grundy, John G. Hosking, Warwick B. Mugridge. Inconsistency Management for Multiple-View Software Development Environments
    982 -- 1001Gianpaolo Cugola. Tolerating Deviations in Process Support Systems via Flexible Enactment of Process Models
    1002 -- 1013Norman E. Fenton, Martin Neil. A Strategy for Improving Safety Related Software Engineering Standards
    1014 -- 1030Zhen Liu. Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach
    runs on