IFM
1999
Springer
13 years 11 months ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
IFM
1999
Springer
13 years 11 months ago
1999
Springer
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems therefore involves specifying and reasoning about bot...
IFM
1999
Springer
13 years 11 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
IFM
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. We report on the notation and tool integration framework developed in the application-oriented research project Espress. The framework is based on a Z core and provides m...
IFM
1999
Springer
13 years 11 months ago
1999
Springer
: Some of the shortcomings of using refinement alone as the means of passing from high level simple models to actual detailed implementations are reviewed. Retrenchment is presente...
IFL
1999
Springer
13 years 11 months ago
1999
Springer
IFL
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. Most array operations in Sac are specified in terms of so-called withloops, a Sac-specific form of array comprehension. Due to the map-like semantics of with-loops its ...
IFL
1999
Springer
13 years 11 months ago
1999
Springer
d abstract) Claus Reinke
IFL
1999
Springer
13 years 11 months ago
1999
Springer
IFL
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. We discuss a new optimisation for recursive functions yielding multiple results in tuples for lazy functional languages, like Clean and Haskell. This optimisation improve...