Search Sciweavers | Sciweavers

15777 search results - page 194 / 3156

» The Reformulation-Optimization Software Engine

click to vote

ICFEM
2000
Springer

93views Software Engineering» more ICFEM 2000»

SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol

13 years 12 months ago

Download lvk.cs.msu.su

Hong Peng, Sofiène Tahar, Ferhat Khendek

claim paper

Read More »

click to vote

ICFEM
2000
Springer

269views Software Engineering» more ICFEM 2000»

Formal Foundations of Object-Oriented Modeling Notations

13 years 12 months ago

Download www.lifia.info.unlp.edu.ar

Claudia Pons, Gabriel Baum

claim paper

Read More »

click to vote

ICSE
2000
IEEE-ACM

81views Software Engineering» more ICSE 2000»

Inference of message sequence charts

13 years 12 months ago

Download spic.kaist.ac.kr

Rajeev Alur, Kousha Etessami, Mihalis Yannakakis

claim paper

Read More »

click to vote

ICSE
2000
IEEE-ACM

104views Software Engineering» more ICSE 2000»

Principled design of the modern Web architecture

13 years 12 months ago

Download www.ics.uci.edu

Roy T. Fielding, Richard N. Taylor

claim paper

Read More »

click to vote

ICSE
2000
IEEE-ACM

97views Software Engineering» more ICSE 2000»

Alcoa: the alloy constraint analyzer

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers