Sciweavers

826 search results - page 12 / 166
» A Pragmatic Approach to Formalizing Object-Oriented Modeling...
Sort
View
TOOLS
1991
IEEE
13 years 11 months ago
INGRID - an Object-Oriented Interface Builder
After a maturing process where models and architectures for User Interface Systems have been dened and generally accepted, the current expectations of researchers, developers and ...
Luís Carriço, Nuno Guimarães,...
CORR
2006
Springer
80views Education» more  CORR 2006»
13 years 8 months ago
Mental Representations Constructed by Experts and Novices in Object-Oriented Program Comprehension
Previous studies on program comprehension were carried out largely in the context of procedural languages. Our purpose is to develop and evaluate a cognitive model of object-orient...
Jean-Marie Burkhardt, Françoise Déti...
FM
2005
Springer
156views Formal Methods» more  FM 2005»
14 years 1 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...
WICSA
2008
13 years 9 months ago
Extraction of Component-Based Architecture from Object-Oriented Systems
Software architecture modeling and representation became a main phase of the development process of complex systems. In fact, software architecture representation provides many ad...
Sylvain Chardigny, Abdelhak Seriai, Mourad Oussala...
COMPSAC
1995
IEEE
13 years 11 months ago
HyperDisco: An Object-Oriented Hypermedia Framework for Flexible Software System Integration
Software development environments are examples of complex computer applications characterized by heterogeneity; they are composed of diverse information repositories, user interfa...
Uffe Kock Wiil