Search Sciweavers | Sciweavers

6197 search results - page 7 / 1240

» Sandbridge Software Tools

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 7 months ago

Download www.cs.umd.edu

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

claim paper

Read More »

102

click to vote

EUROMICRO
1998
IEEE

94views Software Engineering» more EUROMICRO 1998»

The EFTOS Voting Farm: A Software Tool for Fault Masking in Message Passing Parallel Environments

15 years 7 months ago

Download www.esat.kuleuven.be

Vincenzo De Florio, Geert Deconinck, Rudy Lauwerei...

claim paper

Read More »

click to vote

FASE
1999
Springer

91views Software Engineering» more FASE 1999»

TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving

15 years 7 months ago

Download www.informatik.uni-bremen.de

Christoph Lüth, Haykal Tej, Kolyang, Bernd Kr...

claim paper

Read More »

click to vote

WCRE
1997
IEEE

87views Software Engineering» more WCRE 1997»

How Do Program Understanding Tools Affect How Programmers Understand Programs?

15 years 7 months ago

Download www.st.cs.uni-saarland.de

Margaret-Anne D. Storey, Kenny Wong, Hausi A. M&uu...

claim paper

Read More »

109

click to vote

ASWSD
2006
Springer

299views Software Engineering» more ASWSD 2006»

Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers