Sciweavers

15860 search results - page 84 / 3172

» On agent-based software engineering

100

FASE
2009
Springer

70views Software Engineering» more FASE 2009»

Synchronous Modeling and Validation of Priority Inheritance Schedulers

15 years 10 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 »

73

ICSE
2009
IEEE-ACM

87views Software Engineering» more ICSE 2009»

The marketplace of user interface real estate

15 years 10 months ago

The marketplace of user interface real estate

Download www.cs.uoregon.edu

Luigi Troiano, Gerardo Canfora

claim paper

Read More »

90

Voted

ICSE
2009
IEEE-ACM

104views Software Engineering» more ICSE 2009»

Invariant-based automatic testing of AJAX user interfaces

15 years 10 months ago

Invariant-based automatic testing of AJAX user interfaces

Download swerl.tudelft.nl

Ali Mesbah, Arie van Deursen

claim paper

Read More »

80

ICSE
2009
IEEE-ACM

114views Software Engineering» more ICSE 2009»

Detecting inefficient API usage

15 years 10 months ago

Detecting inefficient API usage

Download www.cs.uoregon.edu

David Kawrykow, Martin P. Robillard

claim paper

Read More »

104

Voted

VMCAI
2009
Springer

114views Software Engineering» more VMCAI 2009»

Constraint-Based Invariant Inference over Predicate Abstraction

15 years 10 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 84 / 3172 Last » Next »