Sciweavers

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