Sciweavers

22698 search results - page 320 / 4540

» Modeling in Software Engineering

131

WOSS
2004
ACM

120views Software Engineering» more WOSS 2004»

Patterns of self-management

16 years 2 days ago

Patterns of self-management

Download www.cs.cmu.edu

David S. Wile

claim paper

Read More »

129

AMAST
2004
Springer

125views Software Engineering» more AMAST 2004»

Abstract Domains for Property Checking Driven Analysis of Temporal Properties

16 years 2 days ago

Abstract Domains for Property Checking Driven Analysis of Temporal Properties

Download www.lisyc.univ-brest.fr

Damien Massé

claim paper

Read More »

128

AMAST
2004
Springer

87views Software Engineering» more AMAST 2004»

Formalising Graphical Behaviour Descriptions

16 years 2 days ago

Formalising Graphical Behaviour Descriptions

Download www.cs.stir.ac.uk

Kenneth J. Turner

claim paper

Read More »

140

AMAST
2004
Springer

102views Software Engineering» more AMAST 2004»

Extending Separation Logic with Fixpoints and Postponed Substitution

16 years 2 days ago

Extending Separation Logic with Fixpoints and Postponed Substitution

Download www.di.ens.fr

Élodie-Jane Sims

claim paper

Read More »

161

Voted

ASWSD
2004
Springer

110views Software Engineering» more ASWSD 2004»

Towards a Component Architecture for Hard Real Time Control Applications

16 years 1 days ago

Towards a Component Architecture for Hard Real Time Control Applications

Download www.softwareresearch.net

Wolfgang Pree, Josef Templ

claim paper

Read More »

« Prev « First page 320 / 4540 Last » Next »