Sciweavers

289 search results - page 24 / 58
» Automating Object-Oriented Software Development Methods
Sort
View
FASE
2007
Springer
14 years 4 months ago
Contract-Driven Development
Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUni...
Bertrand Meyer
JISBD
2001
13 years 11 months ago
Conceptual Modeling of Device-Independent Web Applications
Existing tools intended to build and deploy engaging complex Web sites (including functionality) have shown to be inadequate to face the software production process in an unified a...
Jaime Gómez, Cristina Cachero
PPPJ
2003
ACM
14 years 3 months ago
A stochastic approach to automated design improvement
The object-oriented approach to software development facilitates and encourages programming practices that increase reusability, correctness and maintainability in code. This is a...
Mark Kent O'Keeffe, Mel Ó Cinnéide
SCAM
2008
IEEE
14 years 4 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
BIOINFORMATICS
2005
85views more  BIOINFORMATICS 2005»
13 years 9 months ago
An automated genotyping system for analysis of HIV-1 and other microbial sequences
Motivation: Genetic analysis of HIV-1 is important not only for vaccine development, but also to guide treatment strategies, track the emergence of new viral variants and ensure t...
Tulio de Oliveira, Koen Deforche, Sharon Cassol, M...