MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "John Penix" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

21 documents found, showing 1 through 10. Next 10 →

ATOM

Rebound: A framework for automated component adaptation
by John Penix — 1999 — In Proceedings of the 9th Annual Workshop on Software Reuse
….html REBOUND: A Framework for Automated Component Adaptation 1 Background John Penix NASA Ames Research Center…
Cited by 1 (0 self) – Add To MetaCart

Automated Component Retrieval and Adaptation Using Formal Specifications
by John Penix — 1998
…Automated Component Retrieval and Adaptation Using Formal Specifications John Penix Department…
Cited by 7 (3 self) – Add To MetaCart

Component Reuse and Adaptation at the Specification Level
by John Penix, Perry Alexander — 1997 — Ohio State University
…Component Reuse and Adaptation at the Specification Level John Penix and Perry Alexander Knowledge…
Cited by 1 (0 self) – Add To MetaCart

Toward Automated Component Adaptation
by John Penix, Perry Alex — 1997 — In Proceedings of the 9th International Conference on Software Engineering and Knowledge Engineering
…Toward Automated Component Adaptation John Penix and Perry Alexander Knowledge-Based Software…
Cited by 20 (5 self) – Add To MetaCart

Design Representation for Automating Software Component Reuse
by John Penix, Perry Alex — 1995 — In Proceedings of the First International Workshop on Knowledge-Based Systems for the (Re)use of Program Libraries, Sophia Antipolis
… Design Representation for Automating Software Component Reuse John Penix and Perry Alexander…
Cited by 5 (1 self) – Add To MetaCart

Efficient Specification-Based Component Retrieval
by John Penix, Perry Alexander — 1996 — Automated Software Engineering
… Specification-Based Component Retrieval JOHN PENIX AND PERRY ALEXANDER jpenix@(email omitted); NASA Ames…
Cited by 14 (2 self) – Add To MetaCart

Verification of Time Partitioning in the DEOS Scheduler Kernel
by John Penix And, John Penix, Willem Visser — 2000 — In Proceedings of the 22nd international conference on Software engineering
…Verification of Time Partitioning in the DEOS Scheduler Kernel John Penix and Willem Visser…
Add To MetaCart

Using Model Checking to Validate AI Planner Domain Models
by John Penix, Charles Pecheur, Klaus Havelund — 1998 — In the Proceedings of the 23rd Annual Software Engineering Workshop
…Using Model Checking to Validate AI Planner Domain Models John Penix, Charles Pecheur and Klaus…
Cited by 9 (4 self) – Add To MetaCart

Declarative Specification of Software Architectures
by John Penix, Perry Alexander, Klaus Havelund — 1997 — In Proceedings of the 12th IEEE International Conference on Automated Software Engineering (ASEC-97), Incline Village
…Declarative Specification of Software Architectures John Penix and Perry Alexander KBSE Lab, ECECS…
Cited by 10 (3 self) – Add To MetaCart

Classification and Retrieval of Reusable Components Using Semantic Features
by John Penix, Phillip Baraona, Perry Alex — 1995 — In Proceedings of the 10th Knowledge-Based Software Engineering Conference
… Classification and Retrieval of Reusable Components Using Semantic Features John Penix, Phillip…
Cited by 10 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB