3424 search results - page 122 / 685 » Automated Testing of Classes |
203
click to vote
RE
2008
Springer
15 years 5 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
200
click to vote
JOT
2010
15 years 4 months ago
2010
Abstract We propose a dependence-based representation for object-oriented programs, named Call-based Object-Oriented System Dependence Graph (COSDG). Apart from structural features...
174
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Experimental screening of large sets of peptides with respect to their MHC binding capabilities is still very demanding due to the large number of possible peptide seq...
165
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...
171
click to vote
DLOG
2010
15 years 4 months ago
2010
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...