Search Sciweavers | Sciweavers

3514 search results - page 64 / 703

» Evolving Specification Engineering

click to vote

ICSE
2007
IEEE-ACM

133views Software Engineering» more ICSE 2007»

Kato: A Program Slicing Tool for Declarative Specifications

14 years 8 months ago

Download users.ece.utexas.edu

This paper presents Kato, a tool that implements a novel class of optimizations that are inspired by program slicing for imperative languages but are applicable to analyzable decl...

Engin Uzuncaova, Sarfraz Khurshid

claim paper

Read More »

click to vote

EUROMICRO
2009
IEEE

202views Software Engineering» more EUROMICRO 2009»

Constructing Domain-Specific Component Frameworks through Architecture Refinement

14 years 2 months ago

Download d3s.mff.cuni.cz

Frédéric Loiret, Ales Plsek, Philipp...

claim paper

Read More »

click to vote

KBSE
2008
IEEE

120views Software Engineering» more KBSE 2008»

A Methodology and Framework for Creating Domain-Specific Development Infrastructures

14 years 2 months ago

Download www-scf.usc.edu

Domain-specific architectures, middleware platforms, and analysis techniques leverage domain knowledge to help engineers build systems more effectively. An integrated set of these...

George Edwards, Nenad Medvidovic

claim paper

Read More »

click to vote

ISORC
2007
IEEE

87views Distributed And Parallel Com...» more ISORC 2007»

Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java

14 years 2 months ago