Sciweavers

15783 search results - page 176 / 3157

» Evidence-Based Software Engineering

34

TACS
2001
Springer

93views Software Engineering» more TACS 2001»

Resource-Passing Concurrent Programming

14 years 2 months ago

Resource-Passing Concurrent Programming

Download www.ueda.info.waseda.ac.jp

Kazunori Ueda

claim paper

Read More »

38

TACS
2001
Springer

112views Software Engineering» more TACS 2001»

The Girard-Reynolds Isomorphism

14 years 2 months ago

The Girard-Reynolds Isomorphism

Download homepages.inf.ed.ac.uk

Philip Wadler

claim paper

Read More »

28

WADT
2001
Springer

65views Software Engineering» more WADT 2001»

Presentations for Abstract Context Institutions

14 years 2 months ago

Presentations for Abstract Context Institutions

Download www.ipipan.gda.pl

Wieslaw Pawlowski

claim paper

Read More »

22

WADT
2001
Springer

91views Software Engineering» more WADT 2001»

Canonical Institutions of Behaviour

14 years 2 months ago

Canonical Institutions of Behaviour

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

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

claim paper

Read More »

40

WER
2001
Springer

86views Software Engineering» more WER 2001»

Developing Use Cases from Organizational Modeling

14 years 2 months ago

Developing Use Cases from Organizational Modeling

Download wer.inf.puc-rio.br

Victor F. A. Santander, Jaelson Castro

claim paper

Read More »

« Prev « First page 176 / 3157 Last » Next »