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
16725
search results - page 248 / 3345
»
Engineering Software Correctness
Sort
relevance
views
votes
recent
update
View
thumb
title
114
click to vote
ICSE
2000
IEEE-ACM
97
views
Software Engineering
»
more
ICSE 2000
»
Alcoa: the alloy constraint analyzer
15 years 10 months ago
Download
sdg.csail.mit.edu
Daniel Jackson, Ian Schechter, Ilya Shlyakhter
claim paper
Read More »
125
click to vote
ICSE
2000
IEEE-ACM
100
views
Software Engineering
»
more
ICSE 2000
»
Hyper/J: multi-dimensional separation of concerns for Java
15 years 10 months ago
Download
swt.cs.tu-berlin.de
Harold Ossher, Peri L. Tarr
claim paper
Read More »
147
click to vote
IWSAPF
2000
105
views
Software Engineering
»
more
IWSAPF 2000
»
A Product Line Architecture for a Network Product
15 years 10 months ago
Download
users.ece.utexas.edu
Dewayne E. Perry
claim paper
Read More »
154
click to vote
IWSAS
2000
Springer
87
views
Software Engineering
»
more
IWSAS 2000
»
Active Trust Management for Autonomous Adaptive Survivable Systems
15 years 10 months ago
Download
groups.csail.mit.edu
Howard E. Shrobe, Jon Doyle
claim paper
Read More »
141
click to vote
IWSM
2000
Springer
91
views
Software Engineering
»
more
IWSM 2000
»
Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object-Oriented Systems
15 years 10 months ago
Download
www.sosy-lab.org
Dirk Beyer, Claus Lewerentz, Frank Simon
claim paper
Read More »
« Prev
« First
page 248 / 3345
Last »
Next »
