Search Sciweavers | Sciweavers

15727 search results - page 312 / 3146

» Software Engineering - Introduction

112

Voted

VMCAI
2005
Springer

65views Software Engineering» more VMCAI 2005»

Scalable Analysis of Linear Systems Using Mathematical Programming

15 years 9 months ago

Download ropas.snu.ac.kr

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

claim paper

Read More »

105

Voted

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

15 years 9 months ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

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 9 months ago

Download wer.inf.puc-rio.br

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

claim paper

Read More »

105

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 9 months ago

Download wer.inf.puc-rio.br

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

claim paper

Read More »

104

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 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers