Sciweavers

15777 search results - page 216 / 3156
» Engineering in Software
Sort
View
TACS
2001
Springer
15 years 11 months ago
Solo Diagrams
Cosimo Laneve, Joachim Parrow, Björn Victor
151
Voted
TACS
2001
Springer
15 years 11 months ago
Model-Checking LTL with Regular Valuations for Pushdown Systems
Javier Esparza, Antonín Kucera, Stefan Schw...
145
Voted
WER
2001
Springer
15 years 11 months ago
Developing Use Cases from Organizational Modeling
Victor F. A. Santander, Jaelson Castro
124
Voted
EUROMICRO
2000
IEEE
15 years 11 months ago
Visualizing Queries in a Distributed Digital Library System
László Kovács, András ...
114
Voted
WCRE
2000
IEEE
15 years 11 months ago
Traceability Recovery by Modeling Programmer Behavior
Giuliano Antoniol, Gerardo Casazza, Aniello Cimiti...