Sciweavers

9 search results - page 1 / 2

» fase 2003

50

FASE
2003
Springer

273views Software Engineering» more FASE 2003»

Monad-Independent Hoare Logic in HASCASL

14 years 4 months ago

Monad-Independent Hoare Logic in HASCASL

Download www.informatik.uni-bremen.de

Lutz Schröder, Till Mossakowski

claim paper

Read More »

41

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

14 years 4 months ago

Model Checking Software via Abstraction of Loop Transitions

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne

claim paper

Read More »

45

FASE
2003
Springer

116views Software Engineering» more FASE 2003»

A Logical Basis for the Specification of Reconfigurable Component-Based Systems

14 years 4 months ago

A Logical Basis for the Specification of Reconfigurable Component-Based Systems

Download d3s.mff.cuni.cz

Nazareno Aguirre, T. S. E. Maibaum

claim paper

Read More »

29

FASE
2003
Springer

103views Software Engineering» more FASE 2003»

Detecting Implied Scenarios Analyzing Non-local Branching Choices

14 years 4 months ago

Detecting Implied Scenarios Analyzing Non-local Branching Choices

Download www.henrymuccini.com

Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...

Henry Muccini

claim paper

Read More »

48

FASE
2003
Springer

105views Software Engineering» more FASE 2003»

Integration of Formal Datatypes within State Diagrams

14 years 4 months ago

Integration of Formal Datatypes within State Diagrams

Download www.lri.fr

In this paper, we present a generic approach to integrate datatypes expressed using formal speciﬁcation languages within state diagrams. Our main motivations are (i) to be able t...

Christian Attiogbé, Pascal Poizat, Gwen Sal...

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »