Search Sciweavers | Sciweavers

1988 search results - page 28 / 398

» Engineering formal metatheory

119

click to vote

FORTE
1996

99views Formal Methods» more FORTE 1996»

Formal Description Techniques - How Formal and Descriptive are they?

15 years 5 months ago

Download www4.in.tum.de

I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...

Manfred Broy

claim paper

Read More »

100

click to vote

ICFEM
2007
Springer

106views Software Engineering» more ICFEM 2007»

Formalizing SANE Virtual Processor in Thread Algebra

15 years 10 months ago

Download staff.science.uva.nl

Thuy Duong Vu, Chris R. Jesshope

claim paper

Read More »

click to vote

EMSOFT
2005
Springer

84views Software Engineering» more EMSOFT 2005»

The formal verification of a reintegration protocol

15 years 10 months ago

Download www.cs.indiana.edu

Lee Pike, Steven D. Johnson

claim paper

Read More »

click to vote

SEKE
2005
Springer

98views Software Engineering» more SEKE 2005»

Formal Analysis of Workflow Systems with Security Considerations

15 years 10 months ago

Download www.jaist.ac.jp

Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi

claim paper

Read More »

115

click to vote

ICFEM
2004
Springer

97views Software Engineering» more ICFEM 2004»

When Can Formal Methods Make a Real Difference?

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers