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
19587
search results - page 311 / 3918
»
Systems Engineering for software Engineers
Sort
relevance
views
votes
recent
update
View
thumb
title
123
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 »
129
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 »
153
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 »
138
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 »
140
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 »
« Prev
« First
page 311 / 3918
Last »
Next »
