Search Sciweavers | Sciweavers

1601 search results - page 4 / 321

» The affordable application of formal methods to software eng...

click to vote

WOSP
2004
ACM

175views Software Engineering» more WOSP 2004»

From UML activity diagrams to Stochastic Petri nets: application to software performance engineering

13 years 11 months ago

Download webdiis.unizar.es

Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...

Juan Pablo López-Grao, José Mersegue...

claim paper

Read More »

click to vote

ZUM
1994
Springer

147views Formal Methods» more ZUM 1994»

Integrating Formal Methods into a Professional Master of Software Engineering Program

13 years 10 months ago

Download www.cs.cmu.edu

A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...

David Garlan

claim paper

Read More »

click to vote

KBSE
1998
IEEE

116views Software Engineering» more KBSE 1998»

An Automated Approach for Supporting Software Reuse via Reverse Engineering

13 years 10 months ago

Download gannodss.csamu.org

Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...

Gerald C. Gannod, Yonghao Chen, Betty H. C. Cheng

claim paper

Read More »

click to vote

ASWEC
2004
IEEE

79views Software Engineering» more ASWEC 2004»

Combining Agent-Oriented Conceptual Modelling with Formal Methods

13 years 10 months ago