Search Sciweavers | Sciweavers

1516 search results - page 3 / 304

» Trends in Software Verification

click to vote

ICSE
2007
IEEE-ACM

184views Software Engineering» more ICSE 2007»

Formal Software Analysis Emerging Trends in Software Model Checking

14 years 7 months ago

Download www.visserhome.com

The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...

Matthew B. Dwyer, John Hatcliff, Robby, Corina S. ...

claim paper

Read More »

click to vote

COMPSAC
2006
IEEE

243views Software Engineering» more COMPSAC 2006»

Future Trends of Software Technology and Applications: Software Architecture

13 years 11 months ago

Download www.sei.cmu.edu

Paul C. Clements

claim paper

Read More »

click to vote

EUROMICRO
1999
IEEE

137views Software Engineering» more EUROMICRO 1999»

Software Synthesis for System Level Design Using Process Execution Trees

13 years 12 months ago

Download www.ics.ele.tue.nl

Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...

Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen

claim paper

Read More »

click to vote

COMPSAC
2005
IEEE

77views Software Engineering» more COMPSAC 2005»

Industry Trends and Software Assurance

14 years 1 months ago