Search Sciweavers | Sciweavers

3330 search results - page 19 / 666

» software 2010

106

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

IWPC
2010
IEEE

154views Software Engineering» more IWPC 2010»

Natural Language Parsing of Program Element Names for Concept Extraction

15 years 29 days ago

Download icpc2010.di.uminho.pt

Surafel Lemma Abebe, Paolo Tonella

claim paper

Read More »

105

click to vote

SEE
2010
Springer

96views Software Engineering» more SEE 2010»

Managing Dual Use Technology: It Takes Two to Tango

15 years 27 days 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

15 years 16 days ago

Download www.disca.upv.es

Alan Burns, Andy J. Wellings

claim paper

Read More »

Voted

ADAEUROPE
2010
Springer

246views Software Engineering» more ADAEUROPE 2010»

Program Verification in SPARK and ACSL: A Comparative Case Study

15 years 16 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers