External Links

    Journal: IEEE Trans. Software Eng.

    Volume 19, Issue 5

    425 -- 435Takeshige Miyoshi, Motoei Azuma. An Empirical Study of Evaluating Software Development Environment Quality
    436 -- 452Valdis Berzins, Luqi, Amiram Yehudai. Using Transformations in Specification-Based Prototyping
    478 -- 485Robert E. Strom, Daniel M. Yellin. Extending Typestate Checking Using Conditional Liveness Analysis
    486 -- 502Giuseppe Iazeolla, Francesco Marinuzzi. LISPACK-A Methodology and Tool for the Performance Analysis of Parallel Systems and Algorithms
    503 -- 528Mark G. Staskauskas. Formal Derivation of Concurrent Programs: An Example from Industry
    529 -- 532D. Ross Jeffery, Graham C. Low, M. Barnes. A Comparison of Function Point Counting Techniques
    543 -- 477Bernd J. Krämer, Luqi, Valdis Berzins. Compositional Semantics of a Real-Time Prototyping Language
    runs on