A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
XP emphasises underlying values as well as the more visible twelve practices. In this paper we explore the relationship between practices and values from two perspectives: empiric...
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
Michael Barnett, Wolfgang Grieskamp, Wolfram Schul...
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Sur...
Abstract. In this paper we present a proposal to integrate the POSIX.1 executiontime clocks and execution-time timers into the Ada 95 language. This proposal defines a new package...