Search Sciweavers | Sciweavers

15779 search results - page 11 / 3156

» Change-oriented software engineering

159

click to vote

DAGSTUHL
2010

105views Software Engineering» more DAGSTUHL 2010»

Libraries

15 years 5 months ago

Download libraries.mit.edu

Roman Dementiev, Johannes Singler

claim paper

Read More »

145

click to vote

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

15 years 5 months ago

Download wiki.ercim.eu

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

136

Voted

ICFEM
2010
Springer

177views Software Engineering» more ICFEM 2010»

Practical Parameterised Session Types

15 years 5 months ago

Download www.doc.ic.ac.uk

Andi Bejleri

claim paper

Read More »

160

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

15 years 5 months ago

Download formes.asia

José Meseguer, Peter Csaba Ölveczky

claim paper

Read More »

119

Voted

ICST
2010
IEEE

97views Software Engineering» more ICST 2010»

MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers