Towards a Framework for Software Measurement Validation - Software Engineering, IEEE Transactions on

Search Based Software Engineering: Introduction to the Special Issue of the IEEE Transactions on Software Engineering

Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets

An extended Petri Net model which considers modular partitioning along with timing restrictions and environment models is presented. Module constructs permit the speciication of a complex system as a set of message passing modules with the timing semantics of Time Petri Nets. The state space of each individual module can be separately enumerated and assessed under the assumption of a partial sp...

[12] Korel B., PELAS- Program Error Locating Assistant System, IEEE Transactions on Software Engineering,

Example of the session with the FORMAN/PASCAL assertion checker prototype .

Comments on "Toward a Framework for Software Measurement Validation"

—A view of software measurement that disagrees with the model presented in a recent paper by Kitchenham, Pfleeger, and Fenton, is given. Whereas Kitchenham, Pfleeger, and Fenton argue that properties used to define measures should not constrain the scale type of measures, we contend that that is an inappropriate restriction. In addition, a misinterpretation of Weyuker's properties is noted.

Property-Based Software Engineering Measurement

Little theory exists in the field of software system measurement. Concepts such as complexity, coupling, cohesion or even size are very often subject to interpretation and appear to have inconsistent definitions in the literature. As a consequence, there is little guidance provided to the analyst attempting to define proper measures for specific problems. Many controversies in the literature ar...