Search Sciweavers | Sciweavers

16725 search results - page 387 / 3345

» Engineering Software Correctness

click to vote

CGO
2007
IEEE

90views Software Engineering» more CGO 2007»

Heterogeneous Clustered VLIW Microarchitectures

15 years 11 months ago

Download www.ece.neu.edu

Alex Aletà, Josep M. Codina, Antonio Gonz&a...

claim paper

Read More »

112

click to vote

ICSEA
2007
IEEE

92views Software Engineering» more ICSEA 2007»

Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams

15 years 11 months ago

Download unit.aist.go.jp

Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noria...

claim paper

Read More »

click to vote

IWPC
2007
IEEE

80views Software Engineering» more IWPC 2007»

Lagrein: Visualizing User Requirements and Development Effort

15 years 11 months ago

Download www.inf.unibz.it

Andrejs Jermakovics, Marco Scotto, Alberto Sillitt...

claim paper

Read More »

click to vote

SCAM
2007
IEEE

92views Software Engineering» more SCAM 2007»

An Integrated Crosscutting Concern Migration Strategy and its Application to JHOTDRAW

15 years 11 months ago

Download swerl.tudelft.nl

Marius Marin, Leon Moonen, Arie van Deursen

claim paper

Read More »

130

click to vote

SEFM
2007
IEEE

82views Software Engineering» more SEFM 2007»

Sound reasoning about unchecked exceptions

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers