Sciweavers

1776 search results - page 187 / 356
» Hypothesis Testing for Module Test in Software Development
Sort
View
FASE
2006
Springer
15 years 6 months ago
Regular Inference for State Machines with Parameters
Techniques for inferring a regular language, in the form of a finite automaton, from a sufficiently large sample of accepted and nonaccepted input words, have been employed to cons...
Therese Berg, Bengt Jonsson, Harald Raffelt
HICSS
2009
IEEE
118views Biometrics» more  HICSS 2009»
15 years 9 months ago
FXplorer: Exploration of Computed Software Behavior - A New Approach to Understanding and Verification
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...
Luanne Burns, Timothy Daly
ORGSCI
2008
78views more  ORGSCI 2008»
15 years 2 months ago
The Penguin Has Entered the Building: The Commercialization of Open Source Software Products
Previous literature on open source software (OSS) mostly analyzes organizational issues within communities of developers and users. This paper focuses on profit-oriented organizat...
Andrea Fosfuri, Marco S. Giarratana, Alessandra Lu...
WETICE
2005
IEEE
15 years 8 months ago
Application of Lightweight Formal Methods to Software Security
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
David P. Gilliam, John D. Powell, Matt Bishop
EDO
2000
Springer
15 years 6 months ago
Component Metadata for Software Engineering Tasks
Abstract. This paper presents a framework that lets a component developer provide a component user with different kinds of information, depending on the specific context and needs....
Alessandro Orso, Mary Jean Harrold, David S. Rosen...