Search Sciweavers | Sciweavers

15885 search results - page 293 / 3177

» The Modest Software Engineer

136

Voted

SIGSOFT
2009
ACM

91views Software Engineering» more SIGSOFT 2009»

Behavioral automata composition for automatic topology independent verification of parameterized systems

16 years 5 months ago

Download goedel.cs.uiowa.edu

Youssef Hanna, Samik Basu, Hridesh Rajan

claim paper

Read More »

105

click to vote

SIGSOFT
2007
ACM

138views Software Engineering» more SIGSOFT 2007»

Formal modeling of BPEL workflows including fault and compensation handling

16 years 5 months ago

Download www.inf.mit.bme.hu

Dániel Varró, László G...

claim paper

Read More »

100

Voted

SIGSOFT
2007
ACM

119views Software Engineering» more SIGSOFT 2007»

Automated size analysis for OCL

16 years 5 months ago

Download www.cs.ucsb.edu

Fang Yu, Tevfik Bultan, Erik Peterson

claim paper

Read More »

click to vote

SIGSOFT
2005
ACM

109views Software Engineering» more SIGSOFT 2005»

HATARI: raising risk awareness

16 years 5 months ago

Download pages.cpsc.ucalgary.ca

Jacek Sliwerski, Thomas Zimmermann, Andreas Zeller

claim paper

Read More »

click to vote

SIGSOFT
2003
ACM

100views Software Engineering» more SIGSOFT 2003»

Predicting problems caused by component upgrades

16 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers