Search Sciweavers | Sciweavers

2127 search results - page 1 / 426

» Software Automation

click to vote

DLOG
2003

107views Automated Reasoning» more DLOG 2003»

Modeling Software

13 years 6 months ago

Download geocalc.clas.asu.edu

John Mylopoulos

claim paper

Read More »

click to vote

COMPSAC
2007
IEEE

162views Software Engineering» more COMPSAC 2007»

Automated Testing EJB Components Based on Algebraic Specifications

13 years 11 months ago

Download cms.brookes.ac.uk

Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...

Liang Kong, Hong Zhu, Bin Zhou

claim paper

Read More »

click to vote

ICSM
2007
IEEE

94views Software Engineering» more ICSM 2007»

Automated Refactoring of Legacy Java Software to Enumerated Types

13 years 11 months ago

Download www.cse.ohio-state.edu

Raffi Khatchadourian, Jason Sawin, Atanas Rountev

claim paper

Read More »

click to vote

ICSM
2006
IEEE

81views Software Engineering» more ICSM 2006»

Improving Effectiveness of Automated Software Testing in the Absence of Specifications

13 years 11 months ago

Download people.engr.ncsu.edu

Tao Xie

claim paper

Read More »

click to vote

SEKE
1993
Springer

88views Software Engineering» more SEKE 1993»

Software Automation

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers