Back to Results
First PageMeta Content
Object-oriented programming / Java / Model checking / Static program analysis / Class / Objective-C / Method / Common Object Request Broker Architecture / Actor model / Computing / Software engineering / Computer programming


Automatic Extraction of Object-Oriented Component Interfaces John Whaley Michael C. Martin Monica S. Lam Computer Systems Laboratory Stanford University {jwhaley,
Add to Reading List

Document Date: 2007-04-01 19:34:49


Open Document

File Size: 159,96 KB

Share Result on Facebook

Company

Sun / ThreadGroup / Intel / Timer SimpleTimeZone AlgorithmParameters KeyStore SecureClassLoader ClassLoader ThreadGroup / /

Currency

USD / /

/

Facility

Martin Monica S. Lam Computer Systems Laboratory Stanford University / J2EE library / Java Pet Store / library Experiment / /

IndustryTerm

dynamic instrumentation tool / Metal system / large systems / software design / enterprise computing architectures / dynamic analysis tool / web applications / static tools / real-life applications / software auditing / engineered software elements / object-oriented software / finite-state protocol / software / component-based software design / web enterprise application / on existing software / large software / static analysis tool / web forms / object-oriented component-level software / static and dynamic tools / web server / web service / monolithic systems / specification mining / multitier enterprise applications / /

Organization

National Science Foundation / Stanford University / /

Person

Given / Fields Models / Ralf Wiebicke / Monica S. Lam / Michael C. Martin / /

Position

extractor / DYNAMIC EXTRACTOR / model / already specified model at run time / garbage collector / system designer / dynamic model extractor / automatic model extractor / programmer / /

Product

Java 2 Enterprise Edition (J2EE) / Java Pet Store / /

ProgrammingLanguage

NIL / Java / C / /

SportsLeague

Stanford University / /

Technology

object-oriented programming / virtual machine / Java / finite state machine / API / machine learning / operating system / operating systems / 3.2 Algorithm Our algorithm / underlying finite-state protocol / web server / Just-In-Time compiler / using multiple finite state machine / /

URL

http /

SocialTag