Search Sciweavers | Sciweavers

3514 search results - page 26 / 703

» Evolving Specification Engineering

click to vote

AOSD
2009
ACM

153views Software Engineering» more AOSD 2009»

Concept analysis for product line requirements

13 years 5 months ago

Download www.cse.msstate.edu

Traditional methods characterize a software product line's requirements using either functional or quality criteria. This appears to be inadequate to assess modularity, detec...

Nan Niu, Steve M. Easterbrook

claim paper

Read More »

click to vote

SIGSOFT
2001
ACM

125views Software Engineering» more SIGSOFT 2001»

STG: a tool for generating symbolic test programs and oracles from operational specifications

14 years 8 months ago

Download www-valoria.univ-ubs.fr

Duncan Clarke, Elena Zinovieva, Thierry Jér...

claim paper

Read More »

click to vote

ICSE
2009
IEEE-ACM

84views Software Engineering» more ICSE 2009»

From system specifications to component behavioral models

14 years 2 months ago

Download www-scf.usc.edu

Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvid...

claim paper

Read More »

Voted

COMPSAC
2008
IEEE

83views Software Engineering» more COMPSAC 2008»

Fault Propagation in Tabular Expression-Based Specifications

14 years 2 months ago

Download hub.hku.hk

Xin Feng, David Lorge Parnas, T. H. Tse

claim paper

Read More »

click to vote

QSIC
2008
IEEE

147views Software Engineering» more QSIC 2008»

An Executable Interface Specification for Industrial Embedded System Design

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers