MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "System Modules." – sorted by Relevance.

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

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

3,064 documents found, showing 1 through 10. Next 10 →

ATOM

On the Criteria To Be Used in Decomposing Systems into Modules
by D. L. Parnas — 1972 — Communications of the ACM
… the system into modules. A system design problem is presented and both a conventional and unconventional…
Cited by 853 (8 self) – Add To MetaCart

A Software Metric System for Module Coupling
by A. Jefferson Offutt, Mary Jean Harrold, Priyadarshan Kolte — 1993 — The Journal of Systems and Software
…A Software Metric System for Module Coupling A. Jefferson Offutt Mary Jean Harrold Priyadarshan…
Cited by 28 (6 self) – Add To MetaCart

Formal Specification of a Security System Module in VDM-SL
by Georg Droschl — 2000
…Formal Specification of a Security System Module in VDM-SL Georg Droschl Institute for Software…
Cited by 1 (1 self) – Add To MetaCart

MASTER OF TECHNOLOGICAL DESIGN (EMBEDDED SYSTEMS) MODULE DESCRIPTIONS TD5101 Specification
by unknown authors
…MASTER OF TECHNOLOGICAL DESIGN (EMBEDDED SYSTEMS) MODULE DESCRIPTIONS TD5101 Specification…
Add To MetaCart

A Formal Methods Case Study: Using "light-weight" VDM for the Development of a Security System
by Georg Droschl, Walter Kuhn, Gerald Sonneck, Michael Thuswald — 2000
… Security System Module The Compilable Security System (CSS) was developed using conventional development…
Add To MetaCart

A Type System for Recursive Modules
by Derek Dreyer
…Abstract A Type System for Recursive Modules There has been much work in recent years on extending…
Cited by 2 (1 self) – Add To MetaCart

A Module System for Scheme
by Pavel Curtis, James Rauen — 1990 — In Proceedings of the 1990 ACM Conference on Lisp and Functional Programming
…A Module System for Scheme Pavel Curtis Xerox Palo Alto Research Center 3333 Coyote Hill Rd. Palo…
Cited by 36 (1 self) – Add To MetaCart

A Module System for Scheme
by Pavel Curtis Xerox, Pave Curtis — 1990
… PavelQXerox.Com This paper presents a module system designed for large- scale programming in Scheme…
Add To MetaCart

Another Module System for Scheme
by Jonathan Rees — 1994 — Included in the Scheme 48 distribution
…Another Module System for Scheme Jonathan Rees 3 January 1993 (updated 15 January 1994) This memo…
Cited by 11 (1 self) – Add To MetaCart

BESSI: an Experimentation System for Vision Module Evaluation
by Carlo De Boer, Arnold W.M. Smeulders — 1996
…BESSI: an Experimentation System for Vision Module Evaluation Carlo de Boer Arnold W.M. Smeulders…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB