Sciweavers

354 search results - page 39 / 71
» Method construction - a core approach to organizational engi...
Sort
View
ICSE
2001
IEEE-ACM
14 years 4 days ago
Functional Paleontology: System Evolution as the User Sees It
It has long been accepted that requirements analysis should precede architectural design and implementation, but in software evolution and reverse engineering this concern with bl...
Annie I. Antón, Colin Potts
POPL
2005
ACM
14 years 8 months ago
Synthesis of interface specifications for Java classes
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
P. Madhusudan, Pavol Cerný, Rajeev Alur, Wo...
AAAI
1997
13 years 9 months ago
Building Concept Representations from Reusable Components
Our goal is to build knowledge-based systems capable of answering a wide variety of questions, including questions that are unanticipated when the knowledge base is built. For sys...
Peter Clark, Bruce W. Porter
CGF
2008
102views more  CGF 2008»
13 years 7 months ago
Sound Tracing: Rendering Listener Specific Acoustic Room Properties
We present an acoustic rendering approach visualizing the listener-specific contribution of frequency-dependent pressure fields on a scene geometry with acoustic reflection and sc...
Jens Bellmann, Frank Michel, Eduard Deines, Martin...
SIGSOFT
2003
ACM
14 years 8 months ago
Consistency techniques for interprocedural test data generation
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...
Nguyen Tran Sy, Yves Deville