Search Sciweavers | Sciweavers

8083 search results - page 50 / 1617

» A Formalization of Software Architecture

136

Voted

ICFEM
2004
Springer

86views Software Engineering» more ICFEM 2004»

Model-Based Development: Combining Engineering Approaches and Formal Techniques

15 years 9 months ago

Download www4.in.tum.de

Bernhard Schätz

claim paper

Read More »

click to vote

FASE
2001
Springer

89views Software Engineering» more FASE 2001»

A Formal Object-Oriented Analysis for Software Reliability: Design for Verification

15 years 8 months ago

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne, Robert P. Kurs...

claim paper

Read More »

click to vote

WADT
1999
Springer

73views Software Engineering» more WADT 1999»

Towards an Evolutionary Formal Software-Development Using CASL

15 years 8 months ago

Download www.mais.informatik.tu-darmstadt.de

Serge Autexier, Dieter Hutter, Heiko Mantel, Axel ...

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

15 years 8 months ago

Download www.cs.umd.edu

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

claim paper

Read More »

100

Voted

AMAST
1991
Springer

90views Software Engineering» more AMAST 1991»

A Formal Approach to Software Testing

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers