Search Sciweavers | Sciweavers

3514 search results - page 28 / 703

» Evolving Specification Engineering

click to vote

WOSS
2004
ACM

100views Software Engineering» more WOSS 2004»

A survey of self-management in dynamic software architecture specifications

14 years 1 months ago

Download research.cs.queensu.ca

Jeremy S. Bradbury, James R. Cordy, Jürgen Di...

claim paper

Read More »

click to vote

AMAST
2004
Springer

80views Software Engineering» more AMAST 2004»

Formalizing and Proving Semantic Relations between Specifications by Reflection

14 years 1 months ago

Download maude.sip.ucm.es

Manuel Clavel, Narciso Martí-Oliet, Miguel ...

claim paper

Read More »

click to vote

SCAM
2003
IEEE

96views Software Engineering» more SCAM 2003»

Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs

14 years 1 months ago

Download www.codeboost.org

Otto Skrove Bagge, Karl Trygve Kalleberg, Magne Ha...

claim paper

Read More »

click to vote

WADT
1999
Springer

73views Software Engineering» more WADT 1999»

Extraction of Structured Programs from Specification Proofs

14 years 1 days ago

Download www.pst.informatik.uni-muenchen.de

John N. Crossley, Iman Poernomo, Martin Wirsing

claim paper

Read More »

click to vote

KBSE
1997
IEEE

86views Software Engineering» more KBSE 1997»

A Structured Approach for Synthesizing Planners from Specifications

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers