Search Sciweavers | Sciweavers

15777 search results - page 216 / 3156

» Engineering in Software

101

click to vote

TACS
2001
Springer

108views Software Engineering» more TACS 2001»

Solo Diagrams

15 years 8 months ago

Download user.it.uu.se

Cosimo Laneve, Joachim Parrow, Björn Victor

claim paper

Read More »

121

Voted

TACS
2001
Springer

128views Software Engineering» more TACS 2001»

Model-Checking LTL with Regular Valuations for Pushdown Systems

15 years 8 months ago

Download www.fmi.uni-stuttgart.de

Javier Esparza, Antonín Kucera, Stefan Schw...

claim paper

Read More »

121

click to vote

WER
2001
Springer

86views Software Engineering» more WER 2001»

Developing Use Cases from Organizational Modeling

15 years 8 months ago

Download wer.inf.puc-rio.br

Victor F. A. Santander, Jaelson Castro

claim paper

Read More »

100

click to vote

EUROMICRO
2000
IEEE

74views Software Engineering» more EUROMICRO 2000»

Visualizing Queries in a Distributed Digital Library System

15 years 8 months ago

Download dsd.sztaki.hu

László Kovács, András ...

claim paper

Read More »

click to vote

WCRE
2000
IEEE

86views Software Engineering» more WCRE 2000»

Traceability Recovery by Modeling Programmer Behavior

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers