Search Sciweavers | Sciweavers

25 search results - page 1 / 5

» fase 2008

click to vote

FASE
2008
Springer

86views Software Engineering» more FASE 2008»

Orthographic Modeling Environment

13 years 6 months ago

Download d3s.mff.cuni.cz

Colin Atkinson, Dietmar Stoll

claim paper

Read More »

click to vote

FASE
2008
Springer

89views Software Engineering» more FASE 2008»

HOL-OCL: A Formal Proof Environment for UML/OCL

13 years 6 months ago

Download www.brucker.ch

Achim D. Brucker, Burkhart Wolff

claim paper

Read More »

click to vote

FASE
2008
Springer

116views Software Engineering» more FASE 2008»

Contextual Integration Testing of Classes

13 years 6 months ago

Download www.di.univaq.it

Giovanni Denaro, Alessandra Gorla, Mauro Pezz&egra...

claim paper

Read More »

click to vote

FASE
2008
Springer

156views Software Engineering» more FASE 2008»

An Automatic Verifier for Java-Like Programs Based on Dynamic Frames

13 years 6 months ago

Download research.microsoft.com

Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfr...

claim paper

Read More »

click to vote

FASE
2008
Springer

70views Software Engineering» more FASE 2008»

A Domain Analysis to Specify Design Defects and Generate Detection Algorithms

13 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers