Sciweavers

15777 search results - page 228 / 3156

» Engineering in Software

119

Voted

COMPSAC
2001
IEEE

133views Software Engineering» more COMPSAC 2001»

JBOORET: an Automated Tool to Recover OO Design and Source Models

15 years 8 months ago

JBOORET: an Automated Tool to Recover OO Design and Source Models

Download people.engr.ncsu.edu

Hong Mei, Tao Xie, Fuqing Yang

claim paper

Read More »

109

FOSSACS
1998
Springer

90views Software Engineering» more FOSSACS 1998»

A Cook's Tour of Equational Axiomatizations for Prefix Iteration

15 years 8 months ago

A Cook's Tour of Equational Axiomatizations for Prefix Iteration

Download www.cs.vu.nl

Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...

claim paper

Read More »

113

FOSSACS
2000
Springer

96views Software Engineering» more FOSSACS 2000»

Hierarchical Graph Transformation

15 years 8 months ago

Hierarchical Graph Transformation

Download www-users.cs.york.ac.uk

Frank Drewes, Berthold Hoffmann, Detlef Plump

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 »

« Prev « First page 228 / 3156 Last » Next »