Search Sciweavers | Sciweavers

15951 search results - page 378 / 3191

» Lawful software engineering

169

click to vote

FASE
2000
Springer

94views Software Engineering» more FASE 2000»

Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach

15 years 11 months ago

Download www.medien.ifi.lmu.de

Gianna Reggio, Egidio Astesiano, Christine Choppy,...

claim paper

Read More »

180

click to vote

FSTTCS
2000
Springer

98views Software Engineering» more FSTTCS 2000»

Approximation Algorithms for Bandwidth and Storage Allocation Problems under Real Time Constraints

15 years 11 months ago

Download www.dis.uniroma1.it

Stefano Leonardi, Alberto Marchetti-Spaccamela, An...

claim paper

Read More »

157

click to vote

FSTTCS
2000
Springer

94views Software Engineering» more FSTTCS 2000»

Arithmetic Circuits and Polynomial Replacement Systems

15 years 11 months ago

Download www.thi.uni-hannover.de

Pierre McKenzie, Heribert Vollmer, Klaus W. Wagner

claim paper

Read More »

168

click to vote

FSTTCS
2000
Springer

63views Software Engineering» more FSTTCS 2000»

Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping

15 years 11 months ago

Download hal.archives-ouvertes.fr

Jan-Georg Smaus, François Fages, Pierre Der...

claim paper

Read More »

113

click to vote

ICSE
2000
IEEE-ACM

97views Software Engineering» more ICSE 2000»

Deriving test plans from architectural descriptions

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers