Search Sciweavers | Sciweavers

1031 search results - page 9 / 207

» On the Formal Development of Safety-Critical Software

click to vote

FM
1998
Springer

345views Formal Methods» more FM 1998»

Enriching the Software Development Process by Formal Methods

13 years 11 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 11 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

14 years 25 days ago

Download www4.in.tum.de

Bernhard Schätz

claim paper

Read More »

click to vote

SEKE
1994
Springer

76views Software Engineering» more SEKE 1994»

A tool for assisting the understanding and formal development of software

13 years 11 months ago

Download www.cs.umd.edu

Salwa K. Abd-El-Hafiz, Victor R. Basili

claim paper

Read More »

click to vote

WADT
1999
Springer

73views Software Engineering» more WADT 1999»

Towards an Evolutionary Formal Software-Development Using CASL

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers