Search Sciweavers | Sciweavers

22698 search results - page 411 / 4540

» Modeling in Software Engineering

134

Voted

EMSOFT
2008
Springer

78views Software Engineering» more EMSOFT 2008»

Event order abstraction for parametric real-time system verification

15 years 8 months ago

Download www.cecs.uci.edu

Shinya Umeno

claim paper

Read More »

141

click to vote

FASE
2008
Springer

89views Software Engineering» more FASE 2008»

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

15 years 8 months ago

Download www.brucker.ch

Achim D. Brucker, Burkhart Wolff

claim paper

Read More »

135

click to vote

FASE
2008
Springer

116views Software Engineering» more FASE 2008»

Contextual Integration Testing of Classes

15 years 8 months ago

Download www.di.univaq.it

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

claim paper

Read More »

147

click to vote

IESA
2007

93views Software Engineering» more IESA 2007»

Classifying Interoperability Problems for a Method Chunk Repository

15 years 7 months ago

Download infolab.uvt.nl

Manfred A. Jeusfeld, Per Backlund, Jolita Ralyt&ea...

claim paper

Read More »

135

click to vote

IESA
2007

98views Software Engineering» more IESA 2007»

An Ontology of Interoperability in Inter-Enterprise Communities

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers