Search Sciweavers | Sciweavers

3330 search results - page 19 / 666

» software 2010

164

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 6 months ago

Download formes.asia

José Meseguer, Peter Csaba Ölveczky

claim paper

Read More »

158

Voted

IWPC
2010
IEEE

154views Software Engineering» more IWPC 2010»

Natural Language Parsing of Program Element Names for Concept Extraction

15 years 6 months ago

Download icpc2010.di.uminho.pt

Surafel Lemma Abebe, Paolo Tonella

claim paper

Read More »

159

click to vote

SEE
2010
Springer

96views Software Engineering» more SEE 2010»

Managing Dual Use Technology: It Takes Two to Tango

15 years 5 months ago

Download www.springerlink.com

Lalit Kant, D. T. Mourya

claim paper

Read More »

141

click to vote

ADAEUROPE
2010
Springer

231views Software Engineering» more ADAEUROPE 2010»

Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada

15 years 5 months ago

Download www.disca.upv.es

Alan Burns, Andy J. Wellings

claim paper

Read More »

151

click to vote

ADAEUROPE
2010
Springer

246views Software Engineering» more ADAEUROPE 2010»

Program Verification in SPARK and ACSL: A Comparative Case Study

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers