Sciweavers

3 search results - page 1 / 1
» zum 1992
Sort
View
ZUM
1992
Springer
13 years 8 months ago
An International Survey of Industrial Applications of Formal Methods
Dan Craigen, Susan L. Gerhart, Ted Ralston
ZUM
1992
Springer
13 years 8 months ago
Specification in Fresco
software in the form of abstract classes; and the specification elements of the language can also be used in concrete classes to document the implementations and their development ...
Alan Wills
GI
2003
Springer
13 years 10 months ago
Elektronisches Publizieren. Mythen, Leitbilder, Visionen - und die "Wirklichkeit"?
Abstract: Der Beitrag versteht sich als Exposee und reflektiert verschiedene Möglichkeiten, das elektronische Publizieren Ausgang der 80er Jahre mit der heutigen Situation zu verg...
Bernd Wingert, Ulrich Riehm