Search Sciweavers | Sciweavers

15794 search results - page 344 / 3159

» Agent-Oriented Software Engineering

145

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

Download unit.aist.go.jp

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

claim paper

Read More »

114

click to vote

IWPC
2007
IEEE

80views Software Engineering» more IWPC 2007»

Lagrein: Visualizing User Requirements and Development Effort

16 years 1 months ago

Download www.inf.unibz.it

Andrejs Jermakovics, Marco Scotto, Alberto Sillitt...

claim paper

Read More »

115

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

Download people.cs.kuleuven.be

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

claim paper

Read More »

138

click to vote

SEW
2007
IEEE

164views Software Engineering» more SEW 2007»

Abstracting Pointers for a Verifying Compiler

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers