Sciweavers

15974 search results - page 280 / 3195

» Object-Oriented Software Engineering

102

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 »

118

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 »

94

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 »

113

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 »

89

ICSE
2000
IEEE-ACM

97views Software Engineering» more ICSE 2000»

Alcoa: the alloy constraint analyzer

15 years 7 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 280 / 3195 Last » Next »