Search Sciweavers | Sciweavers

2702 search results - page 4 / 541

» Practically Applicable Formal Methods

click to vote

HICSS
2009
IEEE

143views Biometrics» more HICSS 2009»

Bridge Methods: Using a Balanced Project Practice Portfolio to Integrate Agile and Formal Process Methodologies

14 years 1 months ago

Download projectpracticeportfolio.com

This paper examines the non-linear nature of progress on software projects. It asserts that this uneven accomplishment stems from the continuous need to drive value quickly in res...

Stephen J. Cohen, William H. Money

claim paper

Read More »

click to vote

IFIP
1994
Springer

83views Programming Languages» more IFIP 1994»

The Theory and Practice of A Formal Method: NewCoRe

13 years 11 months ago

Download spinroot.com

Gerard J. Holzmann

claim paper

Read More »

click to vote

JUCS
2007

77views more JUCS 2007»

Formal Methods: Theory Becoming Practice

13 years 7 months ago

Download www.cs.man.ac.uk

Jean-Raymond Abrial

claim paper

Read More »

click to vote

SCP
2002

68views more SCP 2002»

Formal methods in practice

13 years 6 months ago

Download www.win.tue.nl

Wolfgang Polak

claim paper

Read More »

click to vote

FM
2005
Springer

92views Formal Methods» more FM 2005»

Model-Based Testing in Practice

14 years 18 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers