Search Sciweavers | Sciweavers

8627 search results - page 112 / 1726

» Software Engineering Using RATionale

112

click to vote

MSR
2006
ACM

145views Software Engineering» more MSR 2006»

Analyzing OSS developers' working time using mailing lists archives

15 years 10 months ago

Download se.aist-nara.ac.jp

Masateru Tsunoda, Akito Monden, Takeshi Kakimoto, ...

claim paper

Read More »

107

click to vote

SEW
2005
IEEE

100views Software Engineering» more SEW 2005»

Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems

15 years 10 months ago

Download www.cse.msu.edu

R. E. Kurt Stirewalt, Reimer Behrends, Laura K. Di...

claim paper

Read More »

click to vote

ICFEM
2005
Springer

91views Software Engineering» more ICFEM 2005»

Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics

15 years 10 months ago

Download www.cs.uiuc.edu

Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, J...

claim paper

Read More »

103

click to vote

FOSSACS
2004
Springer

63views Software Engineering» more FOSSACS 2004»

Specifying and Verifying Partial Order Properties Using Template MSCs

15 years 9 months ago

Download www.liafa.jussieu.fr

Blaise Genest, Marius Minea, Anca Muscholl, Doron ...

claim paper

Read More »

click to vote

TCAD
2010

85views more TCAD 2010»

Fast Node Merging With Don't Cares Using Logic Implications

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers