Search Sciweavers | Sciweavers

15777 search results - page 129 / 3156

» The Reformulation-Optimization Software Engine

125

click to vote

KBSE
2002
IEEE

110views Software Engineering» more KBSE 2002»

A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems

15 years 10 months ago

Download dc.exa.unrc.edu.ar

Nazareno Aguirre, T. S. E. Maibaum

claim paper

Read More »

154

click to vote

KBSE
2002
IEEE

101views Software Engineering» more KBSE 2002»

Experience Report on Automated Procedure Construction for Deductive Synthesis

15 years 10 months ago

Download ase.informatik.uni-essen.de

Steve Roach, Jeffrey Van Baalen

claim paper

Read More »

click to vote

WCRE
2002
IEEE

103views Software Engineering» more WCRE 2002»

Reverse Architecting: Seeking the Architectonic

15 years 10 months ago

Download www.bth.se

Galal H. Galal-Edeen

claim paper

Read More »

click to vote

ICSE
2010
IEEE-ACM

124views Software Engineering» more ICSE 2010»

Online inference and enforcement of temporal properties

15 years 10 months ago

Download www.cs.ucdavis.edu

Mark Gabel, Zhendong Su

claim paper

Read More »

112

Voted

ICSE
2010
IEEE-ACM

123views Software Engineering» more ICSE 2010»

Code canvas: zooming towards better development environments

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers