Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
16968
search results - page 233 / 3394
»
Software Engineering in the Small
Sort
relevance
views
votes
recent
update
View
thumb
title
137
click to vote
IWSM
2000
Springer
109
views
Software Engineering
»
more
IWSM 2000
»
Extraction of Function-Points from Source-Code
15 years 10 months ago
Download
sel.ics.es.osaka-u.ac.jp
Harry M. Sneed
claim paper
Read More »
137
click to vote
AMAST
1997
Springer
122
views
Software Engineering
»
more
AMAST 1997
»
Invariants, Bisimulations and the Correctness of Coalgebraic Refinements
15 years 10 months ago
Download
www.jos.org.cn
Bart Jacobs
claim paper
Read More »
151
click to vote
PEPM
2000
ACM
91
views
Software Engineering
»
more
PEPM 2000
»
The Second Futamura Projection for Type-Directed Partial Evaluation
15 years 10 months ago
Download
www.brics.dk
Bernd Grobauer, Zhe Yang
claim paper
Read More »
147
click to vote
PEPM
2000
ACM
87
views
Software Engineering
»
more
PEPM 2000
»
Type-Based Useless Variable Elimination
15 years 10 months ago
Download
www.cs.ucla.edu
Naoki Kobayashi
claim paper
Read More »
167
click to vote
PEPM
2000
ACM
113
views
Software Engineering
»
more
PEPM 2000
»
Symbolic Pointer Analysis for Detecting Memory Leaks
15 years 10 months ago
Download
www.complang.tuwien.ac.at
Bernhard Scholz, Johann Blieberger, Thomas Fahring...
claim paper
Read More »
« Prev
« First
page 233 / 3394
Last »
Next »
