Sciweavers

3425 search results - page 138 / 685
» A Model Driven Approach for Software Systems Reliability
Sort
View
125
Voted
HASKELL
2006
ACM
15 years 9 months ago
Running the manual: an approach to high-assurance microkernel development
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
Philip Derrin, Kevin Elphinstone, Gerwin Klein, Da...
117
Voted
ECWEB
2005
Springer
102views ECommerce» more  ECWEB 2005»
15 years 9 months ago
Improving Web Design Methods with Architecture Modeling
Many approaches have been developed for modeling the functional aspects of Web applications, but there is a lack of a modeling language for their architectural concerns. This paper...
Santiago Meliá, Jaime Gómez, Nora Ko...
136
Voted
ISSRE
2007
IEEE
15 years 5 months ago
Data Mining Techniques for Building Fault-proneness Models in Telecom Java Software
This paper describes a study performed in an industrial setting that attempts to build predictive models to identify parts of a Java system with a high probability of fault. The s...
Erik Arisholm, Lionel C. Briand, Magnus Fuglerud
146
Voted
JLP
2006
155views more  JLP 2006»
15 years 3 months ago
A formally grounded software specification method
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
Christine Choppy, Gianna Reggio
122
Voted
PDPTA
2010
15 years 1 months ago
A Case Study for SOA System Rejuvenation
- Complex business service systems, such as SOA system, are prone to suffer from reliability problem. Various legend applications compatible in SOA system make things worse. Softwa...
Guanhua Tian, Jianfeng Zhan, Chao Ren, Dan Meng