External Links

    Journal: IEE Proceedings - Software

    Volume 153, Issue 3

    87 -- 101Oddur Benediktsson, Darren Dalcher, Helgi Thorbergsson. Comparison of software development life cycles: a multiproject experiment
    102 -- 112Jing Sun 0002, Jin Song Dong, Stan Jarzabek, Hai H. Wang. Computer-aided dispatch system family architecture and verification: an integrated formal approach
    113 -- 125Amnon H. Eden, Tom Mens. Measuring software flexibility
    127 -- 136Toufik Taibi. Formalising design patterns composition
    runs on