Search Sciweavers | Sciweavers

15811 search results - page 318 / 3163

» Search-based software engineering

143

click to vote

ICSEA
2007
IEEE

92views Software Engineering» more ICSEA 2007»

Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams

16 years 28 days ago

Download unit.aist.go.jp

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

claim paper

Read More »

111

click to vote

IWPC
2007
IEEE

80views Software Engineering» more IWPC 2007»

Lagrein: Visualizing User Requirements and Development Effort

16 years 27 days ago

Download www.inf.unibz.it

Andrejs Jermakovics, Marco Scotto, Alberto Sillitt...

claim paper

Read More »

113

click to vote

SCAM
2007
IEEE

92views Software Engineering» more SCAM 2007»

An Integrated Crosscutting Concern Migration Strategy and its Application to JHOTDRAW

16 years 27 days ago

Download swerl.tudelft.nl

Marius Marin, Leon Moonen, Arie van Deursen

claim paper

Read More »

145

click to vote

SEFM
2007
IEEE

82views Software Engineering» more SEFM 2007»

Sound reasoning about unchecked exceptions

16 years 27 days ago

Download people.cs.kuleuven.be

Bart Jacobs 0002, Peter Müller, Frank Piessen...

claim paper

Read More »

137

click to vote

SEW
2007
IEEE

164views Software Engineering» more SEW 2007»

Abstracting Pointers for a Verifying Compiler

16 years 27 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers