Sciweavers

16790 search results - page 252 / 3358

» A Future for Software Engineering

28

ICFEM
2000
Springer

93views Software Engineering» more ICFEM 2000»

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

14 years 2 months ago

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

Download lvk.cs.msu.su

Hong Peng, Sofiène Tahar, Ferhat Khendek

claim paper

Read More »

48

ICFEM
2000
Springer

269views Software Engineering» more ICFEM 2000»

Formal Foundations of Object-Oriented Modeling Notations

14 years 2 months ago

Formal Foundations of Object-Oriented Modeling Notations

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

Claudia Pons, Gabriel Baum

claim paper

Read More »

23

ICSE
2000
IEEE-ACM

81views Software Engineering» more ICSE 2000»

Inference of message sequence charts

14 years 2 months ago

Inference of message sequence charts

Download spic.kaist.ac.kr

Rajeev Alur, Kousha Etessami, Mihalis Yannakakis

claim paper

Read More »

36

ICSE
2000
IEEE-ACM

104views Software Engineering» more ICSE 2000»

Principled design of the modern Web architecture

14 years 2 months ago

Principled design of the modern Web architecture

Download www.ics.uci.edu

Roy T. Fielding, Richard N. Taylor

claim paper

Read More »

20

ICSE
2000
IEEE-ACM

97views Software Engineering» more ICSE 2000»

Alcoa: the alloy constraint analyzer

14 years 2 months ago

Alcoa: the alloy constraint analyzer

Download sdg.csail.mit.edu

Daniel Jackson, Ian Schechter, Ilya Shlyakhter

claim paper

Read More »

« Prev « First page 252 / 3358 Last » Next »