Search Sciweavers | Sciweavers

316 search results - page 4 / 64

» Software engineering for real-time: a roadmap

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

Download formes.asia

José Meseguer, Peter Csaba Ölveczky

claim paper

Read More »

click to vote

CSMR
2010
IEEE

98views Software Engineering» more CSMR 2010»

Supporting Collaboration Awareness with Real-Time Visualization of Development Activity

13 years 21 days ago

Download swerl.tudelft.nl

Michele Lanza, Lile Hattori, Anja Guzzi

claim paper

Read More »

click to vote

FASE
2004
Springer

183views Software Engineering» more FASE 2004»

Specification and Analysis of Real-Time Systems Using Real-Time Maude

13 years 9 months ago

Download heim.ifi.uio.no

Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...

Peter Csaba Ölveczky, José Meseguer

claim paper

Read More »

click to vote

ADAEUROPE
2009
Springer

100views Software Engineering» more ADAEUROPE 2009»

Modelling and Evaluating Real-Time Software Architectures

14 years 10 days ago

Download www.ppooa.com.es

José L. Fernández-Sánchez, Gl...

claim paper

Read More »

click to vote

CBSE
2009
Springer

123views Software Engineering» more CBSE 2009»

Component-Based Real-Time Operating System for Embedded Applications

14 years 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers