Sciweavers

15777 search results - page 67 / 3156

» Engineering in Software

90

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

15 years 8 months ago

Computational Logical Frameworks and Generic Program Analysis Technologies

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

100

XPU
2005
Springer

70views Software Engineering» more XPU 2005»

Extreme Programming for Critical Systems?

15 years 8 months ago

Extreme Programming for Critical Systems?

Download www.cs.st-andrews.ac.uk

Ian Sommerville

claim paper

Read More »

87

IUI
2004
ACM

133views Software Engineering» more IUI 2004»

Designing intimate experiences

15 years 8 months ago

Designing intimate experiences

Download hct.ece.ubc.ca

Sidney Fels

claim paper

Read More »

64

IUI
2004
ACM

93views Software Engineering» more IUI 2004»

Enhancing the interaction with information portals

15 years 8 months ago

Enhancing the interaction with information portals

Download www.iuiconf.org

Eric Schwarzkopf

claim paper

Read More »

89

Voted

AMAST
2004
Springer

125views Software Engineering» more AMAST 2004»

Abstract Domains for Property Checking Driven Analysis of Temporal Properties

15 years 8 months ago

Abstract Domains for Property Checking Driven Analysis of Temporal Properties

Download www.lisyc.univ-brest.fr

Damien Massé

claim paper

Read More »

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