Sciweavers

15783 search results - page 100 / 3157

» Evidence-Based Software Engineering

31

FASE
2009
Springer

70views Software Engineering» more FASE 2009»

Synchronous Modeling and Validation of Priority Inheritance Schedulers

14 years 4 months ago

Synchronous Modeling and Validation of Priority Inheritance Schedulers

Download hal.archives-ouvertes.fr

Erwan Jahier, Nicolas Halbwachs, Pascal Raymond

claim paper

Read More »

13

ICSE
2009
IEEE-ACM

87views Software Engineering» more ICSE 2009»

The marketplace of user interface real estate

14 years 4 months ago

The marketplace of user interface real estate

Download www.cs.uoregon.edu

Luigi Troiano, Gerardo Canfora

claim paper

Read More »

20

ICSE
2009
IEEE-ACM

104views Software Engineering» more ICSE 2009»

Invariant-based automatic testing of AJAX user interfaces

14 years 4 months ago

Invariant-based automatic testing of AJAX user interfaces

Download swerl.tudelft.nl

Ali Mesbah, Arie van Deursen

claim paper

Read More »

19

ICSE
2009
IEEE-ACM

114views Software Engineering» more ICSE 2009»

Detecting inefficient API usage

14 years 4 months ago

Detecting inefficient API usage

Download www.cs.uoregon.edu

David Kawrykow, Martin P. Robillard

claim paper

Read More »

23

VMCAI
2009
Springer

114views Software Engineering» more VMCAI 2009»

Constraint-Based Invariant Inference over Predicate Abstraction

14 years 4 months ago

Constraint-Based Invariant Inference over Predicate Abstraction

Download research.microsoft.com

Sumit Gulwani, Saurabh Srivastava, Ramarathnam Ven...

claim paper

Read More »

« Prev « First page 100 / 3157 Last » Next »