Sciweavers

3 search results - page 1 / 1
» zum 1992
Sort
View
101
Voted
ZUM
1992
Springer
15 years 1 months ago
An International Survey of Industrial Applications of Formal Methods
Dan Craigen, Susan L. Gerhart, Ted Ralston
62
Voted
ZUM
1992
Springer
15 years 1 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
15 years 3 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