Search Sciweavers | Sciweavers

3330 search results - page 19 / 666

» software 2010

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

13 years 6 months ago

Download formes.asia

José Meseguer, Peter Csaba Ölveczky

claim paper

Read More »

click to vote

IWPC
2010
IEEE

154views Software Engineering» more IWPC 2010»

Natural Language Parsing of Program Element Names for Concept Extraction

13 years 6 months ago

Download icpc2010.di.uminho.pt

Surafel Lemma Abebe, Paolo Tonella

claim paper

Read More »

click to vote

SEE
2010
Springer

96views Software Engineering» more SEE 2010»

Managing Dual Use Technology: It Takes Two to Tango

13 years 6 months ago

Download www.springerlink.com

Lalit Kant, D. T. Mourya

claim paper

Read More »

click to vote

ADAEUROPE
2010
Springer

231views Software Engineering» more ADAEUROPE 2010»

Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada

13 years 5 months ago

Download www.disca.upv.es

Alan Burns, Andy J. Wellings

claim paper

Read More »

click to vote

ADAEUROPE
2010
Springer

246views Software Engineering» more ADAEUROPE 2010»

Program Verification in SPARK and ACSL: A Comparative Case Study

13 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers