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
31387
search results - page 217 / 6278
»
Abstracts
Sort
relevance
views
votes
recent
update
View
thumb
title
133
click to vote
CONCUR
1994
Springer
74
views
Distributed And Parallel Com...
»
more
CONCUR 1994
»
Testing-Based Abstractions for Value-Passing Systems
15 years 10 months ago
Download
condor.depaul.edu
Rance Cleaveland, James Riely
claim paper
Read More »
248
click to vote
ECOOP
1993
Springer
166
views
Programming Languages
»
more
ECOOP 1993
»
Design Patterns: Abstraction and Reuse of Object-Oriented Design
15 years 10 months ago
Download
www.cs.umd.edu
Erich Gamma, Richard Helm, Ralph E. Johnson, John ...
claim paper
Read More »
150
click to vote
ECOOPW
1993
Springer
119
views
Distributed And Parallel Com...
»
more
ECOOPW 1993
»
Abstracting Object Interactions Using Composition Filters
15 years 10 months ago
Download
www.cse.msu.edu
Mehmet Aksit, Ken Wakita, Jan Bosch, Lodewijk Berg...
claim paper
Read More »
132
click to vote
ESEC
1993
Springer
105
views
Software Engineering
»
more
ESEC 1993
»
Assertion-based Debugging of Imperative Programs by Abstract Interpretation
15 years 10 months ago
Download
web.me.com
François Bourdoncle
claim paper
Read More »
197
click to vote
ECA
1994
192
views
Theoretical Computer Science
»
more
ECA 1994
»
Abstraction, ethics and software: why don't the rules work?
15 years 10 months ago
Download
www.cse.unsw.edu.au
Shelly Warwick
claim paper
Read More »
« Prev
« First
page 217 / 6278
Last »
Next »
