Sciweavers

16790 search results - page 195 / 3358

» A Future for Software Engineering

30

TACS
2001
Springer

112views Software Engineering» more TACS 2001»

The Girard-Reynolds Isomorphism

14 years 1 months ago

The Girard-Reynolds Isomorphism

Download homepages.inf.ed.ac.uk

Philip Wadler

claim paper

Read More »

25

WADT
2001
Springer

65views Software Engineering» more WADT 2001»

Presentations for Abstract Context Institutions

14 years 1 months ago

Presentations for Abstract Context Institutions

Download www.ipipan.gda.pl

Wieslaw Pawlowski

claim paper

Read More »

17

WADT
2001
Springer

91views Software Engineering» more WADT 2001»

Canonical Institutions of Behaviour

14 years 1 months ago

Canonical Institutions of Behaviour

Download www.cs.math.ist.utl.pt

José Félix Costa, Hugo Lourenç...

claim paper

Read More »

31

WER
2001
Springer

86views Software Engineering» more WER 2001»

Developing Use Cases from Organizational Modeling

14 years 1 months ago

Developing Use Cases from Organizational Modeling

Download wer.inf.puc-rio.br

Victor F. A. Santander, Jaelson Castro

claim paper

Read More »

24

APAQS
2000
IEEE

82views Software Engineering» more APAQS 2000»

Keynote Address I

14 years 1 months ago

Keynote Address I

Download www.cecs.uci.edu

K. H. Lau

claim paper

Read More »

« Prev « First page 195 / 3358 Last » Next »