Sciweavers

561 search results - page 34 / 113
» Research in Software Engineering: Paradigms and Methods
Sort
View
CSSE
2008
IEEE
14 years 3 months ago
Web Services Composition Method Based on OWL
—At present, Web services are created and updated on the fly. It has already beyond the human ability to analysis them and generate the composition plan manually. It is a problem...
Jike Ge, Yuhui Qiu, Shiqun Yin
ICSE
2009
IEEE-ACM
14 years 3 months ago
Using Bayesian statistical methods to determine the level of error in large spreadsheets
Spreadsheets are ubiquitous with evidence that Microsoft Excel, the leading application in the area, has an install base of 90% on end-user desktops. Nowhere is the usage of sprea...
Leslie Bradley, Kevin McDaid
SEFM
2007
IEEE
14 years 3 months ago
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
Bernhard K. Aichernig, Bernhard Peischl, Martin We...
SOCO
2010
Springer
13 years 7 months ago
Evolving the memory of a criminal's face: methods to search a face space more effectively
Witnesses and victims of serious crime are often required to construct a facial composite, a visual likeness of a suspect’s face. The traditional method is for them to select in...
Charlie D. Frowd, Vicki Bruce, Melanie Pitchford, ...
ASWEC
1998
IEEE
14 years 1 months ago
Supplementing Process-Oriented with Structure-Oriented Design Explanation within Formal Object Oriented Method
This paper reports the results from an action research project which studies the benefits of documenting the evolution and the rationale for the evolution of a requirements specif...
LeMai Nguyen, Paul A. Swatman, Graeme G. Shanks