Sciweavers

15777 search results - page 105 / 3156

» Engineering in Software

135

EWSPT
2003
Springer

102views Software Engineering» more EWSPT 2003»

Flexible Static Semantic Checking Using First-Order Logic

15 years 8 months ago

Flexible Static Semantic Checking Using First-Order Logic

Download laser.cs.umass.edu

Shimon Rura, Barbara Staudt Lerner

claim paper

Read More »

83

Voted

COMPSAC
2002
IEEE

67views Software Engineering» more COMPSAC 2002»

Towards an MDA-Oriented Methodology

15 years 8 months ago

Towards an MDA-Oriented Methodology

Download www.cin.ufpe.br

Marie-Pierre Gervais

claim paper

Read More »

90

Voted

COMPSAC
2002
IEEE

73views Software Engineering» more COMPSAC 2002»

Program Slicing via FermaT Transformations

15 years 8 months ago

Program Slicing via FermaT Transformations

Download www.cse.dmu.ac.uk

Martin P. Ward

claim paper

Read More »

90

Voted

AC
2001
Springer

82views Software Engineering» more AC 2001»

Check Character Systems and Anti-symmetric Mappings

15 years 8 months ago

Check Character Systems and Anti-symmetric Mappings

Download page.mi.fu-berlin.de

Ralph-Hardo Schulz

claim paper

Read More »

76

Voted

AC
2001
Springer

94views Software Engineering» more AC 2001»

Coloring Hamming Graphs, Optimal Binary Codes, and the 0/1-Borsuk Problem in Low Dimensions

15 years 8 months ago

Coloring Hamming Graphs, Optimal Binary Codes, and the 0/1-Borsuk Problem in Low Dimensions

Download www.cs.ust.hk

Günter M. Ziegler

claim paper

Read More »

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