Search Sciweavers | Sciweavers

15824 search results - page 328 / 3165

» Specialising in Software Engineering

145

click to vote

VMCAI
2005
Springer

65views Software Engineering» more VMCAI 2005»

Scalable Analysis of Linear Systems Using Mathematical Programming

15 years 11 months ago

Download ropas.snu.ac.kr

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...

claim paper

Read More »

129

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

15 years 11 months ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

133

click to vote

WER
2005
Springer

98views Software Engineering» more WER 2005»

Uso de Agentes no Processo de Requisitos em Ambientes Distribuídos de Desenvolvimento

15 years 11 months ago

Download wer.inf.puc-rio.br

Miriam Sayão, Julio Cesar Sampaio do Prado ...

claim paper

Read More »

126

click to vote

WER
2005
Springer

84views Software Engineering» more WER 2005»

A Survey of Good Practices and Misuses for Modelling with i* Framework

15 years 11 months ago

Download wer.inf.puc-rio.br

Ilca Webster, Juliana Amaral, Luiz Márcio C...

claim paper

Read More »

124

click to vote

WER
2005
Springer

77views Software Engineering» more WER 2005»

Reusable Knowledge for Achieving Privacy: A Canadian Health Information Technologies Perspective

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers