Sciweavers

15811 search results - page 124 / 3163

» Search-based software engineering

125

Voted

WOSS
2004
ACM

120views Software Engineering» more WOSS 2004»

Patterns of self-management

15 years 12 months ago

Patterns of self-management

Download www.cs.cmu.edu

David S. Wile

claim paper

Read More »

124

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

15 years 12 months ago

Model-Checking Systems with Unbounded Variables without Abstraction

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

124

AMAST
2004
Springer

125views Software Engineering» more AMAST 2004»

Abstract Domains for Property Checking Driven Analysis of Temporal Properties

15 years 12 months ago

Abstract Domains for Property Checking Driven Analysis of Temporal Properties

Download www.lisyc.univ-brest.fr

Damien Massé

claim paper

Read More »

124

Voted

AMAST
2004
Springer

87views Software Engineering» more AMAST 2004»

Formalising Graphical Behaviour Descriptions

15 years 12 months ago

Formalising Graphical Behaviour Descriptions

Download www.cs.stir.ac.uk

Kenneth J. Turner

claim paper

Read More »

136

Voted

AMAST
2004
Springer

102views Software Engineering» more AMAST 2004»

Extending Separation Logic with Fixpoints and Postponed Substitution

15 years 12 months ago

Extending Separation Logic with Fixpoints and Postponed Substitution

Download www.di.ens.fr

Élodie-Jane Sims

claim paper

Read More »

« Prev « First page 124 / 3163 Last » Next »