Sciweavers

120 search results - page 12 / 24
» Equation-Based Object-Oriented Languages and Tools
Sort
View
ECOOP
2010
Springer
13 years 11 months ago
Verifying Executable Object-Oriented Specifications with Separation Logic
Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at...
Stephan van Staden, Cristiano Calcagno, Bertrand M...
IIE
2007
130views more  IIE 2007»
13 years 7 months ago
An Iterative Methodology for Teaching Object Oriented Concepts
Abstract thinking is a vital skill when learning computer science. Object technology and the concepts it is based upon make this skill even more crucial. However, previous research...
Irit Hadar, Ethan Hadar

Book
231views
15 years 5 months ago
Object-Oriented Software Composition
"Object-Oriented Software Composition adopts the viewpoint that object-oriented technology is essentially about composing flexible software applications from software componen...
Oscar Nierstrasz, Dennis Tsichritzis
IWPC
1998
IEEE
13 years 12 months ago
Design Pattern Recovery in Object-Oriented Software
An approach to recover object oriented design patterns from design and code is presented. The pattern recovery process is based on a multi-stage filtering strategy to avoid combin...
Giuliano Antoniol, Roberto Fiutem, L. Cristoforett...
PDSE
1998
126views more  PDSE 1998»
13 years 9 months ago
Validation and Test Generation for Object-Oriented Distributed Software
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
Thierry Jéron, Jean-Marc Jézé...