Search Sciweavers | Sciweavers

15727 search results - page 225 / 3146

» Software Engineering - Introduction

click to vote

DAGSTUHL
2010

105views Software Engineering» more DAGSTUHL 2010»

Libraries

15 years 2 months ago

Download libraries.mit.edu

Roman Dementiev, Johannes Singler

claim paper

Read More »

105

Voted

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

15 years 2 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

15 years 1 months ago

Download www.doc.ic.ac.uk

Andi Bejleri

claim paper

Read More »

112

Voted

ICFEM
2010
Springer

163views Software Engineering» more ICFEM 2010»

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

15 years 1 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

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers