Sciweavers

17 search results - page 1 / 4

» icfem 2010

9

ICFEM
2010
Springer

177views Software Engineering» more ICFEM 2010»

Practical Parameterised Session Types

13 years 3 months ago

Practical Parameterised Session Types

Download www.doc.ic.ac.uk

Andi Bejleri

claim paper

Read More »

12

ICFEM
2010
Springer

163views Software Engineering» more ICFEM 2010»

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

13 years 3 months ago

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

Download formes.asia

José Meseguer, Peter Csaba Ölveczky

claim paper

Read More »

10

ICFEM
2010
Springer

161views Software Engineering» more ICFEM 2010»

Software Metrics in Static Program Analysis

13 years 3 months ago

Software Metrics in Static Program Analysis

Download www4.in.tum.de

Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wol...

claim paper

Read More »

12

ICFEM
2010
Springer

152views Software Engineering» more ICFEM 2010»

Model Checking Hierarchical Probabilistic Systems

13 years 1 months ago

Model Checking Hierarchical Probabilistic Systems

Download www.sutd.edu.sg

Jun Sun 0001, Songzheng Song, Yang Liu 0003

claim paper

Read More »

19

ICFEM
2010
Springer

201views Software Engineering» more ICFEM 2010»

Laws of Pattern Composition

13 years 2 months ago

Laws of Pattern Composition

Download cms.brookes.ac.uk

Design patterns are rarely used on their own. They are almost always to be found composed with each other in real applications. So it is crucial that we can reason about their comp...

Hong Zhu, Ian Bayley

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »