Sciweavers

2796 search results - page 66 / 560
» A time structure based software reliability model
Sort
View
ICSM
2006
IEEE
14 years 3 months ago
Guiding the Application of Design Patterns Based on UML Models
Software design patterns are documented best practice solutions that can be applied to reoccurring problems. Although well documented, there are often opportunities to apply them ...
Lionel C. Briand, Yvan Labiche, Alexandre Sauve
SCAM
2008
IEEE
14 years 3 months ago
Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
Lei Wang, Qiang Zhang, PengChao Zhao
COMPSAC
2003
IEEE
14 years 2 months ago
A Test-Driven Component Development Framework based on the CORBA Component Model
Short product cycles and rapidly changing requirements are increasingly forcing developers to use agile development strategies like extreme programming and test–driven developme...
Egon Teiniker, Stefan Mitterdorfer, Leif Morgan Jo...
GI
2009
Springer
14 years 27 days ago
An Eclipse Framework for Rapid Development of Rich-featured GEF Editors based on EMF Models
Abstract: Model-based development has an increasing importance in modern software engineering and other domains. Visual models such as Petri nets and UML diagrams proved to be an a...
Tony Modica, Enrico Biermann, Claudia Ermel
ICCV
2001
IEEE
14 years 11 months ago
Real-Time Tracking of Highly Articulated Structures in the Presence of Noisy Measurements
This paper presents a novel approach for model-based realtime tracking of highly articulated structures such as humans. This approach is based on an algorithm which efficiently pr...
Tom Drummond, Roberto Cipolla