Sciweavers

22698 search results - page 370 / 4540

» Modeling in Software Engineering

151

FSTTCS
1997
Springer

97views Software Engineering» more FSTTCS 1997»

Algorithmic Issues in Coding Theory

15 years 9 months ago

Algorithmic Issues in Coding Theory

Download publications.csail.mit.edu

Madhu Sudan

claim paper

Read More »

111

Voted

ISSTA
1996
ACM

92views Software Engineering» more ISSTA 1996»

Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs

15 years 9 months ago

Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs

Download laser.cs.umass.edu

A. T. Chamillard, Lori A. Clarke

claim paper

Read More »

118

ISSTA
1996
ACM

106views Software Engineering» more ISSTA 1996»

An Efficient State Space Generation for Analysis of Real-Time Systems

15 years 9 months ago

An Efficient State Space Generation for Analysis of Real-Time Systems

Download ftp.cis.upenn.edu

Inhye Kang, Insup Lee

claim paper

Read More »

104

SIGSOFT
1996
ACM

100views Software Engineering» more SIGSOFT 1996»

Decoupling Change from Design

15 years 9 months ago

Decoupling Change from Design

Download www.cse.fau.edu

Michael VanHilst, David Notkin

claim paper

Read More »

120

Voted

UIST
1996
ACM

92views Software Engineering» more UIST 1996»

Ultra-Lightweight Constraints

15 years 9 months ago

Ultra-Lightweight Constraints

Download www.cc.gatech.edu

Scott E. Hudson, Ian E. Smith

claim paper

Read More »

« Prev « First page 370 / 4540 Last » Next »