Pii: S0950-5849(00)00114-2

Representation and optimization of software usage models with non-Markovian state transitions

Behavioural analysis of component-based systems

Hardware Engineers have shown that building systems from components has brought enormous benefits. Using components permits hardware engineers to consider systems at an abstract level, making it possible for them to build and reason about systems that would otherwise be too large and complex to understand. It also enables them to make effective reuse of existing designs. It seems reasonable to ...

The development of OCPL, object conceptual prototyping language

This paper describes the development of OCPL (object conceptual prototyping language), an object±knowledge representation language. The language is based on CPL, conceptual prototyping language, developed at the Free University of Amsterdam. CPL has been extended to allow for the explicit representation of object-oriented constructs. These constructs include facilities for application system de...

Dynamic data flow analysis for Java programs

A large portion of high-level computer programs consists of data declaration. Thus, an increased focus on testing the data ̄ow aspects of programs should be considered. In this paper, we consider testing the data ̄ow in Java programs dynamically. Data ̄ow analysis has been applied for testing procedural and some object-oriented programs. We have extended the dynamic data ̄ow analysis technique ...

Principles for modeling language design

Modeling languages, like programming languages, need to be designed if they are to be practical, usable, accepted, and of lasting value. We present principles for the design of modeling languages. To arrive at these principles, we consider the intended use of modeling languages. We conject that the principles are applicable to the development of new modeling languages, and for improving the des...