Search Sciweavers | Sciweavers

15974 search results - page 437 / 3195

» Object-Oriented Software Engineering

158

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 10 months ago

Download www.medien.ifi.lmu.de

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

claim paper

Read More »

162

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 10 months ago

Download www.dis.uniroma1.it

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

claim paper

Read More »

136

click to vote

FSTTCS
2000
Springer

94views Software Engineering» more FSTTCS 2000»

Arithmetic Circuits and Polynomial Replacement Systems

15 years 10 months ago

Download www.thi.uni-hannover.de

Pierre McKenzie, Heribert Vollmer, Klaus W. Wagner

claim paper

Read More »

148

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 10 months ago

Download hal.archives-ouvertes.fr

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

claim paper

Read More »

105

click to vote

ICSE
2000
IEEE-ACM

97views Software Engineering» more ICSE 2000»

Deriving test plans from architectural descriptions

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers