Sciweavers

15885 search results - page 202 / 3177

» The Modest Software Engineer

96

ICFEM
2000
Springer

87views Software Engineering» more ICFEM 2000»

Maximally Abstract Retrenchments

15 years 7 months ago

Maximally Abstract Retrenchments

Download www.cs.man.ac.uk

Richard Banach

claim paper

Read More »

106

ICFEM
2000
Springer

93views Software Engineering» more ICFEM 2000»

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

15 years 7 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 »

161

ICFEM
2000
Springer

269views Software Engineering» more ICFEM 2000»

Formal Foundations of Object-Oriented Modeling Notations

15 years 7 months ago

Formal Foundations of Object-Oriented Modeling Notations

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

Claudia Pons, Gabriel Baum

claim paper

Read More »

92

ICSE
2000
IEEE-ACM

81views Software Engineering» more ICSE 2000»

Inference of message sequence charts

15 years 7 months ago

Inference of message sequence charts

Download spic.kaist.ac.kr

Rajeev Alur, Kousha Etessami, Mihalis Yannakakis

claim paper

Read More »

110

ICSE
2000
IEEE-ACM

104views Software Engineering» more ICSE 2000»

Principled design of the modern Web architecture

15 years 7 months ago

Principled design of the modern Web architecture

Download www.ics.uci.edu

Roy T. Fielding, Richard N. Taylor

claim paper

Read More »

« Prev « First page 202 / 3177 Last » Next »