Search Sciweavers | Sciweavers

15253 search results - page 62 / 3051

» Integer-Programming Software Systems

click to vote

RE
2002
Springer

99views Software Engineering» more RE 2002»

Managing (Requirements) Evolutions of High Assurance Systems

14 years 9 months ago

Download www.ida.liu.se

Michel Lemoine, Jack Foisseau

claim paper

Read More »

click to vote

SOFTWARE
1998

91views Applied Computing» more SOFTWARE 1998»

Maintaining Component-Based Systems

14 years 9 months ago

Download www.ifi.uzh.ch

Jeffrey M. Voas

claim paper

Read More »

click to vote

SOCO
2002
Springer

96views Software Engineering» more SOCO 2002»

Fuzzy queries, search, and decision support system

14 years 9 months ago

Download www-bisc.cs.berkeley.edu

Masoud Nikravesh, Behnam Azvine

claim paper

Read More »

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

14 years 8 months ago

Download formes.asia

José Meseguer, Peter Csaba Ölveczky

claim paper

Read More »

click to vote

ADAEUROPE
2010
Springer

232views Software Engineering» more ADAEUROPE 2010»

Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems

14 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers