Sciweavers

4036 search results - page 31 / 808

» Formal Methods

113

SFM
2009
Springer

93views Formal Methods» more SFM 2009»

Contract-Based Discovery and Adaptation of Web Services

15 years 9 months ago

Contract-Based Discovery and Adaptation of Web Services

Download www.sti.uniurb.it

Luca Padovani

claim paper

Read More »

132

SFM
2009
Springer

114views Formal Methods» more SFM 2009»

Calculi for Service-Oriented Computing

15 years 9 months ago

Calculi for Service-Oriented Computing

Download www.sti.uniurb.it

Roberto Bruni

claim paper

Read More »

162

TSE
2002

111views more TSE 2002»

Formal Methods Application: An Empirical Tale of Software Development

15 years 4 months ago

Formal Methods Application: An Empirical Tale of Software Development

Download www.cs.cornell.edu

Ann E. Kelley Sobel, Michael R. Clarkson

claim paper

Read More »

119

JUCS
2007

94views more JUCS 2007»

Automated Formal Methods Enter the Mainstream

15 years 4 months ago

Automated Formal Methods Enter the Mainstream

Download www.jucs.org

: This paper outlines the emergence of formal techniques, explaining why they were slow to take on an industrially acceptable form. The contemporary scene, in which formal techniqu...

John M. Rushby

claim paper

Read More »

113

FM
2001
Springer

85views Formal Methods» more FM 2001»

A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware

15 years 9 months ago

A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware

Download www.ics.uci.edu

Nalini Venkatasubramanian, Carolyn L. Talcott, Gul...

claim paper

Read More »

« Prev « First page 31 / 808 Last » Next »