Search Sciweavers | Sciweavers

12551 search results - page 338 / 2511

» Reuse in Systems Engineering

145

click to vote

CBSE
2007
Springer

87views Software Engineering» more CBSE 2007»

Monitoring Architectural Properties in Dynamic Component-Based Systems

16 years 28 days ago

Download goanna.cs.rmit.edu.au

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

claim paper

Read More »

127

click to vote

EMSOFT
2007
Springer

100views Software Engineering» more EMSOFT 2007»

Existential abstractions for distributed reactive systems via syntactic transformations

16 years 27 days ago

Download www.cecs.uci.edu

Vijay D'Silva, Sampada Sonalkar, S. Ramesh

claim paper

Read More »

154

click to vote

ICFEM
2007
Springer

107views Software Engineering» more ICFEM 2007»

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

16 years 27 days ago

Download users.ecs.soton.ac.uk

Jean-Raymond Abrial

claim paper

Read More »

137

click to vote

ISSRE
2006
IEEE

82views Software Engineering» more ISSRE 2006»

DevCOP: A Software Certificate Management System for Eclipse

16 years 23 days ago

Download www.cs.virginia.edu

Mark Sherriff, Laurie Williams

claim paper

Read More »

122

click to vote

ISSRE
2005
IEEE

89views Software Engineering» more ISSRE 2005»

Covering Transitions of Concurrent Systems through Queues

16 years 10 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers