Search Sciweavers | Sciweavers

15779 search results - page 11 / 3156

» Change-oriented software engineering

click to vote

DAGSTUHL
2010

105views Software Engineering» more DAGSTUHL 2010»

Libraries

14 years 10 months ago

Download libraries.mit.edu

Roman Dementiev, Johannes Singler

claim paper

Read More »

click to vote

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

14 years 10 months ago

Download wiki.ercim.eu

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

click to vote

ICFEM
2010
Springer

177views Software Engineering» more ICFEM 2010»

Practical Parameterised Session Types

14 years 10 months ago

Download www.doc.ic.ac.uk

Andi Bejleri

claim paper

Read More »

click to vote

ICFEM
2010
Springer

163views Software Engineering» more ICFEM 2010»

Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems

14 years 10 months ago

Download formes.asia

José Meseguer, Peter Csaba Ölveczky

claim paper

Read More »

click to vote

ICST
2010
IEEE

97views Software Engineering» more ICST 2010»

MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers