Search Sciweavers | Sciweavers

15824 search results - page 222 / 3165

» Specialising in Software Engineering

129

click to vote

EMSOFT
2008
Springer

78views Software Engineering» more EMSOFT 2008»

Event order abstraction for parametric real-time system verification

15 years 7 months ago

Download www.cecs.uci.edu

Shinya Umeno

claim paper

Read More »

click to vote

FASE
2008
Springer

86views Software Engineering» more FASE 2008»

Orthographic Modeling Environment

15 years 7 months ago

Download d3s.mff.cuni.cz

Colin Atkinson, Dietmar Stoll

claim paper

Read More »

132

click to vote

FASE
2008
Springer

89views Software Engineering» more FASE 2008»

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

15 years 7 months ago

Download www.brucker.ch

Achim D. Brucker, Burkhart Wolff

claim paper

Read More »

132

click to vote

FASE
2008
Springer

116views Software Engineering» more FASE 2008»

Contextual Integration Testing of Classes

15 years 7 months ago

Download www.di.univaq.it

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

claim paper

Read More »

139

click to vote

IESA
2007

93views Software Engineering» more IESA 2007»

Classifying Interoperability Problems for a Method Chunk Repository

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers