Sciweavers

1014 search results - page 58 / 203
» Testing Object Oriented Software
Sort
View
PADL
2004
Springer
14 years 3 months ago
A Typeful Approach to Object-Oriented Programming with Multiple Inheritance
The wide practice of objected oriented programming (OOP) in current software practice is evident. Despite extensive studies on typing programming objects, it is still undeniably a ...
Chiyan Chen, Rui Shi, Hongwei Xi
IEEEICCI
2007
IEEE
14 years 4 months ago
Improving Object-Oriented Analysis with Roles
– Object-Oriented Analysis (OOA) has been proposed and applied in software engineering for more than fifteen years. Many researchers and practitioners have published many article...
Haibin Zhu
FASE
2000
Springer
14 years 1 months ago
Verification of Object Oriented Programs Using Class Invariants
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
Kees Huizing, Ruurd Kuiper
ICSM
2005
IEEE
14 years 3 months ago
Object-Oriented Reengineering: Patterns and Techniques
Surprising as it may seem, many of the early adopters of the object-oriented paradigm already face a number of problems typically encountered in large-scale legacy systems. Softwa...
Serge Demeyer, Stéphane Ducasse, Oscar Nier...
ECOOPW
2003
Springer
14 years 3 months ago
Modeling Variability for Object-Oriented Product Lines
The concept of a software product line is a promising approach for increasing planned reusability in industry. For planning future requirements, the integration of domain analysis ...
Matthias Riebisch, Detlef Streitferdt, Ilian Pasho...