Search Sciweavers | Sciweavers

12551 search results - page 338 / 2511

» Reuse in Systems Engineering

164

Voted

CBSE
2007
Springer

87views Software Engineering» more CBSE 2007»

Monitoring Architectural Properties in Dynamic Component-Based Systems

16 years 1 months ago

Download goanna.cs.rmit.edu.au

Henry Muccini, Andrea Polini, Fabiano Ricci, Anton...

claim paper

Read More »

145

Voted

EMSOFT
2007
Springer

100views Software Engineering» more EMSOFT 2007»

Existential abstractions for distributed reactive systems via syntactic transformations

16 years 1 months ago

Download www.cecs.uci.edu

Vijay D'Silva, Sampada Sonalkar, S. Ramesh

claim paper

Read More »

171

Voted

ICFEM
2007
Springer

107views Software Engineering» more ICFEM 2007»

A System Development Process with Event-B and the Rodin Platform

16 years 1 months ago

Download users.ecs.soton.ac.uk

Jean-Raymond Abrial

claim paper

Read More »

156

click to vote

ISSRE
2006
IEEE

82views Software Engineering» more ISSRE 2006»

DevCOP: A Software Certificate Management System for Eclipse

16 years 1 months ago

Download www.cs.virginia.edu

Mark Sherriff, Laurie Williams

claim paper

Read More »

139

click to vote

ISSRE
2005
IEEE

89views Software Engineering» more ISSRE 2005»

Covering Transitions of Concurrent Systems through Queues

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers