Sciweavers

15860 search results - page 160 / 3172

» Agent-Based Software Engineering

124

TACS
2001
Springer

112views Software Engineering» more TACS 2001»

The Girard-Reynolds Isomorphism

15 years 7 months ago

The Girard-Reynolds Isomorphism

Download homepages.inf.ed.ac.uk

Philip Wadler

claim paper

Read More »

102

Voted

WADT
2001
Springer

65views Software Engineering» more WADT 2001»

Presentations for Abstract Context Institutions

15 years 7 months ago

Presentations for Abstract Context Institutions

Download www.ipipan.gda.pl

Wieslaw Pawlowski

claim paper

Read More »

78

WADT
2001
Springer

91views Software Engineering» more WADT 2001»

Canonical Institutions of Behaviour

15 years 7 months ago

Canonical Institutions of Behaviour

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

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

claim paper

Read More »

106

WER
2001
Springer

86views Software Engineering» more WER 2001»

Developing Use Cases from Organizational Modeling

15 years 7 months ago

Developing Use Cases from Organizational Modeling

Download wer.inf.puc-rio.br

Victor F. A. Santander, Jaelson Castro

claim paper

Read More »

97

Voted

APAQS
2000
IEEE

82views Software Engineering» more APAQS 2000»

Keynote Address I

15 years 7 months ago

Keynote Address I

Download www.cecs.uci.edu

K. H. Lau

claim paper

Read More »

« Prev « First page 160 / 3172 Last » Next »