Sciweavers

128

KORSO
1995

87views Software Engineering» more KORSO 1995»

TROLL light - The Language and its Development Environment

15 years 8 months ago

in Data Types Speciﬁcation, Proc. 10th Workshop on Speciﬁcation of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers,...

Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf...

claim paper

Read More »

90

click to vote

KORSO
1995

103views Software Engineering» more KORSO 1995»

SPECTRUM

15 years 8 months ago

Download download.broadband.gov

Dimitris Dranidis, Stefan Gastinger

claim paper

Read More »

139

click to vote

TAPSOFT
1997
Springer

113views Software Engineering» more TAPSOFT 1997»

Protective Interface Specifications

15 years 8 months ago

Download www.cs.cmu.edu

Gary T. Leavens, Jeannette M. Wing

claim paper

Read More »

92

click to vote

KORSO
1995

105views Software Engineering» more KORSO 1995»

Simulation

15 years 8 months ago

Download people.rit.edu

Artur Bauer, Thomas Lindner

claim paper

Read More »

85

click to vote

KIVS
1995
Springer

107views Computer Networks» more KIVS 1995»

RADNET - A Network for Air Traffic Control

15 years 8 months ago

Download www.comsoft.de

Erwin Mayer

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers