Search Sciweavers | Sciweavers

1988 search results - page 22 / 398

» Engineering formal metatheory

Voted

JOT
2007

57views more JOT 2007»

Formal and Tool Support for Model Driven Engineering with Maude

15 years 4 months ago

Download www.jot.fm

José Raúl Romero, José Eduard...

claim paper

Read More »

130

Voted

ISSE
2010

128views Security Privacy» more ISSE 2010»

Formal methods integration in software engineering

15 years 3 months ago

Download www.artist-embedded.org

Isabelle Perseil, Laurent Pautet

claim paper

Read More »

189

click to vote

SIGSOFT
2010
ACM

186views Software Engineering» more SIGSOFT 2010»

Program fields for continuous software

15 years 2 months ago

Download web.engr.oregonstate.edu

We propose program fields, a formal representation for groups of related programs, as a new abstraction to support future software engineering research in several areas. We will d...

Martin Erwig, Eric Walkingshaw

claim paper

Read More »

112

click to vote

SIGSOFT
2007
ACM

138views Software Engineering» more SIGSOFT 2007»

Formal modeling of BPEL workflows including fault and compensation handling

16 years 5 months ago

Download www.inf.mit.bme.hu

Dániel Varró, László G...

claim paper

Read More »

117

Voted

FASE
2009
Springer

120views Software Engineering» more FASE 2009»

Formal Foundation for Pattern-Based Modelling

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers