Search Sciweavers | Sciweavers

3514 search results - page 26 / 703

» Evolving Specification Engineering

170

click to vote

AOSD
2009
ACM

153views Software Engineering» more AOSD 2009»

Concept analysis for product line requirements

15 years 2 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 »

100

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

16 years 5 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

15 years 11 months ago

Download www-scf.usc.edu

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

claim paper

Read More »

click to vote

COMPSAC
2008
IEEE

83views Software Engineering» more COMPSAC 2008»

Fault Propagation in Tabular Expression-Based Specifications

15 years 11 months ago

Download hub.hku.hk

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

claim paper

Read More »

116

click to vote

QSIC
2008
IEEE

147views Software Engineering» more QSIC 2008»

An Executable Interface Specification for Industrial Embedded System Design

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers