Search Sciweavers | Sciweavers

1005 search results - page 1 / 201

» Formal Software Development in MAYA

click to vote

BIRTHDAY
2005
Springer

126views Applied Computing» more BIRTHDAY 2005»

Formal Software Development in MAYA

13 years 10 months ago

Download www.informatik.uni-bremen.de

Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal speciﬁcations usually reveals hidden errors ...

Dieter Hutter, Serge Autexier

claim paper

Read More »

click to vote

FM
1998
Springer

345views Formal Methods» more FM 1998»

Enriching the Software Development Process by Formal Methods

13 years 9 months ago

Download www4.informatik.tu-muenchen.de

Manfred Broy, Oscar Slotosch

claim paper

Read More »

click to vote

WETICE
1998
IEEE

140views Emerging Technology» more WETICE 1998»

A Deontic Formalism for Co-ordinating Software Development in Virtual Software Corporations

13 years 9 months ago

Download kluedo.ub.uni-kl.de

The concept of the Virtual Software Corporation (VSC) has recently become a practical reality as a result of advances in communication and distributed technologies. However, there...

Zsolt Haag, Richard Foley, Julian Newman

claim paper

Read More »

click to vote

ICFEM
2004
Springer

86views Software Engineering» more ICFEM 2004»

Model-Based Development: Combining Engineering Approaches and Formal Techniques

13 years 10 months ago

Download www4.in.tum.de

Bernhard Schätz

claim paper

Read More »